Please note that this newsitem has been archived, and may contain outdated information or links.
17 December 2007, Symposium "Reflections on Type Theory, Lambda Calculus and the Mind", Celebrating Henk Barendregt's 60th birthday, Nijmegen, The Netherlands
Date: Monday 17 December 2007
Location: Nijmegen, The Netherlands
Invited speakers include Corrado Böhm, Mariangiola Dezani-Ciancaglini, Jan Willem Klop, Jean-Jacques Lévy, Giuseppe Longo, Bill Phillips, Gordon Plotkin, Anne Speckens and Richard Statman.
Please register by sending a mail to barendregt60 at cs.ru.nl before 10 december. For more information, see http://www.cs.ru.nl/barendregt60/
Please note that this newsitem has been archived, and may contain outdated information or links.