m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
(mobo import Concept___Events-migrated) |
||
Line 7: | Line 7: | ||
|DblpConferenceId=csl/csl2022 | |DblpConferenceId=csl/csl2022 | ||
|City=Göttingen | |City=Göttingen | ||
− | |Country= | + | |Country=Country:DE |
− | |||
|Abstract deadline=2021/07/05 | |Abstract deadline=2021/07/05 | ||
|Paper deadline=2021/07/12 | |Paper deadline=2021/07/12 | ||
Line 20: | Line 19: | ||
|Start Date=2022/02/14 | |Start Date=2022/02/14 | ||
|End Date=2022/02/19 | |End Date=2022/02/19 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=presence | ||
}} | }} | ||
The 30th EACSL Annual Conference on Computer Science Logic (CSL) 2022 | The 30th EACSL Annual Conference on Computer Science Logic (CSL) 2022 |
Revision as of 13:55, 6 September 2022
The 30th EACSL Annual Conference on Computer Science Logic (CSL) 2022
Topics
- 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
- computability
- computational proof theory
- 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
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.
The papers should be submitted via easychair here.
The CSL 2022 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see here.
Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. 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.
At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers.
Important Dates
July 5, 2021 (AoE) - Abstract submission
July 12, 2021 (AoE) - Paper Submission
September 30, 2021 - Notification
February 14-19, 2022 - Conference [Form (online vs. hybrid) t.b.a in september]
Committees
- Co-Organizers
- General Co-Chairs
- some person, some affiliation, country
- PC Co-Chairs
- some person, some affiliation, country
- Workshop Chair
- some person, some affiliation, country
- Panel Chair
- some person, some affiliation, country
- Seminars Chair
- some person, some affiliation, country
- Demonstration Co-Chairs
- some person, some affiliation, country
- some person, some affiliation, country
- Local Organizing Co-Chairs
- some person, some affiliation, country
- Program Committee Members
- some person, some affiliation, country