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.

18 April 2007, An afternoon on intuitionistic logic, P015a, Euclides Building, Plantage Muidergracht 24, Amsterdam

Date: Wednesday 18 April 2007
Time: 13:00-17:00
Location: P015a, Euclides Building, Plantage Muidergracht 24, Amsterdam

Technical results on Intuitionistic Logic and Heyting Algebra by Gaelle Fontaine, Lex Hendriks, Joost Joosten, Nick Vaporis (phil. UU), Yde Venema, Fan Yang.

For more information, see http://staff.science.uva.nl/~gfontain/ipc/.

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