Subject: Re:[PT] CSL'06 workshops and Ackermann Award
Newsgroups: gmane.science.mathematics.frogs
Date: 2005-10-03 23:36:23 GMT (2 years, 31 weeks, 3 days, 15 hours and 8 minutes ago)
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