The VCLA International Student Awards acknowledge works which ask innovative questions and meet the highest academic standards for scientific research in the field of Logic and Computer Science (call here). The 2018 award is dedicated to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his  commitment to promoting young talent and promising researchers in these areas.

VCLA International Student Awards at FLoC Olympic Games with Dana Scott

The award ceremony has open the FLoC Olympic Games.

• Start: 14:00 (2 pm), at Lecture Theater 3 (Math Institute)

The VCLA International Student Awards 2018 has been presented to the winners by Dana Scott.

Acknowledgements to Anna Prianichnikova (The coordinator of the LogiCS Doctoral College), and to the organizers of the FLoC Olympic Games Yakir Vizel, CS Technion.

Outstanding Master Thesis Award

Jeremy Liang An Kong (Imperial College London, United Kingdom) for his thesis “MCMAS-Dynamic: Symbolic Model Checking Linear Dynamic Logic” under the supervision of Professor Alessio Lomuscio (Imperial College London, United Kingdom).

Listen to the presentation of his thesis here.

Outstanding Undergraduate Thesis Award

Tomáš Lamser (Masaryk University in Brno, Czech Republic) for his thesis “Algorithmic Analysis of Patrolling Games” under the supervision of Professor Antonín Kučera (Masaryk University in Brno, Czech Republic).

Listen to the presentation of his thesis here (coming soon).

Awards

• The Outstanding Master Thesis Award is accompanied by a prize of € 1200.
• The Outstanding Undergraduate Thesis Award is accompanied by a prize of € 800.
• The winners have been invited to the award ceremony, which is going to take place on July 14, opening the Federated Logic Conference (FLoC) 2018 Olympic Games Ceremony in Oxford.
• The winner shall have the opportunity to present their theses to the FLoC audience in a digital format.

The awards are supported with financial contributions by Wolfgang Pauli Institute – WPI Fellowship.

VCLA International Student Award Committee 2018

The award committee is dedicating the VCLA International Student Awards to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his  commitment to promoting young talent and promising researchers in these areas.

• Federico Aschieri
• Paolo Baldi
• Ezio Bartocci
• Johannes Fichte
• Ekaterina Fokina
• Robert Ganian (committee co-chair)
• Yazmin A. Ibanez-Garcia
• Roman Kuznets
• Bjoern Lellmann
• Nysret Musliu
• Michael Morak
• Martin Nöllenburg
• Sebastian Ordyniak
• Magdalena Ortiz (general chair)
• Revantha Ramanayake (committee co-chair)
• Martin Suda
• Friedrich Slivovsky

Editions of VCLA International Student Awards

Available here.