|
| <prev next> |
Workshop in Dresden, 27,28.9: msg#00000science.mathematics.frogs
Hello, I'm organising a meeting in Dresden, September 27 and 28. Right now, this is the situation with the people I already spoke to: Yes --- Kai Bruennler Paola Bruscoli Ugo Dal Lago Roy Dyckhoff (possibly for some more days after) Birgit Elbl Alessio Guglielmi Francois Lamarche (including the week before) Stephane Lengrand (possibly for some more days after) Michel Parigot Elaine Pimentel Simona Ronchi Della Rocca Charles Stewart Lutz Strassburger Maybe ----- Jeremy Dawson Pietro Di Gianantonio Luke Ong Of course, everybody is invited, and please let other people know about this meeting. If you're interested, let me know. Ciao, -Alessio |
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Next by Date: | Deep inference and speed-up in proof search: 00000, Alessio Guglielmi |
|---|---|
| Next by Thread: | Deep inference and speed-up in proof search: 00000, Alessio Guglielmi |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |