TACAS

Event series Rating

median	worst

List of all ratings can be found at TACAS/rating

Excel series Import and Export

Go to orapi Download page

Publish series

Event series

TACAS
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Categories: Software engineering
https://etaps.org/
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.:	Q105693137
Scholia:	https://scholia.toolforge.org/event-series/Q105693137
DblpSeries:	tacas/
WikiCFP Series:	2811
Twitter:	https://twitter.com/ETAPSconf
Avg. acceptance rate:	0
Avg. acceptance rate (last 5 years):	0
Table of Contents

International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) has an average acceptance rate of 0% (last 5 years 0%).

Events

There are 28 events of the series TACAS known to this wiki: TACAS 1995, TACAS 1996, TACAS 1997, TACAS 1998, TACAS 1999, TACAS 2000, TACAS 2001, TACAS 2002, TACAS 2003, TACAS 2004, TACAS 2005, TACAS 2006, TACAS 2007, TACAS 2008, TACAS 2009, TACAS 2010, TACAS 2011, TACAS 2012, TACAS 2013, TACAS 2014, TACAS 2015, TACAS 2016, TACAS 2017, TACAS 2018, TACAS 2019, TACAS 2020, TACAS 2021, TACAS 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.	Year	FromThis 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.	presence	HomepageThis 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.	TibKatId	GNDThis 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.
TACAS 2022	28	2022	Apr 2	Apr 7	US/ND/Munich	US	presence	https://etaps.org/2022/tacas			tacas/tacas2022-1
TACAS 2021	27	2021	Mar 27	Apr 1	Luxembourg	LU	online	https://etaps.org/2021/tacas	1753065534	1232363553	tacas/tacas2021-1	109313
TACAS 2020	26	2020	Apr 15	Apr 30	US/CA/Dublin	US	online	https://etaps.org/2020/tacas	1697215327	1212468643	tacas/tacas2020-1	94691	Q106337697
TACAS 2019	25	2019	Apr 8	Apr 11	CZ/10/Prague	CZ	presence	https://conf.researchr.org/track/etaps-2019/tacas-2019-papers	1666720135	1184809712	tacas/tacas2019-1	79121	Q106337698
TACAS 2018	24	2018	Apr 14	Apr 20	GR/B/Municipality of Thessaloniki	GR	presence	https://etaps.org/2018/tacas	1655933051	1156789095	tacas/tacas2018-1		Q106245011
TACAS 2017	23	2017	Apr 22	Apr 29	SE/C/Uppsala	SE	presence	https://etaps.org/2017/tacas	881210129	1130333183	tacas/tacas2017-1		Q106245012
TACAS 2016	22	2016	Apr 2	Apr 8	NL/NB/Eindhoven	NL	presence	https://etaps.org/index.php/2016/tacas	1619916843	1098196201	tacas/tacas2016	46091	Q106337699
TACAS 2015	21	2015	Apr 11	Apr 18	GB/ENG/London	GB	presence	https://etaps.org/2015/cc	818506210	1069960675	tacas/tacas2015	39049	Q106426953
TACAS 2014	20	2014	Apr 5	Apr 13	FR/ARA/Grenoble	FR	presence	https://etaps.org/2014/tacas	785981659	1048714985	tacas/tacas2014	29851	Q106245013
TACAS 2013	19	2013	Mar 16	Mar 24	IT/62/Rome	IT	presence	https://etaps.org/2013/tacas	735708843	1033888370	tacas/tacas2013	24826	Q106426954
TACAS 2012	18	2012	Mar 27	Mar 30	EE/37/Tallinn	EE	presence	https://etaps.org/2012/tacas	785981659	16343693-9	tacas/tacas2012	18494	Q106245014
TACAS 2011	17	2011	Mar 26	Apr 3	DE/SL/Saarbrücken	DE	presence	https://etaps.org/2011/tacas	655747583	16105838-3	tacas/tacas2011	11171	Q106337700
TACAS 2010	16	2010	Mar 20	Mar 28	CY/05/Paphos	CY	presence	https://tacas10.in.tum.de/	624774619	16174268-3	tacas/tacas2010	6663	Q106337701
TACAS 2009	15	2009	Mar 22	Mar 29	GB/ENG/City of York	GB	presence	http://web.embedded.rwth-aachen.de/tacas09/	592550435	16003600-8	tacas/tacas2009		Q106337702
TACAS 2008	14	2008	Mar 29	Apr 6	HU/PE/Pest	HU	presence	http://etaps08.mit.bme.hu/Conf/conf-frame-tacas.html	561240450	6520071-8	tacas/tacas2008		Q106245026
TACAS 2007	13	2007	Mar 24	Apr 1	BR/RS/Braga	BR	presence	https://www.doc.ic.ac.uk/tacas07/	537711260	6063719-5	tacas/tacas2007		Q106245027
TACAS 2006	12	2006	Mar 25	Apr 2	AT/9/Vienna	AT	presence	https://depend.cs.uni-saarland.de/index.php?id=329	512697906	10132480-7	tacas/tacas2006		Q106426956
TACAS 2005	11	2005	Apr 4	Apr 8	GB/SCT/Edinburgh	GB	presence	http://www-verimag.imag.fr/PEOPLE/halbwach/TACAS2005.html	484394304	10100994-X	tacas/tacas2005		Q106426957
TACAS 2004	10	2004	Mar 29	Apr 2	ES/CT/Barcelona	ES	presence	[1] https://users-cs.au.dk/~cpn/tacas04/]]	386983704	10076241-4	tacas/tacas2004		Q106426958
TACAS 2003	9	2003	Apr 7	Apr 11	PL/14/Warsaw	PL	presence	http://vasy.inria.fr/tacas03/	363154159	10054179-3	tacas/tacas2003		Q106337703
TACAS 2002	8	2002	Apr 8	Apr 12	FR/ARA/Grenoble	FR	presence	http://www.dcs.ed.ac.uk/tacas2002/	367283492	16029607-9	tacas/tacas2002		Q106337713
TACAS 2001	7	2001	Apr 2	Apr 6	IT/42/Genoa	IT	presence	https://www.disi.unige.it/etaps2001/	335720927	10016894-2	tacas/tacas2001		Q106426959
TACAS 2000	6	2000	Mar 25	Apr 2	DE/BE/Berlin	DE	presence	https://www-verimag.imag.fr/EVENTS/2000/TACAS/	334366054	2182080-6	tacas/tacas2000		Q106337714
TACAS 1999	5	1999	Mar 22	Mar 28	NL/NH/Amsterdam	NL	presence	https://www.csc.ncsu.edu/tacas99/	334055296	2175509-7	tacas/tacas99		Q106426960
TACAS 1998	4	1998	Mar 28	Apr 4	PT/11/Lisbon	PT	presence	http://www.di.fc.ul.pt/~llf/etaps98/TACAS.html	333931750	2169051-0	tacas/tacas98		Q106426961
TACAS 1997	3	1997	Apr 2	Apr 4	NL/OV/Enschede	NL	presence		535011792	2162334-X	tacas/tacas97		Q106245028
TACAS 1996	2	1996	Mar 27	Mar 29	Passau	DE	presence		272030880	2154215-6	tacas/tacas96		Q106068254
TACAS 1995	1	1995	May 19	May 20	DK/82/Aarhus	DK	presence		27203357X	2151194-9	tacas/tacas95		Q106426603

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=\"/orfixed/index.php?title=TACAS_1995\" title=\"TACAS 1995\"\u003ETACAS 1995\u003C/a\u003E\u003C/b\u003E","title":"TACAS 1995","link":"","lat":56.156388888,"lon":10.209722222,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_1997\" title=\"TACAS 1997\"\u003ETACAS 1997\u003C/a\u003E\u003C/b\u003E","title":"TACAS 1997","link":"","lat":52.223611111,"lon":6.895555555,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_1998\" title=\"TACAS 1998\"\u003ETACAS 1998\u003C/a\u003E\u003C/b\u003E","title":"TACAS 1998","link":"","lat":38.7452,"lon":-9.1604,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_1999\" title=\"TACAS 1999\"\u003ETACAS 1999\u003C/a\u003E\u003C/b\u003E","title":"TACAS 1999","link":"","lat":52.366666666,"lon":4.883333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2000\" title=\"TACAS 2000\"\u003ETACAS 2000\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2000","link":"","lat":52.516666666,"lon":13.383333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2001\" title=\"TACAS 2001\"\u003ETACAS 2001\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2001","link":"","lat":44.407186111,"lon":8.933983333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2002\" title=\"TACAS 2002\"\u003ETACAS 2002\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2002","link":"","lat":45.186944444,"lon":5.726388888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2003\" title=\"TACAS 2003\"\u003ETACAS 2003\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2003","link":"","lat":52.216666666,"lon":21.033333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2004\" title=\"TACAS 2004\"\u003ETACAS 2004\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2004","link":"","lat":41.3825,"lon":2.176944444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2005\" title=\"TACAS 2005\"\u003ETACAS 2005\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2005","link":"","lat":55.95,"lon":-3.198888888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2006\" title=\"TACAS 2006\"\u003ETACAS 2006\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2006","link":"","lat":48.20833,"lon":16.373064,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2007\" title=\"TACAS 2007\"\u003ETACAS 2007\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2007","link":"","lat":-27.613888888,"lon":-53.738888888,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2008\" title=\"TACAS 2008\"\u003ETACAS 2008\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2008","link":"","lat":47.5,"lon":19.1,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2009\" title=\"TACAS 2009\"\u003ETACAS 2009\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2009","link":"","lat":53.96396,"lon":-1.09142,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2010\" title=\"TACAS 2010\"\u003ETACAS 2010\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2010","link":"","lat":34.77612852,"lon":32.42651039,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2011\" title=\"TACAS 2011\"\u003ETACAS 2011\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2011","link":"","lat":49.233333333,"lon":7,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2012\" title=\"TACAS 2012\"\u003ETACAS 2012\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2012","link":"","lat":59.437222222,"lon":24.745,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2013\" title=\"TACAS 2013\"\u003ETACAS 2013\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2013","link":"","lat":41.893055555,"lon":12.482777777,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2015\" title=\"TACAS 2015\"\u003ETACAS 2015\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2015","link":"","lat":51.507222222,"lon":-0.1275,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2016\" title=\"TACAS 2016\"\u003ETACAS 2016\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2016","link":"","lat":51.434444444,"lon":5.484166666,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2017\" title=\"TACAS 2017\"\u003ETACAS 2017\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2017","link":"","lat":59.849760548,"lon":17.638946597,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2018\" title=\"TACAS 2018\"\u003ETACAS 2018\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2018","link":"","lat":40.633333,"lon":22.95,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2019\" title=\"TACAS 2019\"\u003ETACAS 2019\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2019","link":"","lat":50.083333333,"lon":14.416666666,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2020\" title=\"TACAS 2020\"\u003ETACAS 2020\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2020","link":"","lat":37.714167,"lon":-121.9125,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/orfixed/index.php?title=TACAS_2022\" title=\"TACAS 2022\"\u003ETACAS 2022\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2022","link":"","lat":48.669444444,"lon":-98.835555555,"icon":""}],"imageLayers":[]}