From owner-freebsd-embedded@freebsd.org Wed Jul 15 12:44:28 2020 Return-Path: Delivered-To: freebsd-embedded@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 14A41365050 for ; Wed, 15 Jul 2020 12:44:28 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from secgw1.intern.tuwien.ac.at (secgw1.intern.tuwien.ac.at [IPv6:2001:629:1005:30::71]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 4B6HBx6CFpz4YWy for ; Wed, 15 Jul 2020 12:44:25 +0000 (UTC) (envelope-from mihaela.rozman@tuwien.ac.at) Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 06FCiMYN003166 for ; Wed, 15 Jul 2020 14:44:22 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 886 for ; Wed, 15 Jul 2020 14:44:22 +0200 (CEST) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 06FCiL99003157 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Wed, 15 Jul 2020 14:44:21 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 15 Jul 2020 14:44:22 +0200 Received: from vita (128.131.111.209) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 15 Jul 2020 14:44:21 +0200 From: Mihaela Rozman To: References: In-Reply-To: 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:44:20 +0200 Message-ID: <05b101d65aa5$a93c8df0$fbb5a9d0$@tuwien.ac.at> MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQJE1vl/ibrUc6H4jbrKCjNBSngu7KgrnVtQ Content-Language: de-at X-ClientProxiedBy: mbx13d.intern.tuwien.ac.at (2001:629:1005:30::64) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Rspamd-Queue-Id: 4B6HBx6CFpz4YWy X-Spamd-Bar: / Authentication-Results: mx1.freebsd.org; dkim=none; dmarc=fail reason="No valid SPF, No valid DKIM" header.from=tuwien.ac.at (policy=none); spf=none (mx1.freebsd.org: domain of mihaela.rozman@tuwien.ac.at has no SPF policy when checking 2001:629:1005:30::71) smtp.mailfrom=mihaela.rozman@tuwien.ac.at X-Spamd-Result: default: False [0.06 / 15.00]; ARC_NA(0.00)[]; SUBJECT_ENDS_SPACES(0.50)[]; RCVD_COUNT_FIVE(0.00)[6]; FROM_HAS_DN(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; NEURAL_HAM_LONG(-0.89)[-0.886]; MIME_GOOD(-0.10)[multipart/alternative,text/plain]; TO_DN_NONE(0.00)[]; PREVIOUSLY_DELIVERED(0.00)[freebsd-embedded@freebsd.org]; NEURAL_SPAM_MEDIUM(0.06)[0.059]; RCPT_COUNT_ONE(0.00)[1]; NEURAL_SPAM_SHORT(0.39)[0.391]; RCVD_IN_DNSWL_NONE(0.00)[2001:629:1005:30::71:from]; R_SPF_NA(0.00)[no SPF record]; FROM_EQ_ENVFROM(0.00)[]; R_DKIM_NA(0.00)[]; MIME_TRACE(0.00)[0:+,1:+,2:~]; ASN(0.00)[asn:1853, ipnet:2001:628::/29, country:AT]; RCVD_TLS_LAST(0.00)[]; MID_RHS_MATCH_FROM(0.00)[]; DMARC_POLICY_SOFTFAIL(0.10)[tuwien.ac.at : No valid SPF, No valid DKIM,none] Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Content-Filtered-By: Mailman/MimeDel 2.1.33 X-BeenThere: freebsd-embedded@freebsd.org X-Mailman-Version: 2.1.33 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 15 Jul 2020 12:44:28 -0000 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