SD06 in Wien?

Alessio Guglielmi <[email protected]> Tue, 4 Oct 2005 11:24:25 +0100
Newsgroups gmane.science.mathematics.frogs
Message-ID <[email protected]>
Hello,

Michel Parigot proposes SD06 in Wien, at the symposium celebrating 
the 100th birthday of Kurt Goedel: <http://www.logic.at/goedel2006/>. 
This will be towards the end of April 2006.

For those of you who weren't in Lisbon: this was SD05 
<http://www.prooftheory.org/sd05/>. It was one of the most attended 
workshops at last ICALP, and a very positive experience for all those 
involved.

Could you please tell me 1) if you would submit a paper and 2) if you 
would come anyway. If not, could you please tell me whether an 
alternative date/location would better suit you? Please answer very 
fast, because we have to start organising the next workshop soon.

Suggestions of any kind are very welcome, of course.

I will collect all the answers and report to Michel and on the list.

Ciao,

-Alessio