[TYPES/announce] Call for Participation: Henk Barndregt's 60th birthday symposium
Herman Geuvers
herman at cs.ru.nl
Wed Oct 17 08:34:34 EDT 2007
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+
+ Symposium Reflections on Type Theory, Lambda Calculus and the Mind
+
+ Celebrating Henk Barendregt's 60th birthday
+
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Monday 17 December 2007
Radboud University Nijmegen
The Netherlands
http://www.cs.ru.nl/barendregt60/
Invited speakers
* Corrado Böhm
* Mariangiola Dezani-Ciancaglini
* Jan Willem Klop
* Jean-Jacques Lévy
* Giuseppe Longo
* Bill Phillips
* Gordon Plotkin
* Anne Speckens
* Richard Statman
Please register by sending a mail to barendregt60 at cs.ru.nl
Organizers:
Erik Barendsen
Venanzio Capretta
Herman Geuvers
Nicole Messink
Milad Niqui
More information about the Types-announce
mailing list