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.