7th International Conference on
Tests & Proofs
Budapest, Hungary, June 18-19, 2013

Program Chairs

Program Committee

Registration

Now Open:
Please use the registration on the STAF website.

Important Dates

  • Abstract submission:
    January 25, 2013
  • Paper submission:
    February 1, 2013
  • Notification:
    March 3, 2013
  • Camera ready version:
    April 5, 2013
  • TAP conference:
    June 18-19, 2013
  • STAF conferences:
    June 17 - 20, 2013

Program Chairs

Co-location

STAF: Software, Technologies, Applications and Foundations 2013

Proceedings

Springer LNCS

The SPaCIoS Project