TACAS

TACAS

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

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

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

	Ordinal	Year	From	To	City	Country	presence	Homepage	TibKatId	GND	dblp	WikiCFP	Wikidata	General chair	PC chair	Submitted papers	Acceptance rate
TACAS 2022	28	2022	Apr 2	Apr 7	Munich	Germany	presence	https://etaps.org/2022/tacas			tacas/tacas2022-1				Grigore Rosu Dana Fisman
TACAS 2021	27	2021	Mar 27	Apr 1	Luxembourg	Luxembourg	online	https://etaps.org/2021/tacas	1753065534	1232363553	tacas/tacas2021-1	109313		Peter Y. A. Ryan	Kim G. Larsen Jan Friso Groote	141	51.1
TACAS 2020	26	2020	Apr 15	Apr 30	Dublin	Ireland	online	https://etaps.org/2020/tacas	1697215327	1212468643	tacas/tacas2020-1	94691	Q106337697		Armin Biere David Parker	155	31.0
TACAS 2019	25	2019	Apr 8	Apr 11	Prague	Czech Republic	presence	https://conf.researchr.org/track/etaps-2019/tacas-2019-papers	1666720135	1184809712	tacas/tacas2019-1	79121	Q106337698		Lijun Zhang Tomas Vojnar	164	21.3
TACAS 2018	24	2018	Apr 14	Apr 20	Thessaloniki	Greece	presence	https://etaps.org/2018/tacas	1655933051	1156789095	tacas/tacas2018-1		Q106245011		Marieke Huisman Dirk Beyer	154	29.2
TACAS 2017	23	2017	Apr 22	Apr 29	Uppsala	Sweden	presence	https://etaps.org/2017/tacas	881210129	1130333183	tacas/tacas2017-1		Q106245012		Axel Legay Dirk Beyer	181	26.5
TACAS 2016	22	2016	Apr 2	Apr 8	Eindhoven	The Netherlands	presence	https://etaps.org/index.php/2016/tacas	1619916843	1098196201	tacas/tacas2016	46091	Q106337699		Marsha Chechik Jean-François Raskin	175	25.1
TACAS 2015	21	2015	Apr 11	Apr 18	London	UK	presence	https://etaps.org/2015/cc	818506210	1069960675	tacas/tacas2015	39049	Q106426953		Christel Baier Björn Franke Cesare Tinelli	164	27.4
TACAS 2014	20	2014	Apr 5	Apr 13	Grenoble	France	presence	https://etaps.org/2014/tacas	785981659	1048714985	tacas/tacas2014	29851	Q106245013		Erika Ábrahám Klaus Havelund	161	26.1
TACAS 2013	19	2013	Mar 16	Mar 24	Rome	Italy	presence	https://etaps.org/2013/tacas	735708843	1033888370	tacas/tacas2013	24826	Q106426954		Scott Smolka Nir Piterman	172	24.4
TACAS 2012	18	2012	Mar 27	Mar 30	Tallinn	Estonia	presence	https://etaps.org/2012/tacas	785981659	16343693-9	tacas/tacas2012	18494	Q106245014		Holger Hermanns Cormac Flanagan Barbara König	147	24.5
TACAS 2011	17	2011	Mar 26	Apr 3	Saarbrücken	Germany	presence	https://etaps.org/2011/tacas	655747583	16105838-3	tacas/tacas2011	11171	Q106337700		Parosh Aziz Abdulla K. Rustan M. Leino	112	28.6
TACAS 2010	16	2010	Mar 20	Mar 28	Paphos	Cyprus	presence	https://tacas10.in.tum.de/	624774619	16174268-3	tacas/tacas2010	6663	Q106337701		Rupak Majumdar Javier Esparza	134	26.1
TACAS 2009	15	2009	Mar 22	Mar 29	York	UK	presence	http://web.embedded.rwth-aachen.de/tacas09/	592550435	16003600-8	tacas/tacas2009		Q106337702		Anna Philippou Stefan Kowalewski	131	26.7
TACAS 2008	14	2008	Mar 29	Apr 6	Budapest	Hungary	presence	http://etaps08.mit.bme.hu/Conf/conf-frame-tacas.html	561240450	6520071-8	tacas/tacas2008		Q106245026		Jakob Rehof C. R. Ramakrishnan	32	37.5
TACAS 2007	13	2007	Mar 24	Apr 1	Braga	Portugal	presence	https://www.doc.ic.ac.uk/tacas07/	537711260	6063719-5	tacas/tacas2007		Q106245027	Joao Saraiva	Orna Grumberg Michael Huth	204	22.1
TACAS 2006	12	2006	Mar 25	Apr 2	Vienna	Austria	presence	https://depend.cs.uni-saarland.de/index.php?id=329	512697906	10132480-7	tacas/tacas2006		Q106426956		Holger Hermanns Jens Palsberg	118	25.4
TACAS 2005	11	2005	Apr 4	Apr 8	Edinburgh	UK	presence	http://www-verimag.imag.fr/PEOPLE/halbwach/TACAS2005.html	484394304	10100994-X	tacas/tacas2005		Q106426957		Nicolas Halbwachs Lenore D. Zuck	141	23.4
TACAS 2004	10	2004	Mar 29	Apr 2	Barcelona	Spain	presence	[1] https://users-cs.au.dk/~cpn/tacas04/]]	386983704	10076241-4	tacas/tacas2004		Q106426958		Andreas Podelski Kurt Jensen	145	29.7
TACAS 2003	9	2003	Apr 7	Apr 11	Warsaw	Poland	presence	http://vasy.inria.fr/tacas03/	363154159	10054179-3	tacas/tacas2003		Q106337703		Hubert Garavel John Hatcliff	140	25.0
TACAS 2002	8	2002	Apr 8	Apr 12	Grenoble	France	presence	http://www.dcs.ed.ac.uk/tacas2002/	367283492	16029607-9	tacas/tacas2002		Q106337713		Perdita Stevens Joost-Pieter Katoen	95	30.5
TACAS 2001	7	2001	Apr 2	Apr 6	Genova	Italy	presence	https://www.disi.unige.it/etaps2001/	335720927	10016894-2	tacas/tacas2001		Q106426959		Tiziana Margaria Wang Yi	125	28.8
TACAS 2000	6	2000	Mar 25	Apr 2	Berlin	Germany	presence	https://www-verimag.imag.fr/EVENTS/2000/TACAS/	334366054	2182080-6	tacas/tacas2000		Q106337714		Susanne Graf Michael I. Schwartzbach	107	30.8
TACAS 1999	5	1999	Mar 22	Mar 28	Amsterdam	The Netherlands	presence	https://www.csc.ncsu.edu/tacas99/	334055296	2175509-7	tacas/tacas99		Q106426960		W. Rance Cleaveland II	82	34.1
TACAS 1998	4	1998	Mar 28	Apr 4	Lisbon	Portugal	presence	http://www.di.fc.ul.pt/~llf/etaps98/TACAS.html	333931750	2169051-0	tacas/tacas98		Q106426961		Bernhard Steffen	78	35.9
TACAS 1997	3	1997	Apr 2	Apr 4	Enschede	The Netherlands	presence		535011792	2162334-X	tacas/tacas97		Q106245028		Ed Brinksma	54	37.0
TACAS 1996	2	1996	Mar 27	Mar 29	Passau	Germany	presence		272030880	2154215-6	tacas/tacas96		Q106068254		Bernhard Steffen Tiziana Margaria	47	40.4
TACAS 1995	1	1995	May 19	May 20	Aarhus	Denmark	presence		27203357X	2151194-9	tacas/tacas95		Q106426603		Bernhard Steffen Ed Brinksma Rance Cleaveland Tiziana Margaria Kim Guldstrand Larsen	32	37.5

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=TACAS_1995\" title=\"TACAS 1995\"\u003ETACAS 1995\u003C/a\u003E\u003C/b\u003E","title":"TACAS 1995","link":"","lat":56.149627777778,"lon":10.213405555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_1997\" title=\"TACAS 1997\"\u003ETACAS 1997\u003C/a\u003E\u003C/b\u003E","title":"TACAS 1997","link":"","lat":52.220986111111,"lon":6.8940527777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_1998\" title=\"TACAS 1998\"\u003ETACAS 1998\u003C/a\u003E\u003C/b\u003E","title":"TACAS 1998","link":"","lat":38.70775,"lon":-9.1365916666667,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_1999\" title=\"TACAS 1999\"\u003ETACAS 1999\u003C/a\u003E\u003C/b\u003E","title":"TACAS 1999","link":"","lat":52.372761111111,"lon":4.8936027777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2000\" title=\"TACAS 2000\"\u003ETACAS 2000\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2000","link":"","lat":52.518691666667,"lon":13.399602777778,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2001\" title=\"TACAS 2001\"\u003ETACAS 2001\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2001","link":"","lat":44.407261111111,"lon":8.9338611111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2002\" title=\"TACAS 2002\"\u003ETACAS 2002\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2002","link":"","lat":45.187561111111,"lon":5.7357805555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2003\" title=\"TACAS 2003\"\u003ETACAS 2003\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2003","link":"","lat":52.231958333333,"lon":21.006725,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2004\" title=\"TACAS 2004\"\u003ETACAS 2004\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2004","link":"","lat":41.382894444444,"lon":2.1774333333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2005\" title=\"TACAS 2005\"\u003ETACAS 2005\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2005","link":"","lat":55.953344444444,"lon":-3.188375,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2006\" title=\"TACAS 2006\"\u003ETACAS 2006\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2006","link":"","lat":48.208352777778,"lon":16.372505555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2007\" title=\"TACAS 2007\"\u003ETACAS 2007\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2007","link":"","lat":41.551058333333,"lon":-8.4280055555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2008\" title=\"TACAS 2008\"\u003ETACAS 2008\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2008","link":"","lat":47.497994444444,"lon":19.040358333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2009\" title=\"TACAS 2009\"\u003ETACAS 2009\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2009","link":"","lat":53.959055555556,"lon":-1.0815361111111,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2010\" title=\"TACAS 2010\"\u003ETACAS 2010\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2010","link":"","lat":34.7744,"lon":32.423158333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2011\" title=\"TACAS 2011\"\u003ETACAS 2011\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2011","link":"","lat":49.247108333333,"lon":6.9974944444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2012\" title=\"TACAS 2012\"\u003ETACAS 2012\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2012","link":"","lat":59.437216666667,"lon":24.745369444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2013\" title=\"TACAS 2013\"\u003ETACAS 2013\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2013","link":"","lat":41.893319444444,"lon":12.482933333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2014\" title=\"TACAS 2014\"\u003ETACAS 2014\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2014","link":"","lat":45.187561111111,"lon":5.7357805555556,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2015\" title=\"TACAS 2015\"\u003ETACAS 2015\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2015","link":"","lat":51.507322222222,"lon":-0.12764722222222,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2016\" title=\"TACAS 2016\"\u003ETACAS 2016\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2016","link":"","lat":51.439263888889,"lon":5.4786333333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2017\" title=\"TACAS 2017\"\u003ETACAS 2017\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2017","link":"","lat":59.858613888889,"lon":17.638744444444,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2018\" title=\"TACAS 2018\"\u003ETACAS 2018\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2018","link":"","lat":40.640316666667,"lon":22.935272222222,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2019\" title=\"TACAS 2019\"\u003ETACAS 2019\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2019","link":"","lat":50.059627777778,"lon":14.446458333333,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2020\" title=\"TACAS 2020\"\u003ETACAS 2020\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2020","link":"","lat":53.349763888889,"lon":-6.2602722222222,"icon":""},{"text":"\u003Cb\u003E\u003Ca href=\"/or/index.php?title=TACAS_2022\" title=\"TACAS 2022\"\u003ETACAS 2022\u003C/a\u003E\u003C/b\u003E","title":"TACAS 2022","link":"","lat":48.137108333333,"lon":11.575383333333,"icon":""}],"imageLayers":[]}