List of conferences

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
13th Interaction and Concurrency Experience (ICE 2020): 2nd CfP by Anastasia Mavridou on April 20, 2020
Certified Programs and Proofs (CPP) 2021: First Call for Papers by Andrei Popescu on April 17, 2020
CFP SEFM - International Conference on Software Engineering and Formal Methods by Jacopo Mauro on April 7, 2020
VSTTE 2020: Call for papers by Maria Christakis on March 8, 2020