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)
/ W. Sieg (CMU)
Title: Mathematical style: where symbolic concurrent structures and individual practice meet
/ Structural Proof Theory: Uncovering aspects of the mathematical mind
/ 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).
(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.