News and Events: Upcoming Events

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.