CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal



Invited Speakers

Mikołaj Bojańczyk, Warsaw, Poland
Thierry Coquand, Göteborg, Sweden
Martin Grohe, Berlin, Germany
Yiannis Moschovakis, Athens, Greece and Los Angeles, USA
Paulo Oliva, London, UK