International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Venue statistics

records by year

document access 

    frequent authors

      29th TACAS@ETAPS 2023: Paris, France

      28th TACAS@ETAPS 2022: Munich, Germany

      27th TACAS@ETAPS 2021: Luxembourg

      26th TACAS@ETAPS 2020: Dublin, Ireland

      25th TACAS@ETAPS 2019: Prague, Czech Republic

      24th TACAS@ETAPS 2018: Thessaloniki, Greece

      23rd TACAS@ETAPS 2017: Uppsala, Sweden

      22nd TACAS@ETAPS 2016: Eindhoven, The Netherlands

      21st TACAS@ETAPS 2015: London, UK

      20th TACAS@ETAPS 2014: Grenoble, France

      19th TACAS@ETAPS 2013: Rome, Italy

      18th TACAS@ETAPS 2012: Tallinn, Estonia

      17th TACAS@ETAPS 2011: Saarbrücken, Germany

      16th TACAS@ETAPS 2010: Paphos, Cyprus

      15th TACAS@ETAPS 2009: York, UK

      14th TACAS@ETAPS 2008: Budapest, Hungary

      13th TACAS@ETAPS 2007: Braga, Portugal

      12th TACAS@ETAPS 2006: Vienna, Austria

      TACAS 2006 Home Page

      11th TACAS@ETAPS 2005: Edinburgh, UK

      TACAS 2005 Home Page

      10th TACAS@ETAPS 2004: Barcelona, Spain

      9th TACAS@ETAPS 2003: Warsaw, Poland

      8th TACAS@ETAPS 2002: Grenoble, France

      7th TACAS@ETAPS 2001: Genova, Italy

      6th TACAS@ETAPS 2000: Berlin, Germany

      TACAS 2000 Home Page

      5th TACAS@ETAPS 1999: Amsterdam, The Netherlands

      4th TACAS@ETAPS 1998: Lisbon, Portugal

      3rd TACAS 1997: Enschede, The Netherlands

      2nd TACAS 1996: Passau, Germany

      1st TACAS 1995: Aarhus, Denmark

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics