[FOM] Call for Participation: Henk Barndregt's 60th birthday symposium
Venanzio Capretta
venanzio_logic at yahoo.it
Sat Oct 20 03:03:48 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
Get a sneak peak at messages with a handy reading pane with All new Yahoo! Mail: http://mrd.mail.yahoo.com/try_beta?.intl=ca
More information about the FOM
mailing list