CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal



CSL and the affiliated workshops will take place at the Department of Mathematics, University of Coimbra, Largo D.Dinis. The lecture hall is called Pedro Nunes.