List of EAPLS news
- EAPLS Best Dissertation Award 2023: Extended Deadline
The deadline of the EAPLS Best Dissertation Award 2023 has been extended to September 30.
More at http://eapls.org/pages/phd_award/
- EAPLS Best Dissertation Award 2023: Call for Nominations (Deadline August 31)
EAPLS Best Dissertation Award 2023: Call for Nominations
URL: http://eapls.org/pages/phd_award/
The European Association for Programming Languages and Systems (EAPLS) has established a Best DissertationAward in the research area of programming languages and systems. The award will go to the PhD student who in the previous period has made the most original and influential contribution to the area. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole.
- EAPLS Best Dissertation Award 2023: Call for Nominations
URL: http://eapls.org/pages/phd_award/
The European Association for Programming Languages and Systems (EAPLS) has established a Best Dissertation Award in the research area of programming languages and systems. The award will go to the PhD student who in the previous period has made the most original and influential contribution to the area. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole.
- 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".