logo       

SD06 in Wien?: msg#00002

science.mathematics.frogs

Subject: SD06 in Wien?

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




<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

News | FAQ | advertise