From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 5DB9D5D4 for ; Wed, 15 Jul 2020 12:34:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,355,1589234400"; d="scan'208,217";a="459836764" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jul 2020 14:34:13 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7D1FAE0BD3; Wed, 15 Jul 2020 14:34:13 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BE7EBE0BCE for ; Wed, 15 Jul 2020 14:34:08 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mihaela.rozman@tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman@tuwien.ac.at; spf=None smtp.helo=postmaster@secgw1.intern.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3A1Evi9haDbxbLOXFwGUSPgVv/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZrsy8bnLW6fgltlLVR4KTs6sC17OI9fu6EjFfqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba5zIRmsowjdqMYajItgJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lKJVrgyvpxN93oDaboKbO/Vica3aYdMXXnBOUtpeVyFZHI+w?= =?us-ascii?q?c4kCAuwcNuhYtYn9oF4OoAO5CwmtBOPg0CFHhnvs0qYnz+ohFgDH3Ak6ENIIrX?= =?us-ascii?q?/Zq9D1NKYSUe+v0qbIyS/MY+lM2Tf66YnIdwouofeXULJsbMrQx0gvGB3DjlmK?= =?us-ascii?q?s4PqIymZ2f4Rs2WC6edrSO2ghXI9pQ5rvjiv2tkjipPPho8N11zK+yV0zogoKN?= =?us-ascii?q?GkSEN3fNypHIVeuiyaOIZ4TccvTmBrtSs5xbMLpJ+2cScFxpklyBPTd+KLfoiW?= =?us-ascii?q?7hztVOucPTF1j29rdrK4gha960mgyuvkW8mqzFlKqjBKnsPWuXAR0RHY98uJSu?= =?us-ascii?q?Nl80u8xzqC1Brf5vxKLEwoj6bWJYItzqQym5YOqUjPAzH6lUbsgKOLeEgo5/Kk?= =?us-ascii?q?5/n6brn7vJOQKZN4hwX4P68zgMKwG/44PRILX2WD+eSzyrnj/UrhTbVRkPI5jq?= =?us-ascii?q?bZsZ7HKcgBp665BRNV3Zg56xa5FTumzMkYnHcGLF1bfhKLlZLmNE3ULP/iEfez?= =?us-ascii?q?m1WskDF1yPDaJrDtH4vBI3vZnLv8c7tx91RQxQQvwdxF5Z9YF6kNIPfpVU/wsN?= =?us-ascii?q?zYAAU5Mwuxw+v/DdV914MeVniRDa+dKqzeq0WI5uUuIumJfoAVvi3wK+Q45//g?= =?us-ascii?q?jH82h1kdcbOz0pQLcny3BOhmL12DYXXwmtcBDXsKvg0mQeP2klKCVDpTa2+2X6?= =?us-ascii?q?I9/TE7FJmrDZzDR4ComLyOxj23HpxQZmBcC1CDC23kd4ueW6REVCXHdshvnD0P?= =?us-ascii?q?WJC/QIsokxiy4lzU0b1ie8/V+iQVsZur7t9n4uTV3UU39Dx9AsCUlXuKXWR9mE?= =?us-ascii?q?sUWiA30aY5qEc7w0vVgvswuOBRCdEGv6ABaQw9L5OJl7UnWeC3YRrIe5KycHjj?= =?us-ascii?q?QtiiBmthHMk8yNAROgB8HcmvlBaFwze1ArIT0bWAQpUooPqFgyrBYv1lwnOD75?= =?us-ascii?q?EPykE8S5ITZ3G7ma9y8U7aDMjAjxfBzvf4ReEnxCfIsVy74y+LtUBcXhR3VPyZ?= =?us-ascii?q?D2wCeUrbq5Lw7QXLU+32BA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DQAgDi9g5fh0cegoBgHgEBCxIMgy0vg?= =?us-ascii?q?UdXMIRfiQGXXIw+AgkBAwEKAQElCAIEAQGEYIF3AhwGBjQTAhABAQUBAQECAQM?= =?us-ascii?q?DBAETAQEBCgsJCCmFYgyCNyKDEgsIAhkKQBkFBz0HAhsjGwIEHgUlgnEBR4E3f?= =?us-ascii?q?gEOjiebeoEyhDoBAwUOGIQTIRaBQCKBFo0BgUw/gRE2giyDSAGBOweDNIJgBLU?= =?us-ascii?q?HKAeBWYEHBIEDBAuNb4pWIYgZlyGFRRicM4ssgzQCBAIJAhQBgWqBejMag10IN?= =?us-ascii?q?hEZDY44HYFxjCFBaAIGAQcBAQMJfBMLAY8mAQE?= X-IPAS-Result: =?us-ascii?q?A0DQAgDi9g5fh0cegoBgHgEBCxIMgy0vgUdXMIRfiQGXXIw?= =?us-ascii?q?+AgkBAwEKAQElCAIEAQGEYIF3AhwGBjQTAhABAQUBAQECAQMDBAETAQEBCgsJC?= =?us-ascii?q?CmFYgyCNyKDEgsIAhkKQBkFBz0HAhsjGwIEHgUlgnEBR4E3fgEOjiebeoEyhDo?= =?us-ascii?q?BAwUOGIQTIRaBQCKBFo0BgUw/gRE2giyDSAGBOweDNIJgBLUHKAeBWYEHBIEDB?= =?us-ascii?q?AuNb4pWIYgZlyGFRRicM4ssgzQCBAIJAhQBgWqBejMag10INhEZDY44HYFxjCF?= =?us-ascii?q?BaAIGAQcBAQMJfBMLAY8mAQE?= X-IronPort-AV: E=Sophos;i="5.75,355,1589234400"; d="scan'208,217";a="354476237" X-MGA-submission: =?us-ascii?q?MDEQhONKjEQiR/Y9D+a2AqT9j8xG67dS2tJEQn?= =?us-ascii?q?Hn8P6Lv+lXpBLgNRs1Xgop62VWNKewxXIVXrsmCCwtvc+PkacHb3AIDv?= =?us-ascii?q?/eCQb64expnikV2x4vQIZQELGU0cMNtojFGC16zPahR0lR+xHXzcdAeh?= =?us-ascii?q?KDrIESGHDhkdSJh05tFAVRAw=3D=3D?= Received: from secgw1.intern.tuwien.ac.at ([128.130.30.71]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Jul 2020 14:34:07 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 06FCXwwF026482; Wed, 15 Jul 2020 14:33:58 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 396; Wed, 15 Jul 2020 14:33:57 +0200 (CEST) Received: from edge13a.intern.tuwien.ac.at (edge13a.intern.tuwien.ac.at [IPv6:2001:629:1005:30::66]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 06FCXtmt026435 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL); Wed, 15 Jul 2020 14:33:55 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13a.intern.tuwien.ac.at (2001:629:1005:30::66) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 15 Jul 2020 14:33:54 +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:33:54 +0200 From: Mihaela Rozman To: References: In-Reply-To: Date: Wed, 15 Jul 2020 14:33:53 +0200 Message-ID: <01e201d65aa4$3395ccc0$9ac16640$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_01E3_01D65AB4.F71FAE30" X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQJE1vl/ibrUc6H4jbrKCjNBSngu7KgrmlUw Content-Language: de-at X-ClientProxiedBy: mbx13a.intern.tuwien.ac.at (2001:629:1005:30::61) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) Subject: [Caml-list] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020 Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 18194 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: ------=_NextPart_000_01E3_01D65AB4.F71FAE30 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 ------=_NextPart_000_01E3_01D65AB4.F71FAE30 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

The Vienna Center for Logic and Algorithms of = TU Wien (VCLA)

has the pleasure to announce =

the recipients of the VCLA International = Student Awards for Outstanding Master and Undergraduate Theses in Logic = and Computer Science.

 

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:

 

***OUTSTANDING MASTER THESIS = AWARD***

 

Karolina = Okrasa (Poland Warsaw University of Technology)

Thesis: = Complexity of variants of graph homomorphism problem in selected graph = classes

Under the supervision of Pawe=C5=82 = Rz=C4=85=C5=BCewski

http://www.vcla.at/2020/07/fifth-edition-of-the-v= cla-international-student-awards-2020/

 

***OUTSTANDING UNDERGRADUATE RESEARCH = AWARD***

 

Antonin = Callard (France ENS Paris-Saclay)

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-v= cla-international-student-awards-2020/

 

=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:

=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)

 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D

(SELF-)NOMINATIONS

=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  

 

=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 =

*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

 

=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

------=_NextPart_000_01E3_01D65AB4.F71FAE30--