All announcements

To filter on a specific category, select the category from the menu above.

Extended Deadline: Modeling Language Engineering and Execution (MLE'20) at MODELS'20 by Andreas Wortmann on July 16, 2020
Oded Padon wins the ETAPS Doctoral Dissertation Award 2020 by Caterina Urban on July 4, 2020
CfP: Modeling Language Engineering and Execution (MLE'20) at MODELS'20 by Andreas Wortmann on July 1, 2020
Call for Participation - 12th NASA Formal Methods Symposium (NFM2020) by Anastasia Mavridou on May 5, 2020
Junior Research Group Leader positions at MPI for Security and Privacy by Catalin Hritcu on April 30, 2020 (edited on June 2, 2020)
5 RA Positions: AI Secure and Explainable by Construction by Ekaterina Komendantskaya on April 28, 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
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