International Conference of Tests and Proofs (TAP)

Venue statistics

records by year

document access 

    frequent authors

      17th TAP 2023: Leicester, UK

      16th TAP@STAF 2022: Nantes, France

      15th TAP@STAF 2021: Virtual Event

      14th TAP@STAF 2020: Bergen, Norway

      TAP 2020 Home Page [postponed]

      13th TAP@FM 2019: Porto, Portugal

      12th TAP@STAF 2018: Toulouse, France

      11th TAP@STAF 2017: Marburg, Germany

      10th TAP@STAF 2016: Vienna, Austria

      9th TAP@STAF 2015: L'Aquila, Italy

      8th TAP@STAF 2014: York, UK

      7th TAP@STAF 2013: Budapest, Hungary

      6th TAP@TOOLS 2012: Prague, Czech Republic

      5th TAP@TOOLS 2011: Zurich, Switzerland

      4th TAP@TOOLS 2010: Málaga, Spain

      3rd TAP@TOOLS 2009: Zurich, Switzerland

      2nd TAP 2008: Prato, Italy

      1st TAP 2007: Zurich, Switzerland

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics