6th International Conference on
Tests & Proofs
May 31 - June 1, 2012, Prague, Czech Republic

Conference Chairs

  • Yuri Gurevich
  • Bertrand Meyer

Program Chairs

Program Committee

Registration

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

Important Dates

  • Abstract submission:
    January 11, 2012
  • Paper submission:
    January 18, 2012
  • Notification:
    March 2, 2012
  • Camera ready version:
    March 19, 2012
  • TAP conference:
    May 31 - June 1, 2012
  • TOOLS conferences:
    May 29 - June 01, 2012

Chairs

Conference Chairs:

  • Yuri Gurevich
  • Bertrand Meyer

Program Chairs:

Co-location

TOOLS Conference Servies

Proceedings

Springer LNCS

The Aniketos Project