All announcements

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

The EAPLS Best Paper Award 2021 by Anton Wijs on April 29, 2021
Call For Contributions (Second Call) - SPLASH 2021: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity by Juan Fumero on April 15, 2021
FMICS 2021: 2nd CFP by Anastasia Mavridou on April 7, 2021
DEADLINE EXTENSION: CfP: HEDA'201 - The International Health Data Workshop by Martin Leucker on March 23, 2021
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