List of conferences

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
CFP: SEFM - International Conference on Software Engineering and Formal Methods by Jacopo Mauro on February 27, 2020
LangDev'20 Call for Talk Proposals by Andreas Wortmann on February 19, 2020
SEFM 2020 - Preliminary Call for Papers by Jacopo Mauro on February 1, 2020
Call for Papers - MDEML track at Euromicro SEAA 2020 by Andreas Wortmann on January 18, 2020
COORDINATION 2020: CfP - Malta, June 15-19 by Simon Bliudze on December 23, 2019