List of conferences

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
NFM 2020 Paper Submission Extension by Anastasia Mavridou on December 13, 2019
CfP: 12th NASA Formal Methods Symposium (NFM 2020) by Anastasia Mavridou on December 2, 2019
Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien by Ana Sokolova on November 26, 2019
CFP: First International Workshop on ENgineering Intelligent Applications' Code - ENIAC20 by [Deactivated account] on November 13, 2019 (edited on November 29, 2019)