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
Kleene centenary
Stephen Cole Kleene
was born January 5, 1909 in Hartford, Connecticut, USA. CSL'09 celebrates his centenary with a invited talk by one of his PhD students, Yiannis Moschovakis.
