Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

17 April 2009, Colloquium on Mathematical Logic,
N.-C. Short
/ W. Sieg

Speaker: N.-C. Short (Provence)
/ W. Sieg (CMU)
Title: Mathematical style: where symbolic concurrent structures and individual practice meet
/ Structural Proof Theory: Uncovering aspects of the mathematical mind
Date: Friday 17 April 2009
Time: 14:00-16:30
Location: Room 611, Wiskundegebouw, Budapestlaan 6, Utrecht
(Bus 11 from Utrecht Central Station).

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

Please note that this newsitem has been archived, and may contain outdated information or links.