Subject: Meeting in Bern
Newsgroups: gmane.science.mathematics.frogs
Date: 2007-10-29 15:12:43 GMT (27 weeks, 4 days, 6 hours and 43 minutes ago)
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