News and Events: Conferences

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 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.