CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal