All announcements

PhD Position in Programming Languages at TU Delft by Casper Bach on March 23, 2021

Call For Contributions - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity by Juan Fumero on March 9, 2021

CfP HLPP 2021: 14th International Symposium on International Symposium on High-Level Parallel Programming and Applications by Frederic Loulergue on March 5, 2021

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