List of EAPLS news
- The EAPLS Best Paper Award 2023
The EAPLS Best Paper Award 2023 has been awarded to the paper "Automatic Alignment in Higher-Order Probabilistic Programming Languages", by Daniel Lundén, Gizem Çaylak, Fredrik Ronquist and David Broman.
- Call for new board members
Are you the right person to represent the European academic community in Programming Languages and Systems, and help steer it into new directions? Then here is your chance: become board member of the EAPLS.
- Conrad Watt wins the EAPLS Best Dissertation Award 2021
Conrad Watt wins the EAPLS Best Dissertation Award 2021 for his dissertation entitled "Mechanising and evolving the formal semantics of WebAssembly: the Web’s new low-level language"
- The EAPLS Best Paper Award 2022
The EAPLS Best Paper Award 2022 is awarded to the paper "Fast and Reliable Formal Verification of Smart Contracts with the Move Prover" by David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu and Emma Zhong.
- Amir Kafshdar Goharshady wins the EAPLS Best Dissertation Award 2020
Amir Kafshdar Goharshady (Institute of Science and Technology Austria) wins the EAPLS Best Dissertation Award 2020 for his dissertation on "Parameterized and Algebro-geometric Advances in Static Program Analysis".
- EAPLS PhD Award 2020 Call for Nominations
EAPLS PhD Award 2020 Call for Nominations
- 30 August 2020: Deadline for nominations
- More at http://eapls.org/pages/phd_award/- The EAPLS Best Paper Award 2021
The EAPLS Best Paper Award 2021 is awarded to the paper "General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond" by Rupak Majumdar, Ramanathan S. Thinniyam and Georg Zetzsche.
- Martin Bromberger wins the EAPLS Best Dissertation Award 2019
Martin Bromberger (Saarland University) wins the EAPLS Best Dissertation Award 2019 for his dissertation on "Decision Procedures for Linear Arithmetic.".