12th International Conference on Tests & Proofs

Important Dates

Abstract submission:

February 23, 2018 March 4, 2018

Paper submission:

March 2, 2018 March 11, 2018

Notification:

April 14, 2018

Camera ready version:

April 23, 2018

TAP conference:

June 27 - June 29, 2018

STAF event (parallel TOOLS, SEFM, SC, TAP):

June 25 - 30, 2018