Computer Science Logic 2009 (CSL '09) in Coimbra, Portugal


CSL 09 18th EACSL Annual Conference on Computer Science Logic 7-11 September 2009 Coimbra, Portugal
General Information Important Dates Venue Conference Programme Timetable Informal Presentations Invited Speakers Accepted Papers Ackermann Award Kleene Centenary Programme Committee Call for Papers Submissions Co-located conferences PPDP'09 LOPSTR'09 Associated Workshops FICS'09 Gentzen centenary LINEARITY Registration Local Organization Location Travel Information Accommodation Organizing Committee Sponsors Previous Conferences Contact		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

Invited Speakers