List of EAPLS news - page 2
- 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.
- Christian Hensel (RWTH Aachen University) wins EAPLS PhD Dissertation Award 2018
The EAPLS Best Ph.D. Dissertation Award 2018 has been won by Dr. Christian Hensel (RWTH Aachen University) for his dissertation on "The Probabilistic Model Checker Storm – Symbolic Methods for Probabilistic Model Checking".
