International Conference of Tests and Proofs (TAP)

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