Re:[PT] CSL'06 workshops and Ackermann Award

Rajeev.Gore-/[email protected] Tue, 4 Oct 2005 09:36:23 +1000

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<[email protected]>

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