CSL 2016
Event Rating
| median | worst |
|---|---|
|
|
List of all ratings can be found at CSL 2016/rating
| CSL 2016 | |
|---|---|
25th EACSL Annual Conference on Computer Science Logic
| |
| Ordinal | 25 |
| Event in series | CSL |
| Dates | 2016-08-29 (iCal) - 2016-09-01 |
| Presence | presence |
| Homepage: | http://csl16.lif.univ-mrs.fr/ |
| Submitting link: | https://easychair.org/conferences/?conf=csl2016 |
| Location | |
| Location: | FR/PAC/Marseille, FR/PAC, FR |
| Important dates | |
| Abstracts: | 2016/04/08 |
| Papers: | 2016/04/15 |
| Submissions: | 2016/07/03 |
| Notification: | 2016/06/11 |
| Papers: | Submitted 97 / Accepted 37 (38.1 %) |
| Committees | |
| General chairs: | Laurent Regnier, Jean-Marc Talbot |
| PC chairs: | Laurent Regnier, Jean-Marc Talbot |
| Workshop chairs: | Luigi Santocanale |
| Keynote speaker: | Libor Barto, Agata Ciabattoni, Anca Muscholl, Alexandra Silva |
| Table of Contents | |
The 25th EACSL Annual Conference on Computer Science Logic (CSL) 2016
Topics
Suggested topics of interest include (but are not limited to):
- automated deduction and interactive theorem proving,
- constructive mathematics and type theory,
- equational logic and term rewriting,
- automata and games, game semantics,
- modal and temporal logic,
- model checking,
- decision procedures,
- logical aspects of computational complexity,
- finite model theory,
- computational proof theory,
- bounded arithmetic and propositional proof complexity,
- logic programming and constraints,
- lambda calculus and combinatory logic,
- domain theory,
- categorical logic and topological semantics,
- database theory,
- specification, extraction and transformation of programs,
- logical aspects of quantum computing,
- logical foundations of programming paradigms,
- verification and program analysis,
- linear logic,
- higher-order logic,
- nonmonotonic reasoning
Submissions
We expect that the CSL 2016 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs).
Authors are invited to submit papers of no more than 15 pages in LIPIcs style (including references) presenting work not previously published, fitting the scope of the conference.
The submission is in two stages:
- abstracts are due on April 8, 2016 (AoE);
- final papers are due on April 15, 2016 (AoE).
Both stages must be done via the EasyChair page for the conference: https://easychair.org/conferences/?conf=csl2016
Submitted papers must be written in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewers’ discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
Papers must not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed.
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)
- Early registration deadline: August 14, 2016 (local time, GMT+2)
- Conference: August 29–September 1, 2016
- Workshops: August 28, September 2 and September 3, 2016