List of EAPLS news


The EAPLS Best Paper Award 2023
by Anton Wijs, May 4, 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
by Anton Wijs, March 3, 2023

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
by Maribel Fernandez, Dec. 22, 2022

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
by Anton Wijs, April 20, 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
by Maribel Fernandez, Jan. 10, 2022

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
by Andreas Wortmann, July 26, 2021

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
by Anton Wijs, April 29, 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
by Andreas Wortmann, Dec. 7, 2020

Martin Bromberger (Saarland University) wins the EAPLS Best Dissertation Award 2019 for his dissertation on "Decision Procedures for Linear Arithmetic.".

« previous12345next »