CSL

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event series Rating

median worst
Pain1.svg Pain7.svg

List of all ratings can be found at CSL/rating

Excel series Import and Export

Go to orapi Download page

Publish series


Event series
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
wikidataIdThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in Wikidata. Its external formatter URI is https://www.wikidata.org/entity/$1.</br>In Open Research it is mostly used to identify an academic event or event series within Wikidata. </br>The use of this property is optional. It is not necessary for the DOI registration process via DataCite.: Q30752325
Scholia: https://scholia.toolforge.org/event-series/Q30752325
DblpSeries: csl
WikiCFP Series: 604
CORE Rank (2018): B
Avg. acceptance rate: 0
Avg. acceptance rate (last 5 years): 0
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 0% (last 5 years 0%).

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

 OrdinalThis property of the datatype Number represents the ordinal number of an event within an event series. Thereby it informs about the age of an event series. This property is not needed for the DOI registration process via DataCite and is optional.YearFromThis property is of the datatype Date and it is being used to provide the start date of an academic event or a project.</br>This property is aligned with icaltzd:dtstart. It is a mandatory property when describing an academic event and it is needed for the DOI registration process via DataCite.ToThis property is of the datatype Date and it is being used to provide the end date of an academic event or a project.</br>This property is aligned with icaltzd:dtend.</br>It is a mandatory property when describing an academic event and it is needed for the DOI registration process via DataCite.CityThe property Has location city can be used to specify the city where a street, building, event, etc. is located in.</br>It is of the datatype Page and a special case of the Property:Located in. Other properties for specifying locations are: property:Has location country, property:Has location state and property:Has location address.</br>When specifying the city in which an academic event takes or took place, using this property is not needed for the DOI registration process via DataCite but strongly recommended.CountryThe property Has location country is used to describe the country where something is located in.</br>It is of the datatype Page and a special case of the Property:Located in. Other properties for specifying locations are: property:Has location city, property:Has location state and property:Has location address.</br>When specifying the country in which an academic event takes or took place, using this property is not needed for the DOI registration process via DataCite but strongly recommended.presenceHomepageThis property is of the datatype URL and it is being used to provide the official website of an academic event or an event series.</br>It is a recommended property when describing an academic event or event series and it is not needed for the DOI registration process via DataCite.TibKatIdGNDThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in the Integrated_Authority_File (GND). Its external formatter URI is http://d-nb.info/gnd/$1.</br>In Open Research it is mostly used to identify an academic event or event series within the GND. </br>The use of this property is optional.</br>It is not necessary for the DOI registration process via DataCite.dblpThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in dblp. Its external formatter URI is https://dblp2.uni-trier.de/db/conf/$1.</br>In Open Research it is mostly used to identify an academic event within dblp. </br>The use of this property is optional. It is not necessary for the DOI registration process via DataCite.WikiCFPThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in WikiCFP. Its external formatter URI is http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=$1.</br>In Open Research it is used to identify an academic event or event series within WikiCFP. </br>The use of this property is optional. It is not necessary for the DOI registration process via DataCite.WikidataThis property of the datatype External identifier is used to provide the identifier with which an entity is indexed in Wikidata. Its external formatter URI is https://www.wikidata.org/entity/$1.</br>In Open Research it is mostly used to identify an academic event or event series within Wikidata. </br>The use of this property is optional. It is not necessary for the DOI registration process via DataCite.General chairPC chair
