Welcome to EAPLS

EAPLS is an association that wants to stimulate research in the area of programming languages and systems.

More about EAPLS.

Follow

RSS Feed LinkedIn®

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 ... »
Older news »

EAPLS Members

Sign up as a new member (it's free!), or login now.

Select a category from the menu above to view all announcements in that category, or add your own announcement.

Recent announcements