ICVPT 2020: 14. International Conference on Verification and Program Transformation

April 16-17, 2020 in Cape Town, South Africa

Cape Town

Other Events

Singapore
January 2020 in Singapore
  • Event Code: 20SG01ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: December 07, 2019
  • Conference Date: January 09-10, 2020
Rome
January 2020 in Rome
  • Event Code: 20IT01ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: December 17, 2019
  • Conference Date: January 16-17, 2020
Istanbul
January 2020 in Istanbul
  • Event Code: 20TR01ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: December 31, 2019
  • Conference Date: January 30-31, 2020
New York
April 2020 in New York
  • Event Code: 20US04ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: March 22, 2020
  • Conference Date: April 23-24, 2020
London
April 2020 in London
  • Event Code: 20UK04ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: March 24, 2020
  • Conference Date: April 23-24, 2020
Vancouver
May 2020 in Vancouver
  • Event Code: 20CA05ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: April 19, 2020
  • Conference Date: May 21-22, 2020
Barcelona
June 2020 in Barcelona
  • Event Code: 20ES06ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: May 10, 2020
  • Conference Date: June 11-12, 2020
Paris
June 2020 in Paris
  • Event Code: 20FR06ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: May 25, 2020
  • Conference Date: June 25-26, 2020
Singapore
July 2020 in Singapore
  • Event Code: 20SG07ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: June 06, 2020
  • Conference Date: July 06-07, 2020
Rome
July 2020 in Rome
  • Event Code: 20IT07ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: June 21, 2020
  • Conference Date: July 23-24, 2020
Amsterdam
August 2020 in Amsterdam
  • Event Code: 20NL08ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: July 07, 2020
  • Conference Date: August 06-07, 2020
Vancouver
August 2020 in Vancouver
  • Event Code: 20CA08ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: July 08, 2020
  • Conference Date: August 06-07, 2020
Prague
September 2020 in Prague
  • Event Code: 20CZ09ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: August 04, 2020
  • Conference Date: September 03-04, 2020
Lisbon
September 2020 in Lisbon
  • Event Code: 20PT09ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: August 19, 2020
  • Conference Date: September 16-17, 2020
Barcelona
October 2020 in Barcelona
  • Event Code: 20ES10ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: September 24, 2020
  • Conference Date: October 21-22, 2020
Istanbul
November 2020 in Istanbul
  • Event Code: 20TR11ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: October 08, 2020
  • Conference Date: November 05-06, 2020
Rome
November 2020 in Rome
  • Event Code: 20IT11ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: October 11, 2020
  • Conference Date: November 11-12, 2020
Singapore
November 2020 in Singapore
  • Event Code: 20SG11ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: October 18, 2020
  • Conference Date: November 19-20, 2020
Bangkok
December 2020 in Bangkok
  • Event Code: 20TH12ICVPT
  • Abstract/Full-Text Paper Submission: November 14, 2019
  • Notification of Acceptance/Rejection: November 28, 2019
  • Final Paper and Early Bird Registration: November 18, 2020
  • Conference Date: December 15-16, 2020