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

Venue statistics

records by year

document access 

    frequent authors

      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

      23. TACAS@ETAPS 2017: Uppsala, Sweden

      22. TACAS@ETAPS 2016: Eindhoven, The Netherlands

      21. TACAS@ETAPS 2015: London, UK

      20. TACAS@ETAPS 2014: Grenoble, France

      19. TACAS@ETAPS 2013: Rome, Italy

      18. TACAS@ETAPS 2012: Tallinn, Estonia

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

      16. TACAS@ETAPS 2010: Paphos, Cyprus

      15. TACAS@ETAPS 2009: York, UK

      14. TACAS@ETAPS 2008: Budapest, Hungary

      13. TACAS@ETAPS 2007: Braga, Portugal

      12. TACAS@ETAPS 2006: Vienna, Austria

      TACAS 2006 Home Page

      11. TACAS@ETAPS 2005: Edinburgh, UK

      TACAS 2005 Home Page

      10. TACAS@ETAPS 2004: Barcelona, Spain

      9. TACAS@ETAPS 2003: Warsaw, Poland

      8. TACAS@ETAPS 2002: Grenoble, France

      7. TACAS@ETAPS 2001: Genova, Italy

      TACAS 2001 Home Page

      6. TACAS@ETAPS 2000: Berlin, Germany

      TACAS 2000 Home Page

      5. TACAS@ETAPS 1999: Amsterdam, The Netherlands

      4. TACAS@ETAPS 1998: Lisbon, Portugal

      3. TACAS 1997: Enschede, The Netherlands

      2. TACAS 1996: Passau, Germany

      1. TACAS 1995: Aarhus, Denmark

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics