DI christmas meeting

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