|
||
| Abstract |
|
||
| Paper |
|
||
| Notification |
Stockholm University, Stockholm, Stockholms län, Sweden
The 26th EACSL Annual Conference on Computer Science Logic (CSL) 2017
Topics
- automata and games, game semantics
- automated deduction and interactive theorem proving
- bounded arithmetic and propositional proof complexity
- categorical logic and topological semantics
- computational proof theory
- constructive mathematics and type theory
- decision procedures
- domain theory
- equational logic and rewriting
- finite model theory
- higher-order logic
- lambda calculus and combinatory logic
- linear logic and other substructural logics
- logic programming and constraints
- logical aspects of computational complexity
- logical aspects of quantum computing
- logic in database theory
- logical foundations of programming paradigms
- logical foundations of cryptography and information hiding
- logics for multi-agent systems
- modal and temporal logic
- model checking and logic-based verification
- nonmonotonic reasoning
- SAT solving and automated induction
- satisfiability modulo theories
- specification, extraction and transformation of programs
- verification and program analysis
Submissions
The CSL2017 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs).
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (including references), presenting previously not published work fitting the scope of the conference.
The submission of contributed papers will be in two stages:
- abstracts, due by March 24, 2017 (AoE);
- full papers, due by March 31, 2017 (AoE).
The submissions must be done via the Easy Chair page for the conference.
Submitted papers must be 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 clearly marked 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 may 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.
Abstracts for short oral presentations must be submitted through the Easychair submission webpage, under the category “short presentations”, by June 4, 2017. They will not be included in the proceedings.
Selected papers will be invited to a special issue of the online open access journal Logical Methods in Computer Science, lmcs.episciences.org.
Important Dates
Submissions:
- Abstracts of regular papers: March 24, 2017
- Regular papers: March 31, 2017
- Abstracts of short presentations: June 4, 2017
Notification:
- Regular papers: May 31, 2017
- Short presentations: June 14, 2017
Events:
- Joint LC/CSL special session: August 20, 2017
- Main conference: August 20–24, 2017
- Satellite workshops: August 16–19 & 25, 2017
Alternative link to the conference website:https://www.math-stockholm.se/konferenser-och-akti/logic-in-stockholm-2/26th-eacsl-annual-co/computer-science-logic-2017-august-20-24-1.717700
