List of conferences

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
CfP HLPP 2021: 14th International Symposium on International Symposium on High-Level Parallel Programming and Applications by Frederic Loulergue on March 5, 2021
SAT 2021: CFP by Jesús Giráldez-Cru on February 4, 2021
Call for Papers - MDEML track at Euromicro SEAA 2021 by Andreas Wortmann on January 20, 2021
Call for papers: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'21) by Lisa Nguyen Quang Do on January 14, 2021
Call for workshops: ECOOP and ISSTA 2021 by Lisa Nguyen Quang Do on January 12, 2021
Call for Papers - SPIN 2021 by Alfons Laarman on November 6, 2020
Call for Papers: FormaliSE 2021 by Simon Bliudze on October 26, 2020
MPLR 2020 Call for Participation by Juan Fumero on October 19, 2020
Call for papers: 35th European Conference on Object-Oriented Programming (ECOOP'21) by Lisa Nguyen Quang Do on September 21, 2020
Call For Papers (Final deadline extension: September 6, 2020) by Hoang Nguyen on September 5, 2020
Call for Participation - 12th NASA Formal Methods Symposium (NFM2020) by Anastasia Mavridou on May 5, 2020
SEFM - Deadline extension and move to virtual modality by Jacopo Mauro on April 28, 2020