Welcome to EAPLS
EAPLS is an association that wants to stimulate research in the area of programming languages and systems.
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
-
CFP: SAC 2025 -- Web Engineering Track
-
CFP: SAC 2025 -- Programming Languages Track
-
PADL 2025: First Call for Papers
-
40th International Conference on Logic Programming: Call for Participation
-
CfP: Journal of Computer Languages - Special Issue Celebrating 30 Years of the Lua Programming Language
-
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
-
FM 2024: Call for Participation
-
Register Now: European Informatics Leaders Summit (ECSS) 2024 in Malta
-
ICLP 2024: Call for Short Papers, System Demos, etc.
-
[VORTEX 2024] extended submission deadline: July 8
