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":[{"text":"","title":"","link":"","lat":51.5328328,"lon":9.9351811,"icon":""}],"imageoverlays":null}
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

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

-->