caml-list - the Caml user's mailing list
 help / Atom feed
From: Mihaela Rozman <mihaela.rozman@tuwien.ac.at>
To: <office@vcla.at>
Subject: [Caml-list] 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:33:53 +0200
Message-ID: <01e201d65aa4$3395ccc0$9ac16640$@tuwien.ac.at> (raw)

[-- Attachment #1: Type: text/plain, Size: 3608 bytes --]

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ł Rzążewski

http://www.vcla.at/2020/07/fifth-edition-of-the-vcla-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-vcla-international-student-awards-2020/ 

 

=============

AWARDS

=============

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: 

• Outstanding Master Thesis Award:  1200 EUR

• Outstanding Undergraduate Research (Bachelor) Award:  800 EUR

• The awardees will be invited to present their work at an award ceremony (TBA due to COVID -19)

 

===================

(SELF-)NOMINATIONS 

===================

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  

 

===================

FORMER AWARDEES

===================

*Martín Muñoz (Pontificia Universidad Católica de Chile): Descriptive Complexity for Counting Complexity Classes

*Alexej Rotar (TU München): The Satisfiability Problem for Fragments of PCTL 

*Tomáš 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örre (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ñoz (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

 

===========================

VCLA AWARD COMMITTEE 2020

===========================

*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


[-- Attachment #2: Type: text/html, Size: 11414 bytes --]

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='01e201d65aa4$3395ccc0$9ac16640$@tuwien.ac.at' \
    --to=mihaela.rozman@tuwien.ac.at \
    --cc=office@vcla.at \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox