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
>