From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10253 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Mihaela Rozman Newsgroups: gmane.science.mathematics.categories Subject: Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020 Date: Wed, 15 Jul 2020 14:34:06 +0200 Message-ID: Reply-To: Mihaela Rozman Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10881"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Fri Jul 17 02:10:23 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jwDxG-0002j3-S4 for gsmc-categories@m.gmane-mx.org; Fri, 17 Jul 2020 02:10:22 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:60264) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jwDx7-0001Sf-DZ; Thu, 16 Jul 2020 21:10:13 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jwDwZ-00050n-Td for categories-list@rr.mta.ca; Thu, 16 Jul 2020 21:09:39 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10253 Archived-At: 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]