Re:[PT] CSL'06 workshops and Ackermann Award
Alessio Guglielmi <[email protected]> Tue, 4 Oct 2005 11:35:47 +0100
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <[email protected]> |
At 09:36 +1000 4/10/05, Rajeev.Gore-/[email protected] wrote: >You could also consider FLoC06 which will comprise many automated >reasoning and logic in computer science conferences: > http://www.research.microsoft.com/floc06/ > >But I can see why CSL might be more appropriate both from a >subject/topic sense and from a geographical sense ... > >raj Hi, there was this suggestion in Lisbon but then most people said it's too far away (lazy Europeans). -Alessio