[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