Subject: SD06 in Wien?
Newsgroups: gmane.science.mathematics.frogs
Date: 2005-10-04 10:24:25 GMT (2 years, 31 weeks, 3 days, 4 hours and 17 minutes ago)
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