CSL 2022302022Feb 14Feb 19DE/NI/GöttingenDEpresencehttp://csl2022.uni-goettingen.de/csl/csl2022Some personSome person
CSL 2021292021Jan 25Jan 28SI/061/LjubljanaSIonlinehttps://csl2021.fmf.uni-lj.si/csl/csl2021
CSL 2020282020Jan 13Jan 16ES/CT/BarcelonaESonlinehttps://www.cs.upc.edu/csl2020/csl/csl2020
CSL 2018272018Sep 4Sep 7GB/ENG/BirminghamGBpresencehttp://events.cs.bham.ac.uk/csl18/#programmecsl/csl2018
CSL 2017262017Aug 20Aug 24SE/AB/StockholmSEpresencehttps://www.csl17.conf.kth.secsl/csl2017
CSL 2016252016Aug 29Sep 1FR/PAC/MarseilleFRpresencehttp://csl16.lif.univ-mrs.fr/csl/csl2016
CSL 2015242015Sep 7Sep 10DE/BE/BerlinDEpresencehttps://logic.las.tu-berlin.de/csl2015/index.htmlcsl/csl2015
CSL 2014232014Jul 14Jul 18AT/9/ViennaATpresencecsl/csl2014
CSL 2013272013Sep 2Sep 5IT/21/TurinITpresencehttp://csl13.di.unito.it/csl/csl2013
CSL 2012262012Sep 3Sep 6FR/IDF/FontainebleauFRpresencehttp://csl2012.lacl.fr/csl/csl2012
CSL 2011252011Sep 12Sep 15NO/46/Bergen MunicipalityNOpresencehttps://www.eacsl.org/csl11/csl/csl2011
CSL 2010242010Aug 23Aug 27CZ/64/BrnoCZpresencehttp://mfcsl2010.fi.muni.cz/csl/csl/csl2010
CSL 2009232009Sep 7Sep 11PT/06/CoimbraPTpresencehttp://www.mat.uc.pt/~csl/csl/csl2009
CSL 2008222008Sep 16Sep 19IT/45/BertinoroITpresencehttp://csl2008.cs.unibo.it/csl/csl2008
CSL 2007212007Sep 11Sep 15CH/VD/LausanneCHpresencecsl/csl2007
CSL 2006202006Sep 25Sep 29HU/CS/SzegedHUpresencehttp://www.inf.u-szeged.hu/~csl06/csl/csl2006
CSL 2005192005Aug 22Aug 25GB/ENG/OxfordGBpresencecsl/csl2005
CSL 2004182004Sep 20Sep 24PL/02/KarpaczPLpresencehttp://www.csl04.ii.uni.wroc.pl/csl/csl2004
CSL 2003172003Aug 25Aug 30AT/9/ViennaATpresencehttps://www.logic.at/csl03/csl/csl2003
CSL 2002162002Sep 22Sep 25GB/SCT/EdinburghGBpresencehttp://www.dcs.ed.ac.uk/csl02/csl/csl2002
CSL 2001152001Sep 10Sep 13FR/IDF/ParisFRpresencehttp://www.lsv.fr/Events/csl01/csl/csl2001
CSL 2000142000Aug 21Aug 26DE/BY/FischbachauDEpresencehttp://www2.tcs.ifi.lmu.de/csl2000csl/csl2000
CSL 1999131999Sep 20Sep 25ES/MD/MadridESpresencecsl/csl98
CSL 1998121998Aug 24Aug 28CZ/64/BrnoCZpresencehttps://www.fi.muni.cz/mfcs98/PRG.htmlcsl/csl98
CSL 1997111997Aug 23Aug 29DK/82/AarhusDKpresencecsl/csl97
CSL 1996101996Sep 21Sep 27NL/UT/UtrechtNLpresencecsl/csl96
CSL 19951995Sep 22Sep 29DE/NW/PaderbornDEpresencecsl/csl95
CSL 199481994Sep 25Sep 30KazimierzPLpresencecsl/csl94
CSL 199371993Sep 13Sep 17GB/WLS/SwanseaGBpresencecsl/csl93
CSL 199261992Sep 28Oct 2IT/52/San MiniatoITpresencecsl/csl92
CSL 199151991Oct 7Oct 11CH/BE/BernCHpresencecsl/csl91
CSL 199041990Oct 1Oct 5DE/BW/HeidelbergDEpresencecsl/csl90
CSL 198931989Oct 2Oct 6DE/RP/KaiserslauternDEpresencecsl/csl89
CSL 198821988Oct 3Oct 7DE/NW/DuisburgDEpresencecsl/csl88
CSL 198711987Oct 12Oct 16DE/BW/KarlsruheDEpresencecsl/csl87


Submission/Acceptance

Locations

Loading map...