Welcome to EAPLS
EAPLS is an association that wants to stimulate research in the area of programming languages and systems.
EAPLS news
- 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" »
- New board members
March 19, 2024 - We welcome Benoit Combemale and Stefan Gruner to the EAPLS board! »
- EAPLS Best Dissertation Award 2023: Extended Deadline
Aug. 28, 2023 - The deadline of the EAPLS Best Dissertation Award 2023 has been extended to September 30. More at http://eapls.org/pages/phd_award/ »
Select a category from the menu above to view all announcements in that category, or
add your own announcement.
Recent announcements
-
PhD positions: Verification of AI/ AI Safety
-
DEBT 2024: Call for Papers
-
VORTEX 2024: Call for Papers
-
Postdoctoral position in distributed computing/formal methods at IMDEA, Madrid, Spain
-
Last CfP: Software Technology and Software Development HICSS 2025 Minitrack
-
SYNASC 2024
-
MPLR 2024 - 21st International Conference on Managed Programming Languages & Runtimes (Deadline Extended: May 23, 2024)
-
Call for Papers: Modelling in Automotive Systems and Software Workshop
-
CfP: The Art, Science, and Engineering of Programming Journal volume 9
-
CfP: 24th IEEE International Conference on Source Code Analysis and Manipulation (SCAM 2024)
-
LOPSTR 2024 --Deadline Extended to May 19th
-
DARE 2024: 2nd Summer School on Distributed and Replicated Environments
-
CFP: NSAD 2024 (Deadline: July 7th, 2024)