Subject: Re:[PT] CSL'06 workshops and Ackermann Award
Newsgroups: gmane.science.mathematics.frogs
Date: 2005-10-04 10:35:47 GMT (2 years, 31 weeks, 20 hours and 58 minutes ago)
At 09:36 +1000 4/10/05, Rajeev.Gore@... 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