Please click
here
for
CSL 2010
in Brno.
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