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
  
  

Scholarships

• 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).