Welcome to EAPLS
EAPLS is an association that wants to stimulate research in the area of programming languages and systems.
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
-
Call For Papers: 6th International Workshop on Quantum Software Engineering (Q-SE) -- ICSE 2025 workshop
-
1st CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering
-
19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025): First Call for Papers
-
Chair position available at CUNY Hunter College in New York
-
LAST CFP: SAC 2025 -- Programming Languages Track
-
CFP: SAC 2025 -- Programming Languages Track
-
PADL 2025: First Call for Papers
-
SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC 2025: deadline September 20, 2024