|
SD06 in Wien?: msg#00002science.mathematics.frogs
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> |
|---|---|---|
| Previous by Date: | Re:[PT] CSL'06 workshops and Ackermann Award: 00002, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA |
|---|---|
| Next by Date: | Re:[PT] CSL'06 workshops and Ackermann Award: 00002, Alessio Guglielmi |
| Previous by Thread: | Re:[PT] CSL'06 workshops and Ackermann Awardi: 00002, Rajeev . Gore-/hejbHI7ObxcYUQs2IXCwA |
| Next by Thread: | Re:[PT] CSL'06 workshops and Ackermann Award: 00002, Alessio Guglielmi |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |