Re: Meeting in Bern

Hi Kai,

is this in replacement of or addition to the idea of a workshop in Dresden in the week 17-21 December?

Stephane

ps: I am not sure about the week starting 13/11, as I have a commitment on 17th that might require some preparation.

Kai Brünnler wrote:

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