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.

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.