Welcome to EAPLS
EAPLS is an association that wants to stimulate research in the area of programming languages and systems.
Follow
EAPLS news
- 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 ... »
- The EAPLS Best Paper Award 2022
April 20, 2022 - The EAPLS Best Paper Award 2022 is awarded to the paper "Fast and Reliable Formal Verification of Smart Contracts with ... »
Select a category from the menu above to view all announcements in that category, or
add your own announcement.
Recent announcements
-
FedCSIS - Track 5: Software, System and Service Engineering (S3E 2023)
-
FACS 2023 - 1st Call for Papers
-
2nd CfP: VERDI 2023 - 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems
-
Research professorship in security at the software-hardware interface
-
PhD position on Program Analysis for Smart Contracts at the Vienna University of Technology
-
CFP: CGO has two deadlines.
-
Postdoc position on Program Analysis at the Vienna University of Technology
-
EXPRESS/SOS 2023
-
Dates updated - CfP - BPM 2023: The 21st International Conference on Business Process Management (BPM)
-
PPDP 2023 - Preliminary Call for Papers
-
SAS 2023 - First Call for Papers - Deadline: April 24, 2023
-
5th MADEISD Workshop 2023 – Modern Approaches in Data Engineering and Information System Design
-
KES 2023: Invited Session on Interdisciplinary Approaches in Digital Transformation (IADT 2023)
