Anfang Dezember 2024 fand der Kick-Off Workshop zu unserem AUTOSARD-Projekt am Universitätszentrum Obergurgl statt.
Dieser bot den neun Teilnehmer:innen, sich fünf Tage lang über aktuelle Themen rund um das Projekt und amortisierter Kostenanalyse im winterlichen Ambiente des hinteren Ötztales auszutauschen.
Organisator
Moser, Georg @ UIBK
Teilnehmer:innen
- 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
Vormittags und abends wurden dabei stündlich verschiedene Talks und Präsentation gehalten. In der Nachmittagspause wurde informell weiter über das Gehörte - zum Teil auch im Skilift und auf der Piste - diskutiert.
Programm
Dienstag, 03.12.2024
| Uhrzeit | Thema | Vortragende:r |
|---|---|---|
| 15:00 | Eröffnung und Willkommensworte | Georg |
| 16:00 | AUTOSARD: Objectives & Ongoing Work | Georg |
Mittwoch, 04.12.2024
| Uhrzeit | Thema | Vortragende:r |
|---|---|---|
| 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 |
Donnerstag, 05.12.2024
| Uhrzeit | Thema | Vortragende:r |
|---|---|---|
| 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 |
Freitag, 06.12.2024
| Uhrzeit | Thema | Vortragende:r |
|---|---|---|
| 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 | - |
Samstag, 07.12.2024
Abschlussworte und Verabschiedung.
Wir bedanken uns bei den Vortragenden, den Sponsoren des Projekts, sowie dem Universitätszentrum Obergurgl, für den informativen und gelungenen Workshop.