The highly successful third edition of the VCLA International Student Awards was concluded on June 11, 2018.

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 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. See the current call for Helmut Veith Stipend for Female Master´s Students in Computer Science here.

Out of 33 submissions in total, one was selected for the Outstanding Master Thesis Award and one for the Outstanding Undergraduate Research Award by a committee consisting of 17 internationally recognized researchers.

VCLA International Student Awards at FLoC Olympic Games with Dana Scott

The award ceremony opened the FLoC Olympic Games.

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

The VCLA International Student Awards 2018 have been presented to the winners by Dana Scott. Special thanks 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).

Webinar and presentation of the 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).

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.

Tomáš Lamser, Jeremy Liang An Kong, Anna Prianichnikova (VCLA), Dana Scott.

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 VCLA International Student Awards

Available here.