CSL

CSL

CSL
Annual Conference on Computer Science Logic: The (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.
Categories: Logic Computer science
https://www.eacsl.org/?page id=62
WikiDataId:	Q30752325
Scholia:	https://scholia.toolforge.org/event-series/Q30752325
DblpSeries:	csl
WikiCFP Series:	604
CORE Rank (2018):	B
Avg. acceptance rate:	35.3
Avg. acceptance rate (last 5 years):	39.5
Table of Contents

Annual Conference on Computer Science Logic:
The (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.
(CSL) has an average acceptance rate of 35.3% (last 5 years 39.5%).

Events

There are 35 events of the series CSL known to this wiki: CSL 1987, CSL 1988, CSL 1989, CSL 1990, CSL 1991, CSL 1992, CSL 1993, CSL 1994, CSL 1995, CSL 1996, CSL 1997, CSL 1998, CSL 1999, CSL 2000, CSL 2001, CSL 2002, CSL 2003, CSL 2004, CSL 2005, CSL 2006, CSL 2007, CSL 2008, CSL 2009, CSL 2010, CSL 2011, CSL 2012, CSL 2013, CSL 2014, CSL 2015, CSL 2016, CSL 2017, CSL 2018, CSL 2020, CSL 2021, CSL 2022

	Ordinal	Year	From	To	City	Country	presence	Homepage	TibKatId	GND	dblp	WikiCFP	Wikidata	General chair	PC chair	Submitted papers	Acceptance rate
CSL 2022	30	2022	Feb 14	Feb 19	Göttingen	Germany	presence	http://csl2022.uni-goettingen.de/			csl/csl2022			Some person	Some person
CSL 2021	29	2021	Jan 25	Jan 28	Ljubljana	Slovenia	online	https://csl2021.fmf.uni-lj.si/			csl/csl2021			Alex Simpson	Christel Baier Jean Goubault-Larrecq	82	41.5
CSL 2020	28	2020	Jan 13	Jan 16	Barcelona	Spain	online	https://www.cs.upc.edu/csl2020/			csl/csl2020			Albert Atserias Juan Carlos Martínez	Anca Muscholl Maribel Fernández	82	39.0
CSL 2018	27	2018	Sep 4	Sep 7	Birmingham	UK	presence	http://events.cs.bham.ac.uk/csl18/#programme			csl/csl2018				Dan R. Ghica Achim Jung	86	41.9
CSL 2017	26	2017	Aug 20	Aug 24	Stockholm	Sweden	presence	https://www.csl17.conf.kth.se			csl/csl2017			Erik Palmgren	Valentin Goranko	98	35.7
CSL 2016	25	2016	Aug 29	Sep 1	Marseille	France	presence	http://csl16.lif.univ-mrs.fr/			csl/csl2016			Laurent Regnier Jean-Marc Talbot	Laurent Regnier Jean-Marc Talbot	97	38.1
CSL 2015	24	2015	Sep 7	Sep 10	Berlin	Germany	presence	https://logic.las.tu-berlin.de/csl2015/index.html			csl/csl2015			Stephan Kreutzer	Stephan Kreutzer	99	39.4
CSL 2014	23	2014	Jul 14	Jul 18	Vienna	Austria	presence				csl/csl2014			L. Ong	Thomas A. Henzinger Dale Miller	212	34.9
CSL 2013	27	2013	Sep 2	Sep 5	Torino	Italy	presence	http://csl13.di.unito.it/			csl/csl2013				Simona Ronchi Della Rocca	108	34.3
CSL 2012	26	2012	Sep 3	Sep 6	Fontainebleau	France	presence	http://csl2012.lacl.fr/			csl/csl2012			Pierre Valarcher Patrick Cégielski	Patrick Cégielski Arnaud Durand	80	43.8
CSL 2011	25	2011	Sep 12	Sep 15	Bergen	Norway	presence	https://www.eacsl.org/csl11/			csl/csl2011			Isolde Adler	Marc Bezem	91	40.7
CSL 2010	24	2010	Aug 23	Aug 27	Brno	Czech Republic	presence	http://mfcsl2010.fi.muni.cz/csl/			csl/csl2010			Jan Bouda	Helmut Veith Anuj Dawar	103	32.0
CSL 2009	23	2009	Sep 7	Sep 11	Coimbra	Portugal	presence	http://www.mat.uc.pt/~csl/			csl/csl2009				Erich Grädel Reinhard Kahle	122	27.9
CSL 2008	22	2008	Sep 16	Sep 19	Bertinoro	Italy	presence	http://csl2008.cs.unibo.it/			csl/csl2008				Simone Martini Michael Kaminski	102	30.4
CSL 2007	21	2007	Sep 11	Sep 15	Lausanne	Switzerland	presence				csl/csl2007					116	31.0
CSL 2006	20	2006	Sep 25	Sep 29	Szeged	Hungary	presence	http://www.inf.u-szeged.hu/~csl06/			csl/csl2006				Zoltan Esik	108	34.3
CSL 2005	19	2005	Aug 22	Aug 25	Oxford	UK	presence				csl/csl2005				Luke Ong	108	30.6
CSL 2004	18	2004	Sep 20	Sep 24	Karpacz	Poland	presence	http://www.csl04.ii.uni.wroc.pl/			csl/csl2004				Jerzy Marcinkowsk Andrzej Tarlecki	88	37.5
CSL 2003	17	2003	Aug 25	Aug 30	Vienna	Austria	presence	https://www.logic.at/csl03/			csl/csl2003				Matthias Baaz Johann Makowsky	112	26.8
CSL 2002	16	2002	Sep 22	Sep 25	Edinburgh	Scotland	presence	http://www.dcs.ed.ac.uk/csl02/			csl/csl2002				Alex Simpson Julian Bradfield	111	33.3
CSL 2001	15	2001	Sep 10	Sep 13	Paris	France	presence	http://www.lsv.fr/Events/csl01/			csl/csl2001				Andrea Asperti	91	42.9
CSL 2000	14	2000	Aug 21	Aug 26	Fischbachau	Germany	presence	http://www2.tcs.ifi.lmu.de/csl2000			csl/csl2000
CSL 1999	13	1999	Sep 20	Sep 25	Madrid	Spain	presence				csl/csl98					91	37.4
CSL 1998	12	1998	Aug 24	Aug 28	Brno	Czech Republic	presence	https://www.fi.muni.cz/mfcs98/PRG.html			csl/csl98
CSL 1997	11	1997	Aug 23	Aug 29	Aarhus	Denmark	presence				csl/csl97					92	28.3
CSL 1996	10	1996	Sep 21	Sep 27	Utrecht	The Netherlands	presence				csl/csl96					75	34.7
CSL 1995		1995	Sep 22	Sep 29	Paderborn	Germany	presence				csl/csl95					74	36.5
CSL 1994	8	1994	Sep 25	Sep 30	Kazimierz	Poland	presence				csl/csl94			Igor Walukiewicz		151	25.2
CSL 1993	7	1993	Sep 13	Sep 17	Swansea	UK	presence				csl/csl93					62	33.9
CSL 1992	6	1992	Sep 28	Oct 2	San Miniato	Italy	presence				csl/csl92			Antonella D'Alessandro		72	36.1
CSL 1991	5	1991	Oct 7	Oct 11	Berne	Switzerland	presence				csl/csl91
CSL 1990	4	1990	Oct 1	Oct 5	Heidelberg	Germany	presence				csl/csl90					89	39.3
CSL 1989	3	1989	Oct 2	Oct 6	Kaiserslautern	Germany	presence				csl/csl89
CSL 1988	2	1988	Oct 3	Oct 7	Duisburg	Germany	presence				csl/csl88
CSL 1987	1	1987	Oct 12	Oct 16	Karlsruhe	Germany	presence				csl/csl87

Submission/Acceptance

Loading...

Locations

Loading map...

{"format":"leaflet","minzoom":false,"maxzoom":false,"limit":50,"offset":0,"link":"all","sort":[""],"order":[],"headers":"show","mainlabel":"","intro":"","outro":"","searchlabel":"... further results","default":"","import-annotation":false,"width":"auto","height":"350px","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":"","showtitle":true,"hidenamespace":true,"template":"","userparam":"","activeicon":"","pagelabel":false,"ajaxcoordproperty":"","ajaxquery":"","locations":[{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_1987\" title=\"CSL 1987\"\u003ECSL 1987\u003C/a\u003E\u003C/b\u003E","title":"CSL 1987","link":"","lat":49.006869444444,"lon":8.4034194444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_1989\" title=\"CSL 1989\"\u003ECSL 1989\u003C/a\u003E\u003C/b\u003E","title":"CSL 1989","link":"","lat":49.443216666667,"lon":7.7689944444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_1990\" title=\"CSL 1990\"\u003ECSL 1990\u003C/a\u003E\u003C/b\u003E","title":"CSL 1990","link":"","lat":49.409358333333,"lon":8.694725,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_1997\" title=\"CSL 1997\"\u003ECSL 1997\u003C/a\u003E\u003C/b\u003E","title":"CSL 1997","link":"","lat":56.149627777778,"lon":10.213405555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_1999\" title=\"CSL 1999\"\u003ECSL 1999\u003C/a\u003E\u003C/b\u003E","title":"CSL 1999","link":"","lat":40.416705555556,"lon":-3.7035833333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2001\" title=\"CSL 2001\"\u003ECSL 2001\u003C/a\u003E\u003C/b\u003E","title":"CSL 2001","link":"","lat":48.858888888889,"lon":2.3200416666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2002\" title=\"CSL 2002\"\u003ECSL 2002\u003C/a\u003E\u003C/b\u003E","title":"CSL 2002","link":"","lat":55.953344444444,"lon":-3.188375,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2003\" title=\"CSL 2003\"\u003ECSL 2003\u003C/a\u003E\u003C/b\u003E","title":"CSL 2003","link":"","lat":48.208352777778,"lon":16.372505555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2006\" title=\"CSL 2006\"\u003ECSL 2006\u003C/a\u003E\u003C/b\u003E","title":"CSL 2006","link":"","lat":46.254630555556,"lon":20.148602777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2007\" title=\"CSL 2007\"\u003ECSL 2007\u003C/a\u003E\u003C/b\u003E","title":"CSL 2007","link":"","lat":46.521827777778,"lon":6.6327027777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2011\" title=\"CSL 2011\"\u003ECSL 2011\u003C/a\u003E\u003C/b\u003E","title":"CSL 2011","link":"","lat":60.394305555556,"lon":5.3259194444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2013\" title=\"CSL 2013\"\u003ECSL 2013\u003C/a\u003E\u003C/b\u003E","title":"CSL 2013","link":"","lat":45.067755555556,"lon":7.6824888888889,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2014\" title=\"CSL 2014\"\u003ECSL 2014\u003C/a\u003E\u003C/b\u003E","title":"CSL 2014","link":"","lat":48.208352777778,"lon":16.372505555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2015\" title=\"CSL 2015\"\u003ECSL 2015\u003C/a\u003E\u003C/b\u003E","title":"CSL 2015","link":"","lat":52.518691666667,"lon":13.399602777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2016\" title=\"CSL 2016\"\u003ECSL 2016\u003C/a\u003E\u003C/b\u003E","title":"CSL 2016","link":"","lat":43.296175,"lon":5.3699527777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2018\" title=\"CSL 2018\"\u003ECSL 2018\u003C/a\u003E\u003C/b\u003E","title":"CSL 2018","link":"","lat":52.4797,"lon":-1.9026916666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2020\" title=\"CSL 2020\"\u003ECSL 2020\u003C/a\u003E\u003C/b\u003E","title":"CSL 2020","link":"","lat":41.382894444444,"lon":2.1774333333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=CSL_2021\" title=\"CSL 2021\"\u003ECSL 2021\u003C/a\u003E\u003C/b\u003E","title":"CSL 2021","link":"","lat":46.050027777778,"lon":14.506927777778,"icon":""}],"imageLayers":[]}