Meeting in Bern

Dear fellow frogs!

We will have a meeting on "deep inference and the essence of proofs"
in Bern during the week starting November 13th. I put all the
information I have here:

http://kai.bruennler.googlepages.com/diep2007

Please tell me as soon as possible whether and when you think you're
coming, so we can choose a central day for some talks, probably
Wednesday.

There is also some information on hotels on the page, so this could
answer your question, Francois. I'd ask you to take care of the
reservations yourselves. Of course I'm glad to help with any
questions, my phone at work is +41316313977 and my mobile is
+41765289809.

Looking forward to seeing you in Bern!

-Kai