News and Events: Upcoming Events

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

23 April 2014, Colloquium on Mathematical Logic, Thierry Coquand (Gothenburg)

Speaker: Thierry Coquand (Gothenburg)
Title: Constructive mathematics and univalent foundation
Date: Wednesday 23 April 2014
Time: 16:00-17:00
Location: Room 0.06, Janskerkhof 13, Utrecht

For abstracts and more information, see http://www.staff.science.uu.nl/~ooste110/seminar.html

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