Conference series Beta

Annual Conference on Computer Science Logic

CSL

Events: 39 (1987 to 2026)
Website: https://www.eacsl.org/?page_id=62
Academic field: Natural sciences: Computer and information sciences
Humanities: Philosophy, ethics and religion
Disciplines: computer science, logic, theoretical computer science
Identifier: https://id.confref.org/series/s109f9b

Events (39)

19872026

Year	No.	Event	Place	Date
2026	34	34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026	Paris
2025	33	33rd EACSL Annual Conference on Computer Science Logic CSL 2025	Kingdom of the Netherlands	2025-02-10/14
2024	32	32nd EACSL Annual Conference on Computer Science Logic CSL 2024	Naples	2024-02-19/23
2023	31	31st EACSL Annual Conference on Computer Science Logic CSL 2023	Warsaw	2023-02-13/16
2022	30	30th EACSL Annual Conference on Computer Science Logic CSL 2022	Göttingen	2022-02-14/19
2021	29	29th EACSL Annual Conference on Computer Science Logic CSL 2021	Ljubljana	2021-01-25/28
2020	28	28th EACSL Annual Conference on Computer Science Logic CSL 2020	Barcelona	2020-01-13/16
2018	27	27th EACSL Annual Conference on Computer Science Logic CSL 2018, CSL	Birmingham	2018-09-04/07
2017	26	26th EACSL Annual Conference on Computer Science Logic CSL 2017, CSL	Stockholm	2017-08-20/24
2016	25	25th EACSL Annual Conference on Computer Science Logic CSL 2016, CSL	Marseille	2016-08-29 to 2016-09-01
2015	24	24th EACSL Annual Conference on Computer Science Logic CSL 2015, CSL	Berlin	2015-09-07/10
2014		23rd EACSL Annual Conference on Computer Science Logic CSL 2014, CSL, LICS	Vienna	2014-07-14/18
2013	27	27th International Workshop on Computer Science Logic CSL 2013, CSL	Turin	2013-09-02/05
2012	26	26th International Workshop on Computer Science Logic CSL 2012, CSL	Fontainebleau	2012-09-03/06
2011	25	25th International Workshop on Computer Science Logic CSL 2011, CSL	Bergen	2011-09-12/15
2010	24	24th International Workshop on Computer Science Logic CSL 2010, CSL	Brno	2010-08-23/27
2009	23	23rd International Workshop on Computer Science Logic CSL 2009, CSL	Coimbra	2009-09-07/11
2008	22	22nd International Workshop on Computer Science Logic CSL 2008, CSL	Bertinoro	2008-09-15/19
2007	21	21th International Workshop on Computer Science Logic CSL 2007, CSL	Lausanne	2007-09-11/15
2006	20	20th International Workshop on Computer Science Logic CSL 2006, CSL	Szeged	2006-09-25/29
2005	19	19th International Workshop on Computer Science Logic CSL 2005, CSL	Oxford	2005-08-22/25
2004	18	18th International Workshop on Computer Science Logic CSL 2004, CSL	Karpacz	2004-09-20/24
2003	17	17th International Workshop on Computer Science Logic CSL 2003, CSL	Vienna	2003-08-25/30
2002	16	16th International Workshop on Computer Science Logic CSL 2002, CSL	Edinburgh	2002-09-22/25
2001	15	15th International Workshop on Computer Science Logic CSL 2001, CSL	Paris	2001-09-10/13
2000	14	14th International Workshop on Computer Science Logic CSL 2000, CSL	Fischbachau	2000-08-21/26
1999	13	13th International Workshop on Computer Science Logic CSL 1999, CSL	Madrid	1999-09-20/25
1998	12	12th International Workshop on Computer Science Logic CSL 1998, CSL	Brno	1998-08-24/28
1997	11	11th International Workshop on Computer Science Logic CSL 1997, CSL	Aarhus	1997-08-23/29
1996	10	10th International Workshop on Computer Science Logic CSL 1996, CSL	Kingdom of the Netherlands	1996-09-21/27
1995	9	9th International Workshop on Computer Science Logic CSL 1995, CSL	Paderborn	1995-09-22/29
1994	8	8th International Workshop on Computer Science Logic CSL 1994, CSL	Kazimierz Dolny	1994-09-25/30
1993	7	7th Workshop on Computer Science Logic CSL 1993, CSL	Swansea	1993-09-13/17
1992	6	6th Workshop on Computer Science Logic CSL 1992, CSL	San Miniato	1992-09-28 to 1992-10-02
1991	5	5th Workshop on Computer Science Logic CSL 1991, CSL	Bern	1991-10-07/11
1990	4	4th Workshop on Computer Science Logic CSL 1990, CSL	Heidelberg	1990-10-01/05
1989	3	3rd Workshop on Computer Science Logic CSL 1989, CSL	Kaiserslautern	1989-10-02/06
1988	2	2nd Workshop on Computer Science Logic CSL 1988, CSL	Duisburg	1988-10-03/07
1987	1	1st Workshop on Computer Science Logic CSL 1987, CSL	Karlsruhe	1987-10-12/16

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

System	Value	Date	Dataset
CCF	C	2017-04-06	ratings-springer-lod
CORE	B	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	B	2017-04-06	ratings-springer-lod
Qualis	B	2017-04-06	ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/csl`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/csl`
ConfIDent	`https://id.confref.org/data/confident/1255` · page
Wikidata	`http://www.wikidata.org/entity/Q30752325`
dblp	`https://dblp.org/streams/conf/csl`
GND	`https://d-nb.info/gnd/1091960798`

Cite

Annual Conference on Computer Science Logic. confref identifier s109f9b. https://id.confref.org/series/s109f9b

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.