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.