header

9th International Conference on Tests & Proofs

22–24, L'Aquila, Italy


Important Dates

  • Abstract: February 13, 2015 February 23, 2015
  • Paper: February 20, 2015 February 27, 2015
  • Notification: April 13, 2015
  • Camera-Ready Version: May 3, 2015
  • Conference: week of 22–24 July 2015