Subject: Re: DI christmas meeting
Newsgroups: gmane.science.mathematics.frogs
Date: 2007-10-18 14:06:30 GMT (29 weeks, 3 days, 12 hours and 36 minutes ago)
Hi Lutz, that's a great initiative indeed. I will be there but would suggest between the Wednesday 19th and Friday 21st, because of Barendregt's Festschrift on Monday 19th in Nijmegen (announcement below). People like myself wishing to attend both could travel from Nijmegen to Dresden on the Tuesday. Best wishes, Stephane Lutz Strassburger wrote: > Hello Frogs and Friends, > > We plan an informal deep inference meeting in Dresden during the last > week before Christmas (that is, Dec 17 - Dec 21). We have not yet > decided the exact day, and some of us will be there the whole week. > > So, if you want to participate and have special time constraints or > want to give a talk, please let me know. > > Note that Dresden is not only the hometown of deep inference and > frogs, it also has other touristic attractions. See, e.g., > http://en.wikipedia.org/wiki/Dresden > > Best wishes, > Lutz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ + + 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@... Organizers: Erik Barendsen Venanzio Capretta Herman Geuvers Nicole Messink Milad Niqui