17 December 2007
Nijmegen, The Netherlands
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+
+ 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 Bhm
* Mariangiola Dezani-Ciancaglini
* Jan Willem Klop
* Jean-Jacques Lvy
* Giuseppe Longo
* Bill Phillips
* Gordon Plotkin
* Anne Speckens
* Richard Statman
Please register by sending a mail to barendregt60@cs.ru.nl
Organizers:
Erik Barendsen
Venanzio Capretta
Herman Geuvers
Nicole Messink
Milad Niqui
-------------------------------------------------------------------
This message was sent through the mailing list of the
Nederlandse Vereniging voor Theoretische Informatica
WWW home page: http://www.nvti.nl