Welcome to EAPLS
EAPLS is an association that wants to stimulate research in the area of programming languages and systems.
EAPLS news
- EAPLS PhD Award 2018: Call for Nominations
June 16, 2019 - The European Association for Programming Languages and Systems (EAPLS) has established a Best Dissertation Award in the international research area ... »
- Call for new board member
May 27, 2019 - EAPLS is seeking a new board member for the next three years. Are you a member of the European academic ... »
- EAPLS Best Paper Award 2019
April 16, 2019 - The EAPLS Best Paper Award 2019 is awarded to the paper "Extended call-by-push-value: reasoning about effectful programs and evaluation order", ... »
Select a category from the menu above to view all announcements in that category, or
add your own announcement.
Recent announcements
-
CFP - ModComp'19 - The 6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering
-
CfP: integrated Formal Methods (iFM) 2019 - deadline extended
-
16th International Conference on Formal Aspects of Component Software (FACS 2019)
-
8th International Conference on Model-Driven Engineering and Software Development
-
Postdoctoral position on database programming languages at Edinburgh LFCS
-
Postdoctoral positions at the GSSI L'Aquila Italy on modelling and verification for cyber-physical and smart systems
-
Postdoc position on quantified effects at Reykjavik University
-
Postdoc/PhD positions at TU Kaiserslautern in Computational Logic
-
Postdoc on verification of networks (Aalborg University, Denmark)
-
EAPLS PhD Award 2018: Call for Nominations
-
Research Assistant / PhD Student / Post-Doc
-
Workshop on Model-Based Design of Cyber-Physical Systems (CyPhy’19)
-
CFP for APLAS'19 (Bali, Indonesia)
