TCS @ CAV 2026
Our paper: "Automated Amortised Analysis of Skew Heaps and Leftist Heaps" has been accepted to appear in CAV 2026 (International Conference on Computer Aided Verification)
ATLAS Receives Available and Reusable Badges
Following the acceptance of our paper “Automated Amortised Analysis of Skew Heaps and Leftist Heaps” @ CAV 2026, we are pleased to announce that our artifact has successfully passed the conference’s Artifact Evaluation process and has been awarded both the Available and Reusable badges.
Armin is a Master of Science
Congratulations on completing your Master's degree, Armin!
Samuel at the 8th Forum of European Minority Regions
On 26 and 27 November 2024, the 8th Forum of European Minority Regions took place in Donostia/San Sebastián (Basque Country).
Jamie became Master
Jamie successfully defended her Master thesis and concluded her Master studies
TCS @ ESOP & OOPSLA
Two new papers accepted: "On the Hardness of Analyzing Quantum Programs Quantitatively" will be presented at ESOP, while "Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs" will be presented at OOPSLA.