Theoretical Computer Science

Publications 2021

Contributions to Books / Journals

Proceedings Article (Full Paper)
  • Leutgeb, Lorenz; Moser, Georg; Zuleger, Florian (2021): ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.
    In: Silva, A.; Leino, K. R. M.: Computer Aided Verification. 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 12760)., ISBN 978-3-030-81687-2, pp. 99 - 122. (Web link)

  • Winkler, Sarah; Moser, Georg (2021): Runtime Complexity Analysis of Logically Constrained Rewriting.
    In: Fernández, Maribel: Logic-Based Program Synthesis and Transformation. 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings. Cham: Springer Nature., ISBN 978-3-030-68445-7, pp. 37 - 55. (DOI) (Web link)

Proceedings Article (Abstract)
  • Mitterwallner, Fabian; Hochrainer, Jamie; Middeldorp, Aart (2021): CoCo 2021 Participant:FORT-h1.1.
    In: Proceedings of the 10th International Workshop of Confluence (IWC 2021). published online / Internetpublikation., p. 57. (Web link)

Lectures 2021

Presentations at Conferences, Symposia, etc.

Conference Lecture (Upon Registration)
  • Lecturer(s): Leutgeb, Lorenz Co-author(s): Moser, Georg; Zuleger, Florian: ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.
    33rd International Conference on Computer-Aided Verification (CAV 2021), Los Angeles (online), 2021-07-22. (Web link)

Guest Lectures

Guest Lecture
  • Lecturer(s): Moser, Georg: Automated Analysis of Splaying et al.
    Università di Bologna / University of Bologna / Universität Bologna, Bologna, 2021-05-18. (Web link)

  • Lecturer(s): Moser, Georg: Herbrand Complexity and Hilbert's Epsilon Calculus.
    The Proof Society, 2021-01-20. (Web link)

Projects, scholarships and other third-party funds 2021

Research Projects

  • Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
    Istitut Ladin Micurà de rü
    2021-09-01 - 2024-08-31

  • Moser, Georg: Proof theory for branching quantifiers: CERES and beyond.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
    2018-01-01 - 2021-04-30


  • Nössig, Albert: Inductive Programming and Rule Learning.
    Leopold-Franzens-Universität Innsbruck - Vizerektorat für Forschung, Doktoratsstipendien aus der Nachwuchsförderung der LFU
    2020-05-01 - 2021-04-30

Academic Activities and Achievements 2021

Awards and Honours

  • Frontull, Samuel: Eduard Wallnöfer Preis 2021 - Anerkennungspreis (2021).

  • Frontull, Samuel: Eduard-Wall­nöfer-Preis (2021). (Web link)

Supervision of Student Theses

  • Moser, Georg: Maringele, Alexander: Instantiation-based First-Order Theorem Proving with Equality (2015 - 2023).

  • Netzer, Tim; De Las Cuevas Millan, Gemma; Moser, Georg: Abbasi, Paria: Approximation techniques for positive matrices (2019 - 2022).