Participants AUTOSARD Mid-Term Workshop 2025

AUTO­SARD Mid-Term Work­shop

One year after the successful kick-off in Obergurgl, project partners and invited researchers will return to the Universitätszentrum Obergurgl to reflect on progress, evaluate intermediate results, and outline the next steps toward advancing amortised cost analyses.

In early December 2024, the AUTOSARD project launched its activities with a five-day kick-off workshop at the  Universitätszentrum Obergurgl. Participants gathered to explore foundational topics in amortised cost analyses, exchange ideas, and build the collaborative spirit that has shaped the project’s first year.

One year later, the project has reached an important milestone: its mid-term phase. To take stock of progress, refine goals, and plan the next stages of research, the AUTOSARD Mid-Term Project Workshop will take place December 8–12, 2025, again at the Universitätszentrum Obergurgl. The workshop will bring together project members and invited researchers to discuss advances, evaluate intermediate results, and strengthen collaborations across teams.

Continuing the tradition of combining intensive research exchange with an inspiring mountain environment, the mid-term workshop will serve as a key moment to assess the path ahead and further shape the project’s long-term impact.

Organizer

Moser, Georg
University of Innsbruck

Participants

Atkey, Robert
University of Strathclyde

Frontull, Samuel
University of Innsbruck

Goetzke, Sven
University of Innsbruck

Hetzenberger, Matthias
TU Wien

Lorenzen, Anton
University of Edinburgh

Moser, Georg
University of Innsbruck

Schaper, Michael
University of Innsbruck

Walch, Armin
University of Innsbruck

Žilinčík, Richard
TU Wien

Zuleger, Florian
TU Wien

AUTOSARD Mid-Term Workshop 2025

Schedule

TimeTopicPresenter
15:00Opening and WelcomeGeorg
16:00AUTOSARD: Milestones & Ongoing WorkGeorg
TimeTopicPresenter
08:30Automated Amostised Analysis of Leftist HeapsArmin
09:30An Introduction to Refinement TypesFlorian
16:00Automating Cost Analysis for Quantum ProgramsMichael
17:00Qurts: Automated Quantum ComputationSven
TimeTopicPresenter
08:30Data-Driven Resource Analysis for Functional ProgramsSamuel
09:30Semantic Cut EliminationRobert
17:00Tutorial on Dependent TypesRobert
TimeTopicPresenter
08:30Reasoning about First-Order LazynessAnton
09:30tbaRichard
16:00Formal Verification of Zip TreesMatthias
17:00Open Problems-

Closing comments and departure.

In the mornings and evenings, participants will hold talks and give presentations about their areas of expertise, while the afternoons will be dedicated to discussions; conversations that will likely continue even on the ski lifts.

We would like to express our sincere gratitude to all participants and project sponsors for contributing to the project’s successful first year, and to the team at the Universitätszentrum Obergurgl for hosting the upcoming workshop.

Nach oben scrollen