Welcome to EAPLS
EAPLS is an association that wants to stimulate research in the area of programming languages and systems.
Follow
EAPLS news
- EAPLS PhD Award 2020 Call for Nominations
July 26, 2021 - EAPLS PhD Award 2020 Call for Nominations - 30 August 2020: Deadline for nominations - More at http://eapls.org/pages/phd_award/ »
- The EAPLS Best Paper Award 2021
April 29, 2021 - The EAPLS Best Paper Award 2021 is awarded to the paper "General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and ... »
- Martin Bromberger wins the EAPLS Best Dissertation Award 2019
Dec. 7, 2020 - Martin Bromberger (Saarland University) wins the EAPLS Best Dissertation Award 2019 for his dissertation on "Decision Procedures for Linear Arithmetic.". »
Select a category from the menu above to view all announcements in that category, or
add your own announcement.
Recent announcements
-
RC2022: First Call for Papers
-
Call for Workshops - BPM 2022
-
Permanent research-intensive academic post: Verification and Validation of Autonomous Systems, at the National Robotarium, Edinburgh, UK
-
ACM book on Tony Hoare
-
PLACES 2022 - First Call for Papers
-
CfP for [email protected]'22: 5th Workshop on Models for Formal Analysis of Real Systems
-
CfP for [email protected]'22: 3rd Workshop on Quantitative Aspects of Variant-rich Systems
-
STEADINESS: System Engineering and Dependability in Cyber-Physical Systems
-
FORECAST: Functional Properties and Dependability in Cyber-Physical Systems
-
ENHANCE: Enabling Technologies and Dependability in Cyber-Physical Systems
-
14th International Conference on Mathematics of Program Construction
-
Postdoc position in distributed computing at the IMDEA Software Institute
-
CfP CAiSE22
