Re: DI christmas meeting

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 [email protected]


Organizers:

Erik Barendsen
Venanzio Capretta
Herman Geuvers
Nicole Messink
Milad Niqui