Header
TAP location images

12th International Conference on Tests & Proofs

Important Dates

Abstract submission:

February 23, 2018

Paper submission:

March 2, 2018

Notification:

April 9, 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

TAP footer image