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.

17 October 2014, DIP Colloquium, Federico Gobbo

Speaker: Federico Gobbo (Amsterdam/Torino)
Title: Natural language formalization meets constructive mathematics
Date: Friday 17 October 2014
Time: 16:00-17:30
Location: Room F1.15, Science Park 107, Amsterdam

For abstracts and more information, see http://www.illc.uva.nl/LoLa/DIP-Colloquium/.

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