|
|
Re:[PT] CSL'06 workshops and Ackermann Award: msg#00001science.mathematics.frogs
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 |
|
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| Previous by Date: | [PT] CSL'06 workshops and Ackermann Award: 00001, Computer Science Logic '06 Conference |
|---|---|
| Next by Date: | SD06 in Wien?: 00001, Alessio Guglielmi |
| Previous by Thread: | [PT] CSL'06 workshops and Ackermann Awardi: 00001, Computer Science Logic '06 Conference |
| Next by Thread: | SD06 in Wien?: 00001, Alessio Guglielmi |
| Indexes: | [Date] [Thread] [Top] [All Lists] |
| News | FAQ | advertise |