chateau_d_if.jpeg

25th EACSL Annual Conference on Computer Science Logic

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). CSL 2016 will be the 25th edition in the series.

The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

Latest news

2016-06-14:
The list of accepted papers is published.
2016-04-16:
A new workshop has joined CSL2016: CRECOGI: Concurrent, Resourceful and Effectful Computation by Geometry of Interaction (August 28)

Venue

CSL 2016 is hosted by Aix-Marseille Université and will take place in Marseille (France). Both the main conference and its satellite workshops will be held in the city center campus of the Faculty of Science.

Important dates

  • Abstract submission deadline : April 8, 2012 (AoE)
  • Paper submission deadline: April 15, 2016 (AoE)
  • Author notification: June 11, 2016
  • Final version deadline: July 3, 2016 (AoE)
  • Conference: August 29–September 1, 2016
  • Workshops: August 28, September 2 and September 3, 2016
CSL2016 Poster

Communication material

If you will, you can help us communicate about CSL 2016:

  • forward the call for papers to anyone you feel should be interested (in particular students);
  • print our beautiful poster and display it in your institution.

Contact

For all things scientific, ask the PC chairs: Jean-Marc Talbot and Laurent Regnier. For all things practical, get in touch with the organizing committee.