CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal

General Information

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
and the
  • KGS, Kurt Gödel Society, Vienna.

CSL'09 is sponsored by:

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