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

At 09:36 +1000 4/10/05, Rajeev.Gore-/hejbHI7ObxcYUQs2IXCwA@xxxxxxxxxxxxxxxx 
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