9th International Conference on Tests & Proofs
22–24 July 2015, L'Aquila, Italy
Previous Editions
- TAP 2014, the Eight International Conference on Tests and Proofs, York, UK, June 24 - June 25, 2014
- TAP 2013, the Seventh International Conference on Tests and Proofs, Budapest, Hungary, June 18 - June 19, 2013
- TAP 2012, the Sixth International Conference on Tests and Proofs, Prague, Czech Republic, May 31 - June 1, 2012
- TAP 2011, the Fifth International Conference on Tests and Proofs, Zurich, Switzerland, June 30 - July 01, 2011
- TAP 2010, the Fourth International Conference on Tests and Proofs, Malaga, Spain, July 1-2, 2010
- TAP 2009, the Third International Conference on Tests and Proofs, Zurich, Switzerland, July 2-3, 2009
- TAP 2008, the Second International Conference on Tests and Proofs, Prato, Italy, April 9-11, 2008
- TAP 2007, the First International Conference on Tests and Proofs, Zurich, Switzerland, February 12-14, 2007