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
-
ICLP/LPNMR 2024 Doctoral Consortium Deadline Extended
-
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
-
PhD Position in Accountable Usage Control for Distributed Data Processing Systems
-
Register Now: European Informatics Leaders Summit (ECSS) 2024 in Malta
-
ICLP 2024: Call for Short Papers, System Demos, etc.
-
Faculty positions at DIKU
-
[VORTEX 2024] extended submission deadline: July 8
-
35th Nordic Workshop on Programming Theory (NWPT)
-
Call for Volunteers : SPLASH'24
-
ICLP & LPNMR DC 2024