Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference series started in 1987 as a programme of International Workshops on Computer Science Logic, and then in its sixth meeting (in 1992) became the Annual Conference of the EACSL.
Selected papers from CSL conferences are published in Logical Methods in Computer Science.
Upcoming: 2025 in Amsterdam
2024 in Naples
2023 in Warsaw
2022 in Göttingen
2021 (virtually) in Ljubljana
2020 in Barcelona
2018 in Birmingham
2017 in Stockholm
2016 in Marseille
2015 in Berlin
2014 in Vienna, joint meeting with LICS 2014
2013 in Torino
2012 in Fontainebleau
2011 in Bergen
2010 in Brno
2009 in Coimbra
2008 in Bologna (Bertinoro)
2007 in Lausanne
2006 in Szeged
2005 in Oxford
2004 in Karpacz
2003 in Vienna
2002 in Edinburgh
2001 in Paris
2000 in Munich
1999 in Madrid
1998 in Brno
1997 in Aarhus
1996 in Utrecht
1995 in Paderborn
1994 in Kazimierz
1993 in Swansea
1992 in San Miniato, sixth Workshop and first Annual Conference of EACSL
1991 in Berne
1990 in Heidelberg
1989 in Kaiserslautern
1988 in Duisburg
1987 in Karlsruhe, first CSL Workshop