Research Areas
Logic and Learning
Reinforcement Learning
Rule Learning
Machine Translations
Program Analysis
Functional Programs and Rewriting
Probabilistic and Quantum Programs
Verification
...and more
Proof Theory
Subrecursive Hierarchies
News
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)
conferences | publications
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.
conferences | publications
Address
University of Innsruck
Technikerstrasse 21a
6020 Innsbruck, Austria