header by Frank Schmidtke

10th International Conference on Tests & Proofs

5-7 July 2016, Vienna, Austria


Important Dates

  • Abstract: 29 January 2016
    15 February 2016
  • Paper: 5 February 2016
    15 February 2016
  • Notification: 15 April 2016
  • Camera-Ready Version: 29 April 2016
  • Conference: 5-7 July 2016