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