List of conferences

FORTE'23 first CfP by Antonio Ravara on December 21, 2022
2nd CfP - 29th International Symposium on Model Checking of Software - SPIN 2023 by Georgiana Caltais on December 18, 2022
CfP ICGT 2023 – 16th International Conference on Graph Transformation by Chris Poskitt on December 8, 2022 (edited on March 1, 2023)
PLDI 2023 Artifact Evaluation Committee Nominations by Anders Miltner on October 25, 2022
ETAPS 2023 Final joint call for papers by jankofron on October 6, 2022
38th Annual ACM/SIGAPP Symposium on Applied Computing - Software Verification and Testing Track by Georgiana Caltais on October 2, 2022
ESOP 2023 - Call for Papers by Thomas Wies on September 6, 2022
ETAPS 2023 2st joint call for papers by jankofron on August 31, 2022
ETAPS 2023 1st joint call for papers by jankofron on July 13, 2022
ETAPS 2023: Call for Satellite Events by jankofron on April 22, 2022
Call for papers: SASSUR 2022 by jldelavara on March 25, 2022
First CFP: 6th Working Formal Methods Symposium by Vlad Rusu on March 17, 2022
CfP GCM 2022 - 13th International Workshop on Graph Computation Models by Chris Poskitt on February 12, 2022 (edited on February 15, 2022)
iFM 2022 (Integrated Formal Methods): Extended deadlines by Diego Marcilio on February 8, 2022
Final Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity by Juan Fumero on October 5, 2021
ECOOP 2022: Call for Papers by Carolin Brandt on September 10, 2021
Call For Participation - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity by Juan Fumero on September 10, 2021
Certified Programs and Proofs (CPP) 2022: Final Call for Papers by Andrei Popescu on August 18, 2021
ACM HSCC 2022 Call for Papers by Nicola Paoletti on August 4, 2021
Call for participation: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21) and the 35th European Conference on Object-Oriented Programming (ECOOP'21) by Lisa Nguyen Quang Do on July 2, 2021
Certified Programs and Proofs (CPP) 2022: Call for Papers by Andrei Popescu on June 14, 2021
MFPS 2021 - Deadline Extension and Invited Speakers by Ana Sokolova on June 6, 2021
Call For Contributions (Second Call) - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity by Juan Fumero on April 15, 2021
FMICS 2021: 2nd CFP by Anastasia Mavridou on April 7, 2021
Call For Contributions - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity by Juan Fumero on March 9, 2021