CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal



Organizing Committee

Ana Almeida, Coimbra, CISUC (Co-Chair)
Sabine Broda, Porto, LIACC
José Carlos Espírito Santo, Braga, CMAT
Mário Florido, Porto, LIACC
Gonçalo Gutierres, Coimbra, CMUC
Reinhard Kahle, Lisbon, CENTRIA (CMUC, CMAF) (Co-Chair)
Isabel Oitavem, Lisbon, CMAF
Pedro Quaresma, Coimbra, CISUC (Co-Chair)
João Rasga, Lisbon, SQIG
Carlota Simões, Coimbra