CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal



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: