CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal



Important Dates

Submission of Abstracts: 30 March, 2009
Submission of Full Papers: 6 April, 2009
Notification: 25 May, 2009
Final version: 22 June, 2009