Welcome to EAPLS
EAPLS is an association that wants to stimulate research in the area of programming languages and systems.
EAPLS news
- The EAPLS Best Paper Award 2023
May 4, 2023 - The EAPLS Best Paper Award 2023 has been awarded to the paper "Automatic Alignment in Higher-Order Probabilistic Programming Languages", by ... »
- Call for new board members
March 3, 2023 - Are you the right person to represent the European academic community in Programming Languages and Systems, and help steer it ... »
- Conrad Watt wins the EAPLS Best Dissertation Award 2021
Dec. 22, 2022 - Conrad Watt wins the EAPLS Best Dissertation Award 2021 for his dissertation entitled "Mechanising and evolving the formal semantics of ... »
Select a category from the menu above to view all announcements in that category, or
add your own announcement.
Recent announcements
-
Postdoc position in Formal Methods and AI in Leiden, The Netherlands
-
[Call for Participation] LCTES 2023
-
Assistant Professor in Computer Science at Chalmers University of Technology
-
FOSAD 2023: 22nd Summerschool on Foundations of Security Analysis and Design
-
(ACPN 2023) Advanced Course on Petri Nets 2023
-
Doctoral Researchers / PhD Students / Postdocs in Logic of Autonomous Dynamical Systems
-
Deadline Extension !!! BPM 2023 - Joint Call for Workshops and Forum Papers
-
CAV 2023: Call for participation
-
Postdoc Position on Digitally Enforceable Data Sharing Contracts
-
18th International Conference on integrated Formal Methods - Final Call for Papers
-
19th IEEE eScience Conference (eScience 2023): Last Call for Papers
-
LOPSTR 2023 - Final CFP - Extended paper deadline: June 9, 2023
-
CfP: 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems