The paper "Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs", co-authored by Alejandro Aguirre, Philipp G. Haselwarter, Kwing Hei Li, and Lars Birkedal, along with their collaborators from New York University (NYU), has been selected as a distinguished paper at this year's International Conference on Functional Programming (ICFP'24).

Congratulations to Professor Lars Birkedal and collaborators who will be presented with the 2023 Alonzo Church Award for their outstanding contributions to Logic and computation with the design and implementation of Iris, a higher-order concurrent separation logic framework. The Award will be presented at the 50th EATCS International Colloquium on Automata, Languages and Programming (ICALP 2023) in Germany this summer.

Congratulations to Professor and Villum Investigator Lars Birkedal, who has been awarded the prestigious ERC Advanced Grant for the research project CHORDS (Compositional Higher-Order Reasoning about Distributed Systems). The ERC Advanced Grant is one of the most competitive and highly regarded research grants in Europe, and it recognizes outstanding researchers who have demonstrated exceptional achievements in their field. The grant provides up to 2.5 million euros in funding for up to five…

We will like to congratulate Jonathan Sterling with his new position as Associate Professor at University of Cambridge. He will start September 2023 in the Programming, Logic and Semantics Group at Department of Computer Science and Technology.
Jonathan is currently a Marie Sklodowska-Curie fellow in the Logic and Semantics research group with a connection to CPV. We will miss him, but wish him all the best in his new postion.