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).
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. The award ceremony will take place on July 14, at FLoC Olympic Games Ceremony.
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.