Welcome to EAPLS

EAPLS is an association that wants to stimulate research in the area of programming languages and systems.

More about EAPLS.

Follow

EAPLS news

Sending mails is disabled June 25, 2024: Currently, sending emails by the EAPLS site is disabled while we look for a new email provider. »
The EAPLS Best Paper Award 2024 May 24, 2024: The EAPLS Best Paper Award 2024 has been awarded to the paper "Accurately Computing Expected Visiting Times and Stationary Distributions ... »
Aurèle Barrière wins the EAPLS Best Dissertation Award 2023 April 16, 2024: Aurèle Barrière wins the EAPLS Best Dissertation Award 2023 for the dissertation entitled "Formal verification of just-in-time compilation" »

Select a category from the menu above to view all announcements in that category, or add your own announcement.

Recent announcements

PhD and postdoc positions in program verification at Uppsala University
in job vacancies by Eva Darulova, Nov. 5, 2024
Call For Papers: 6th International Workshop on Quantum Software Engineering (Q-SE) -- ICSE 2025 workshop
in workshops by Mohammad Mousavi, Oct. 15, 2024
1st CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
in conferences by Andrei Chis, Oct. 10, 2024
19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025): First Call for Papers
in conferences by George Angelos Papadopoulos, Sept. 22, 2024
Chair position available at CUNY Hunter College in New York
in job vacancies by Raffi Khatchadourian, Sept. 20, 2024
LAST CFP: SAC 2025 -- Programming Languages Track
in conferences by Marco Giunti, Sept. 20, 2024
CFP: SAC 2025 -- Programming Languages Track
in conferences by Marco Giunti, Sept. 9, 2024
PADL 2025: First Call for Papers
in conferences by German Vidal, Sept. 2, 2024
SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC 2025: deadline September 20, 2024
in conferences by Anton Wijs, Aug. 23, 2024

© European Association for Programming Languages and Systems (EAPLS) – webmaster