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 Award Ceremony at FLoC Olympic Games with Dana Scott
The award ceremony will take place on July 14, at FLoC Olympic Games.
Start: 14:00 (2 pm)
Venue: Lecture Theater 3 (Math Institute)
The VCLA International Student Awards 2018 will be presented to the winners by Dana Scott, at the invitation of Agata Ciabattoni (TU Wien, VCLA Chair).
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).
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).
- 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 person or in a digital format.
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