List of EAPLS news - page 2
- 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.".
- EAPLS Best Paper Award 2020
The EAPLS Best Paper Award 2020 is awarded to the paper "An Empirical Study on the Use and Misuse of Java 8 Streams", by Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Baishakhi Ray.
- EAPLS Support for Workshops
EAPLS programme offering financial support to workshops in areas related to programming languages and systems.
