In early December 2024 the AUTOSARD-project held its kick-off workshop at the Universitätszentrum Obergurgl.
The workshop lasted for five days, and participants had the opportunity to exchange ideas and gather new knowledge surrounding the topic of amortised cost analyses, as well as enjoy the winter wonderland that is the Ötztal.
Organizer
Moser, Georg @ UIBK
Participants
- Atkey, Robert @ University of Strathclyde
- Hetzenberger, Matthias @ TU Wien
- Hochrainer, Jamie @ UIBK
- Kahn, David @ Denison University
- Leutgeb, Lorenz @ Max Planck Institut
- Meitinger, Manuel @ UIBK
- Walch, Armin @ UIBK
- Zuleger, Florian @ TU Wien
In the mornings and evenings participants held talks and gave presentations about their area of expertise, the afternoons were used for discussions, which continued even on the ski lifts.
Schedule
Tuesday, 03.12.2024
| Time | Topic | Presenter |
|---|---|---|
| 15:00 | Opening and Welcome | Georg |
| 16:00 | AUTOSARD: Objectives & Ongoing Work | Georg |
Wednesday, 04.12.2024
| Time | Topic | Presenter |
|---|---|---|
| 09:00 | Formalising Amortised Costa Analysis of Binomial & Fibonacci Heaps in Liquid Haskell | Jamie |
| 10:00 | Randomised Meldable Heaps | Matthias |
| 16:00 | Tutorial on Dependent Types | Robert |
Thursday, 05.12.2024
| Time | Topic | Presenter |
|---|---|---|
| 09:00 | Two Pathways to Potential Functions in RaML | David |
| 10:00 | ATLAS revisited | Armin |
| 17:00 | Towards Automated Amortised Analysis of Rank-balances Leftist Heaps and a Challenge by Schoemakers | Lorenz |
| 18:00 | Polytime Complexity and Dependent Types | Robert |
Friday, 06.12.2024
| Time | Topic | Presenter |
|---|---|---|
| 08:00 | Size-change Principle and Automated Complexity Analysis | Florian |
| 09:00 | Stochastic Analyses | Manuel |
| 10:00 | Verification of Probabilistic Programs: Zip Trees | Matthias |
| 17:00 | Modular Expected Cost Analysis | Georg |
| 18:00 | Open Problems | - |
Saturday, 07.12.2024
Closing comments and departure.
We'd like to extend our gratitude to all participants, project sponsors, and the people at the Universitätszentrum Obergurgl, for making the workshop the success that it was.