m (Text replacement - "Homepage=" to "Official Website=") |
Curator 91 (talk | contribs) |
||
Line 3: | Line 3: | ||
|Title=26th EACSL Annual Conference on Computer Science Logic | |Title=26th EACSL Annual Conference on Computer Science Logic | ||
|Ordinal=26 | |Ordinal=26 | ||
− | | | + | |In Event Series=Event Series:CSL |
− | | | + | |Single Day Event=no |
− | | | + | |Start Date=2017/08/20 |
+ | |End Date=2017/08/24 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |Venue=Stockholm University | ||
|City=Stockholm | |City=Stockholm | ||
+ | |Region=Stockholms län | ||
|Country=Country:SE | |Country=Country:SE | ||
+ | |Academic Field=Computer Science; Logic | ||
+ | |Official Website=https://www.csl17.conf.kth.se | ||
|Submission Link=https://easychair.org/conferences/?conf=CSL | |Submission Link=https://easychair.org/conferences/?conf=CSL | ||
+ | |Type=Conference | ||
+ | |DblpConferenceId=csl/csl2017 | ||
|Has coordinator=Mads Dam, Valentin Goranko | |Has coordinator=Mads Dam, Valentin Goranko | ||
|has general chair=Erik Palmgren | |has general chair=Erik Palmgren | ||
Line 19: | Line 28: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
+ | |Notification Deadline=2017/05/31 | ||
|Abstract Deadline=2017/03/24 | |Abstract Deadline=2017/03/24 | ||
|Paper Deadline=2017/03/31 | |Paper Deadline=2017/03/31 | ||
− | | | + | }} |
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=Royal Institute of Technology | ||
+ | }} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=Stockholm University | ||
+ | }} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=European Association for Computer Science Logic | ||
}} | }} | ||
{{Event Metric | {{Event Metric |
Revision as of 13:53, 13 June 2023
|
||
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