Die diesjährige VCLA-Preisverleihung, öffnet eine externe URL in einem neuen Fenster fand am 26. September im Kontaktraum des Campus Gußhaus statt und bildete den Auftakt zum MOSAIC Workshop 2023, öffnet eine externe URL in einem neuen Fenster (Modalities in Substructural Logic II - Theory, Methods and Applications), der von 27.-29. September an der TU Wien abgehalten wird. Nach der Begrüßung der Gäste durch VCLA Co-Chair Agata Ciabattoni stellte der Vorsitzende des Preiskomitees, Robert Ganian, die VCLA International Student Awards vor. Diese Auszeichnungen werden seit dem Jahr 2015 an Studierende aus aller Welt verliehen, die im Bereich Logik und Informatik forschen. Hervorzuheben ist, dass dieses Jahr erstmals beide Kategorien – sowohl der Outstanding Undergraduate Research Award als auch der Outstanding Master Thesis Award – an zwei Informatiker_innen verliehen wurden.

Der Outstanding Undergraduate Research Award ging dieses Jahr an Barbora Šmahlíková (Brno University of Technology), die sich mit der Komplementierung von Büchi-Automaten beschäftigte („Next Generation of Rank-Based Algorithms for Omega Automata”). Die junge Informatikerin kann sich damit nach dem Preis der tschechischen Regierung für begabte Student_innen 2022 über eine weitere Auszeichnung freuen. Das knappe Rennen um den Outstanding Master Thesis Award konnte Lydia Blümel (Universität Leipzig, jetzt Doktorat an der FernUniversität in Hagen) mit „Defining Defense in Abstract Argumentation from Scratch – A Generalizing Approach” für sich entscheiden. Darin entwickelte Blümel eine allgemeine Darstellungsform von Semantiken für Abstrakte Argumentations-Frameworks, die auf einer Operator-Schreibweise für die zentralen Konzepte von Angriff und Verteidigung basiert. Auch der Zweitplatzierte in dieser Kategorie, Vitor Rodrigues Greati (Universidade Federal do Rio Grande do Norte, nun Doktorat an der Reichsuniversität Groningen) präsentierte seine Arbeit „Hilbert-Style Formalism for Two-Dimensional Notions of Consequence”, die bei der Jury ebenfalls großen Anklang gefunden hatte. Die Arbeiten aller Preisträger stehen auf der Website des VCLA, öffnet eine externe URL in einem neuen Fenster zum Download bereit.

Die Verleihung des Helmut-Veith-Stipendiums eröffnete Georg Weissenbacher, der nicht nur im Vorstand des VCLA mitwirkt, sondern auch mit dem verstorbenen Helmut Veith befreundet war. Da Veith als starker Fürsprecher und Mentor für Frauen in der Informatik galt, ist es dem VCLA ein großes Anliegen, diese wichtige Aufgabe in seinem Namen fortzusetzen. Das Stipendium wurde im Jahr 2016 ins Leben gerufen (erste Verleihung im März 2017) und wurde somit heuer bereits zum siebenten Mal vergeben. Der scheidende Vizerektor für Studium und Lehre, Kurt Matyas, freute sich bekanntzugeben, dass das Helmut-Veith-Stipendium nun jedes Jahr von der TU Wien finanziert werden wird (bisher erfolgte die Finanzierung gemeinsam mit dem Wolfgang Pauli Institut). Anschließend überreichte er die Urkunde an die diesjährige Gewinnerin, Alina Ehart aus Kärnten. Ehart studierte Angewandte Informatik an der Alpen-Adria-Universität Klagenfurt und konnte ihr Bachelorstudium dank der Anrechnung von Lehrveranstaltungen aus ihrer Ausbildung an der HTBLuVA Villach in nur fünf Semestern abschließen. Ihr Studium finanzierte sie mit Ski-, Snowboard- und Kletterunterricht sowie als Verkäuferin im Sporthandel; ihre Bachelorarbeit verfasste sie im Auftrag eines Unternehmens zum Thema „Machine-Learning-supported User Entity Behavior Analysis“.

Das schöne Wetter erlaubte allen Teilnehmer_innen einen angenehmen Ausklang der Veranstaltung mit Getränken und italienischen Leckereien auf der Terrasse des Kontaktraums. Das VCLA bedankt sich für das rege Interesse und freut sich auf weitere Preisverleihungen in den kommenden Jahren!
 

Über die VCLA International Student Awards

Die VCLA International Student Awards, öffnet eine externe URL in einem neuen Fenster werden seit dem Jahr 2015 an Studierende aus aller Welt verliehen, die im Bereich Logik und Informatik forschen. Die Gewinner_innen erhalten ein Preisgeld (EUR 1.200 für die beste Masterarbeit bzw. EUR 800 für die beste Bachelorarbeit) und dürfen ihre siegreichen Arbeiten im Zuge einer Veranstaltung in Wien präsentieren.

Über das Helmut-Veith-Stipendium

Das Helmut-Veith-Stipendium, öffnet eine externe URL in einem neuen Fenster wird jährlich an besonders begabte und motivierte Studentinnen im Bereich der Informatik vergeben, die eines der englischsprachigen Masterstudien in Informatik an der TU Wien absolvieren (oder dies planen) und einen soliden mathematisch-technischen Hintergrund in mindestens einem der Bereiche haben (oder entwickeln), in denen der österreichische Wissenschaftler Helmut Veith tätig war. Das Stipendium wurde bisher von der TU Wien und dem Wolfgang Pauli Institut (WPI) gemeinsam finanziert und wird ab diesem Jahr zur Gänze von der TU Wien übernommen.

Das Helmut-Veith-Stipendium ist dem Andenken an Helmut Veith (1971-2016) gewidmet, einem herausragenden Informatiker, der in den Bereichen Logik in der Informatik, computergestützte Verifikation, Software Engineering und Computersicherheit tätig war. Helmut Veith, der im März 2016 auf tragische Weise verstorben ist, war ein starker Fürsprecher und Mentor für Frauen in der Informatik.

Über das Vienna Center for Logic and Algorithms

Das Vienna Center for Logic and Algorithms, öffnet eine externe URL in einem neuen Fenster (VCLA) ist ein Kompetenzzentrum für Algorithmen und Logik an der Fakultät für Informatik der Technischen Universität Wien. Es wurde 2011 ins Leben gerufen, um das Bewusstsein für die Bedeutung von Logik und Algorithmen zu schärfen – sowohl in der wissenschaftlichen als auch in der breiten Öffentlichkeit.