List of conferences

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)
ECOOP '20 Call for Artifact Evaluation Committee Members by Manuel Rigger on November 3, 2019
Practical Aspects of Declarative Languages PADL2020: 2nd CFP by Ekaterina Komendantskaya on September 18, 2019
Call for Participation - Formal Aspects of Component Software (FACS 2019), Amsterdam by [Deactivated account] on September 17, 2019
TAPAS 2019 - Call for Participation - Register Early by Sep 10 by [Deactivated account] on September 7, 2019
PADL 2020 (co-allocated with POPL 2020): first call for papers by Ekaterina Komendantskaya on August 12, 2019
16th International Conference on Formal Aspects of Component Software (FACS 2019) by [Deactivated account] on June 20, 2019
GPCE 2019: 2nd Call for Papers - Athens, Greece; October 21-22 by Rodin Aarssen on June 7, 2019
ECSS 2019 - First Call for Participation by [Deactivated account] on June 3, 2019
PPDP'19 Deadline Extension 10th May by Ekaterina Komendantskaya on April 28, 2019
12th Interaction and Concurrency Experience (ICE 2019): 2nd CfP by Anastasia Mavridou on April 18, 2019
Principles and Practice of Declarative Programming by Ekaterina Komendantskaya on April 12, 2019
SAS 2019, EXTENDED Deadline: April 22 Abstract, April 25 Paper and Artifact: 26th Static Analysis Symposium, CfP by Bor-Yuh Evan Chang on April 11, 2019