Date: Wed, 15 Jul 2020 14:44:20 +0200 From: Mihaela Rozman <mihaela.rozman@tuwien.ac.at> To: <freebsd-embedded@freebsd.org> Subject: Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020 Message-ID: <05b101d65aa5$a93c8df0$fbb5a9d0$@tuwien.ac.at>
next in thread | raw e-mail | index | archive | help
The Vienna Center for Logic and Algorithms of TU Wien (VCLA)=20 has the pleasure to announce=20 the recipients of the VCLA International Student Awards for Outstanding = Master and Undergraduate Theses in Logic and Computer Science. =20 The highly successful fifth edition of the VCLA International Student = Awards was concluded in July 2020. The awardees of the 2020 edition of = the VCLA International Student Awards are: =20 ***OUTSTANDING MASTER THESIS AWARD*** =20 Karolina Okrasa (Poland Warsaw University of Technology)=20 Thesis: Complexity of variants of graph homomorphism problem in selected = graph classes=20 Under the supervision of Pawe=C5=82 Rz=C4=85=C5=BCewski http://www.vcla.at/2020/07/fifth-edition-of-the-vcla-international-studen= t-awards-2020/=20 =20 ***OUTSTANDING UNDERGRADUATE RESEARCH AWARD*** =20 Antonin Callard (France ENS Paris-Saclay)=20 Thesis: Topological analysis of represented spaces and computable maps, = cb0 spaces and non-countably-based spaces Under the supervision of Mathieu Hoyrup http://www.vcla.at/2020/07/fifth-edition-of-the-vcla-international-studen= t-awards-2020/=20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D AWARDS =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The annually awarded VCLA Awards are dedicated to the memory of Helmut = Veith, the brilliant computer scientist who tragically passed away in = March 2016, and aim to carry on his commitment to promoting young talent = and promising researchers in these areas. The awardees receive:=20 =E2=80=A2 Outstanding Master Thesis Award: 1200 EUR =E2=80=A2 Outstanding Undergraduate Research (Bachelor) Award: 800 EUR =E2=80=A2 The awardees will be invited to present their work at an award = ceremony (TBA due to COVID -19) =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D (SELF-)NOMINATIONS=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The nominated theses had to be awarded between 15 November 2018 and 31 = December 2019. The 2021 call will be issued in January 2021, for theses = awarded between 15 November 2019 and 31 December 2020: = http://www.vcla.at/vcla-awards =20 =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D FORMER AWARDEES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *Mart=C3=ADn Mu=C3=B1oz (Pontificia Universidad Cat=C3=B3lica de Chile): = Descriptive Complexity for Counting Complexity Classes *Alexej Rotar (TU M=C3=BCnchen): The Satisfiability Problem for = Fragments of PCTL=20 *Tom=C3=A1=C5=A1 Lamser (Masaryk University): Algorithmic Analysis of = Patrolling Games *Jeremy Liang An Kong (Imperial College London): MCMAS-Dynamic: Symbolic = Model Checking Linear Dynamic Logic *Felix D=C3=B6rre (Karlsruhe Institute of Technology): Verification of = Random Number Generators *Valeria Vignudelli (University of Bologna): The Discriminating Power of = Higher-Order Languages: A Process Algebraic Approach *Maximilian Schleich (Oxford University): Learning Regression Models = over Factorised Joins *Pablo Mu=C3=B1oz (University of Chile): New Complexity Bounds for = Evaluating CRPQs with Path Comparisons *Kuldeep S. Meel (Rice University): Sampling Techniques for Boolean = Satisfiability *Luke Schaeffer (University of Waterloo): Deciding Properties of = Automatic Sequences *Sophie Spirkl (University of Bonn): Boolean Circuit Optimization =20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D VCLA AWARD COMMITTEE 2020 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D *Shqiponja Ahmetaj *Ezio Bartocci *Ekaterina Fokina *Robert Ganian, co-chair *Benjamin Kiesl *Martin Lackner *Bjoern Lellmann *Anna Lukina *Laura Nenzi *Johannes Oetsch *Magdalena Ortiz, chair *Revantha Ramanayake, co-chair *Zeynep G. Saribatur *Mantas Simkus *Sebastian Skritek *Friedrich Slivovsky *Max Tschaikowski *Johannes P. Wallner
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?05b101d65aa5$a93c8df0$fbb5a9d0$>