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
-
Call for Participation: SLE 2024 - 17th 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
-
40th International Conference on Logic Programming: Call for Participation
-
SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC 2025: deadline September 20, 2024
-
Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland
-
ICLP 2024/LPNMR 2024: Call for Papers for Workshops and Doctoral Consortium
-
PhD position: Theorem Proving for AI