Third Edition of the VCLA International Student Awards 2018

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 will open the 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).

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.

Editions VCLA International Student Awards

Available here.

Comments are closed.