Welcome to EAPLS
EAPLS is an association that wants to stimulate research in the area of programming languages and systems.
EAPLS news
- 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 ... »
- Amir Kafshdar Goharshady wins the EAPLS Best Dissertation Award 2020
Jan. 10, 2022 - Amir Kafshdar Goharshady (Institute of Science and Technology Austria) wins the EAPLS Best Dissertation Award 2020 for his dissertation on ... »
Select a category from the menu above to view all announcements in that category, or
add your own announcement.
Recent announcements
-
Call for Workshops: 18th International Federated Conference on Distributed Computing Techniques
-
Postdoc position on design and/or verification of distributed systems at the University of Birmingham
-
Call for Nominations: VCLA International Student Awards
-
SOAP 2023 Call for Papers
-
The 21st International Conference on Business Process Management (BPM) BPM 2023
-
ETAPS 2023 Call For Participation
-
[email protected]'23: Call for Presentations and Post-proceedings Papers
-
Two PhD Positions in AUTOSARD
-
Multiple PhD positions, School of Computing, Newcastle University, UK
-
Multiple faculty positions at Newcastle University, UK
-
DisCoTec 2023
-
PhD Position in Software Technology for Digitalisation in the Shipping Industry
-
Assistant professor position in logic / semantics