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%).
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":[]}
