CSL 2022

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
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}
Important dates
Abstracts:	2021/07/05
Papers:	2021/07/12
Keynote speaker:	Udi Boker, Martin Escardo, Rosalie Iemhoff
Table of Contents

The following coordinate was not recognized: Geocoding failed.The following coordinate was not recognized: Geocoding failed.,

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

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