Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)
  • Miyamoto, Kenji; Moser, Georg (E-first): Herbrand complexity and the epsilon calculus with equality.
    In: Archive for Mathematical Logic. (DOI) (Weblink)

Projekte

  • Frontull, Samuel; Hell, Tobias Josef: Maschinelle Übersetzung für die ladinische Sprache.
    Istitut Ladin Micurà de rü
    01.09.2021 - 31.08.2024

  • Moser, Georg: AUTOSARD. Automated Sublinear Amortised Resource Analysis of Data Structures.
    Fonds zur Förderung der wissenschaftlichen Forschung (FWF), Einzelprojekt
    01.04.2023 - 31.03.2026

Stipendien

  • Moser, Georg: Antrag auf Zuschuss für Veranstaltung International Summer School ISR 2024.
    Leopold-Franzens-Universität Innsbruck - International Relations Office, Staff Incoming
    25.08.2024 - 01.09.2024

  • Moser, Georg: Royal Society International Exchange Award.
    The Royal Society of London for Improving Natural Knowledge
    31.03.2023 - 30.03.2025

Präsentationen auf Kongressen, Tagungen o.Ä.

Konferenzvortrag (auf Einreichung / Anmeldung)
  • Vortragende/r: Kammar, Ohad Co-AutorInnen: Moser, Georg: Semantic foundations of potential-synthesis for expected amortised-cost analysis.
    11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE@ICFP 2023), Seattle, 04.09.2023 (Online). (Weblink)

  • Vortragende/r: Moser, Georg Co-AutorInnen: Avanzini, Martin; Schaper, Michael: Automated Expected Value Analysis of Recursive Programs.
    PLDI 2023 - Programming Language Design and Implementation, Orlando, 20.06.2023. (Weblink)

Vortrag bei Summer-/Winterschool
  • Vortragende/r: Moser, Georg: Cichon's Conjecture and other Fallacies.
    Autumn school "Proof and Computation", Herrsching, 11.09.2023. (Weblink)

Gastvorträge

Gastvortrag
  • Vortragende/r: Moser, Georg: Automated Expected Cost Analysis of Splaying et al.
    Carnegie Mellon University, Pittsburgh, 08.06.2023. (Weblink)

Nach oben scrollen