Nov 5, 2021
Nov 1, 2021
Welcome back to Sacha who has returned from a three-months internship with the CodeGuru team at Amazon Web Services.
Oct 3, 2021
A very warm welcome to Andreas Loow, who has just started with us as a Post-Doctoral researcher.
Sep 3, 2021
We are very happy to welcome Caroline Cronjager, a visiting student from Ruhr University Bochum, Germany.
Aug 14, 2021
Philippa Gardner has been announced as one of the recipients of the Spring 2021 Amazon Research Awards (ARA).
ACM Transactions on Programming Languages and Systems (TOPLAS), submitted Jan 2020; accepted 2021., vol.
Proceedings of the 33rd Computer Aided Verification International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Part II, pp. 827–850
Proceedings of the 24th international symposium of Formal Methods (FM21), Beijing, China; November 20-25, 2021
Proceedings of the 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), pp. 31:1–31:23
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’20), June 15–20, 2020, London, UK