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

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL).

The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra with support of the following Portuguese Research Centers:

• CENTRIA, Centre for Artifical Intelligence, New University of Lisbon
• CISUC, Centre for Informatics and Systems of the University of Coimbra
• CITI, Center for Informatics and Information Technologies, New University of Lisbon
• CMAF, Centro de Matemática e Aplicações Fundamentais, University of Lisbon
• CMAT, Centre of Mathematics, University of Minho
• CMUC, Centre for Mathematics, University of Coimbra
• LIACC, Artificial Intelligence and Computer Science Laboratory, University of Porto
• SQIG, Security and Quantum Information Group, Instituto de Telecomunicações, Technical University of Lisbon

• KGS, Kurt Gödel Society, Vienna.

CSL'09 is sponsored by:

• The Fundação para a Ciência e a Tecnologia (FCT)
  
• The Fundação Luso-Americana (FLAD).
• The Association for Symbolic Logic.

Student grants ASL sponsorship of CSL'09 will permit student ASL members to apply for modest a travel grant. See here for details.