CSL 2016 - 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.
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.