Conference

CSL

Computer Science Logic

CSL in dblp Conference Website

Volumes

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

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail