Conference

CSL

Computer Science Logic

CSL in dblp Conference Website

Volumes

Volume

LIPIcs, Volume 363

34th EACSL Annual Conference on Computer Science Logic (CSL 2026)

CSL 2026, Paris, France, February 23-28, 2026

Editors: Stefano Guerrini and Barbara König

Volume

LIPIcs, Volume 326

33rd EACSL Annual Conference on Computer Science Logic (CSL 2025)

CSL 2025, February 10-14, 2025, Amsterdam, Netherlands

Editors: Jörg Endrullis and Sylvain Schmitz

Volume

LIPIcs, Volume 288

32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)

CSL 2024, February 19-23, 2024, Naples, Italy

Editors: Aniello Murano and Alexandra Silva

Volume

LIPIcs, Volume 252

31st EACSL Annual Conference on Computer Science Logic (CSL 2023)

CSL 2023, February 13-16, 2023, Warsaw, Poland

Editors: Bartek Klin and Elaine Pimentel

Volume

LIPIcs, Volume 216

30th EACSL Annual Conference on Computer Science Logic (CSL 2022)

CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)

Editors: Florin Manea and Alex Simpson

Volume

LIPIcs, Volume 183

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)

Editors: Christel Baier and Jean Goubault-Larrecq

Volume

LIPIcs, Volume 152

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

CSL 2020, January 13-16, 2020, Barcelona, Spain

Editors: Maribel Fernández and Anca Muscholl

Volume

LIPIcs, Volume 119

27th EACSL Annual Conference on Computer Science Logic (CSL 2018)

CSL 2018, September 4-7, 2018, Birmingham, GB

Editors: Dan R. Ghica and Achim Jung

Volume

LIPIcs, Volume 82

26th EACSL Annual Conference on Computer Science Logic (CSL 2017)

CSL 2017, August 20-24, 2017, Stockholm, Sweden

Editors: Valentin Goranko and Mads Dam

Volume

LIPIcs, Volume 62

25th EACSL Annual Conference on Computer Science Logic (CSL 2016)

CSL 2016, August 29 to September 1, 2016, Marseille, France

Editors: Jean-Marc Talbot and Laurent Regnier

Volume

LIPIcs, Volume 41

24th EACSL Annual Conference on Computer Science Logic (CSL 2015)

CSL 2015, September 7-10, 2015, Berlin, Germany

Editors: Stephan Kreutzer

Volume

LIPIcs, Volume 23

Computer Science Logic 2013 (CSL 2013)

CSL 2013, September 2-5, 2013, Torino, Italy

Editors: Simona Ronchi Della Rocca

Volume

LIPIcs, Volume 16

Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL

CSL 2012, September 3-6, 2012, Fontainebleau, France

Editors: Patrick Cégielski and Arnaud Durand

Volume

LIPIcs, Volume 12

Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL

CSL 2011, September 12-15, 2011, Bergen, Norway

Editors: Marc Bezem

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail