All announcements

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

Call for papers: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'21) by Lisa Nguyen Quang Do on February 19, 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 expressions of interest at the University of Venice by pietroferrara on January 11, 2021
Martin Bromberger wins the EAPLS Best Dissertation Award 2019 by Andreas Wortmann on December 7, 2020
Call for Papers - SPIN 2021 by Alfons Laarman on November 6, 2020
Virtual Machines and Language Implementations (VMIL) 2020: Call For Participation by Juan Fumero on October 27, 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
VMIL 2020 Deadline Extension by Juan Fumero on September 8, 2020
Call For Papers (Final deadline extension: September 6, 2020) by Hoang Nguyen on September 5, 2020
Postdoc position on Formal Methods and Testing @ TU Graz, Austria by Bernhard Aichernig on September 3, 2020
Postdoctoral Researcher and PhD Student Positions Available by Eric Koskinen on September 2, 2020
Summer School on Programming Languages and Verification by Ekaterina Komendantskaya on July 25, 2020
EAPLS Best Paper Award 2020 by Anton Wijs on July 23, 2020
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