CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal



Programme

The programme is not yet fixed. The general scedule is as follows:

Monday, 7 September, 9:00: Start of the conference

Friday, 11 September, noon: End of the conference

We recommend to arrive Sunday evening in Coimbra.

Note, that there are at several post-conference workshops which might be of interest for you: