ICCAPFP 2021: 15. International Conference on Computer-Assisted Proof and Functional Programming

February 15-16, 2021 in London, United Kingdom

DIGITAL
London

Other Events

Prague
March 2021 in Prague
  • Event Code: 21CZ03ICCAPFP
  • Abstract/Full-Text Paper Submission: September 30, 2020
  • Notification of Acceptance/Rejection: October 15, 2020
  • Final Paper and Early Bird Registration: February 21, 2021
  • Conference Date: March 22-23, 2021
London
February 2022 in London
  • Event Code: 22UK02ICCAPFP
  • Abstract/Full-Text Paper Submission: September 30, 2020
  • Notification of Acceptance/Rejection: October 15, 2020
  • Final Paper and Early Bird Registration: January 14, 2022
  • Conference Date: February 15-16, 2022
Prague
March 2022 in Prague
  • Event Code: 22CZ03ICCAPFP
  • Abstract/Full-Text Paper Submission: September 30, 2020
  • Notification of Acceptance/Rejection: October 15, 2020
  • Final Paper and Early Bird Registration: February 21, 2022
  • Conference Date: March 22-23, 2022