All announcements

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

TERMGRAPH 2020: 2nd Call for papers by Patrick Bahr on April 3, 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

TERMGRAPH 2020: Call for papers by Patrick Bahr on February 25, 2020

LangDev'20 Call for Talk Proposals by Andreas Wortmann on February 19, 2020

EAPLS Support for Workshops by Dimitris Kolovos on February 10, 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

The Cornell, Maryland, Max Planck Pre-doctoral Research School 2020 by Maria Christakis on January 17, 2020

Informatics Europe Higher Education Data Portal by franziska_hauffe on January 10, 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

Christian Hensel (RWTH Aachen University) wins EAPLS PhD Dissertation Award 2018 by Andreas Wortmann on December 11, 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

Tenure-Track Faculty Positions at the MPIs for Informatics, Software Systems, and Security & Privacy by Maria Christakis on October 16, 2019

CFP: 18th Belgium-Netherlands Software Evolution Workshop - BENEVOL 2019 by [Deactivated account] on September 20, 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