News and Events: Upcoming Events

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.