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.