header

8th International Conference on Tests & Proofs

July 24 - July 25, 2014, York, UK


Previous Editions

  • 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