List of conferences

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
16th International Conference on Formal Aspects of Component Software (FACS 2019) by [Deactivated account] on April 9, 2019
Call for Posters - ECOOP 2019 by Lisa Nguyen Quang Do on March 28, 2019
GPCE 2019: 1st Call for Papers - Athens, Greece; October 21-22 by Rodin Aarssen on March 14, 2019
Call for Tutorial Proposals - MODELS 2019 by Andreas Wortmann on February 6, 2019
SPLASH 2019: 1st Combined Call for Contributions by Aggelos Biboudis on January 22, 2019
23rd International Systems and Software Product Line Conference by cquinton on January 10, 2019
JELIA 2019 - DEADLINES EXTENDED (Abstract 2 Dec. - Submission 7 Dec.) by cfp on November 28, 2018
[Programming 2019] Call for papers by Guido Salvaneschi on September 8, 2018
First Call for Paper MiDOS @ SAC 2019 by Saverio Giallorenzo on July 10, 2018