Difference between revisions of "CSL 2022"
Jump to navigation
Jump to search
| Line 16: | Line 16: | ||
|has Keynote speaker=Udi Boker, Martin Escardo, Rosalie Iemhoff | |has Keynote speaker=Udi Boker, Martin Escardo, Rosalie Iemhoff | ||
}} | }} | ||
| − | |||
The 30th EACSL Annual Conference on Computer Science Logic (CSL) 2022 | The 30th EACSL Annual Conference on Computer Science Logic (CSL) 2022 | ||
==Topics== | ==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== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 11:31, 4 August 2021
| CSL 2022 | |
|---|---|
30th CSL Annual Conference on Computer Science Logic
| |
| Ordinal | 30 |
| Event in series | CSL |
| Dates | 2022/02/14 (iCal) - 2022/02/19 |
| Presence | presence |
| Homepage: | http://csl2022.uni-goettingen.de/ |
| Location | |
| Location: | Göttingen, Germany |
| Important dates | |
| Abstracts: | 2021/07/05 |
| Papers: | 2021/07/12 |
| Keynote speaker: | Udi Boker, Martin Escardo, Rosalie Iemhoff |
| Table of Contents | |
,
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
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