Call for Nominations: VCLA International Student Awards 2021

by Alexandra Traxler, March 23, 2021

The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding bachelor and master theses in the field of Logic and Computer Science, whose degrees were conferred between November 15th, 2019 and December 31st, 2020 (inclusive).
The awardees will receive cash prizes from the award fund of 2000 EUR and an invitation to present their theses in Vienna, if the situation allows.
The main areas of interest are: Computational Logic, Algorithms and Computational Complexity, Databases and Artificial Intelligence, Verification.

Submission deadline: April 30, 2021 (anywhere on Earth)

The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of
Technology), calls for the nomination of authors of outstanding theses and
scientific works in the field of Logic and Computer Science, in the following
two categories:

-Outstanding Master Thesis Award*

-Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st
cycle of the Bologna process)*

*The degree must have been awarded between November 15th, 2019 and December
31st, 2020 (inclusive).
----------------------------------
The main areas of interest are:
----------------------------------
-Computational Logic, covering theoretical and mathematical foundations such
as proof theory, model theory, computability theory, Boolean satisfiability
(SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated
deduction (resolution, refutation, theorem proving), non-classical logics
(substructural logics, multi-valued logics, deontic logics, modal and temporal
logics).

-Algorithms and Computational Complexity, including design and analysis of
discrete algorithms, complexity analysis, algorithmic lower bounds,
parameterized and exact algorithms, decomposition methods, approximation
algorithms, randomized algorithms, algorithm engineering, as well as
algorithmic game theory, computational social choice, parallel algorithms,
graph drawing algorithms, and distributed algorithms.

-Databases and Artificial Intelligence, concerned with logical methods for
modeling, storing, and drawing inferences from data and knowledge. This
includes subjects like query languages based on logical concepts (Datalog,
variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema
mappings, information extraction and integration), logic programming,
knowledge representation and reasoning (ontologies, answer-set programming,
belief change, inconsistency handling, argumentation, planning).

-Verification, concerned with logical methods and automated tools for
reasoning about the behavior and correctness of complex state-based systems
such as software and hardware designs as well as hybrid systems. This ranges
from model checking, program analysis and abstraction to new interdisciplinary
areas such as fault localization, program repair, program synthesis, and the
analysis of biological systems.
----------------------------------
Awards
----------------------------------
-The Outstanding Master Thesis Award:  1200 EUR
-The Outstanding Undergraduate Thesis Award: 800 EUR
-The winners will be invited to present their work at an award ceremony in
Vienna, if the situation allows

----------------------------------
Eligibility
----------------------------------
-The degree must have been awarded between November 15th, 2019 and December
31st, 2020 (inclusive).

-Submissions already submitted to the VCLA Awards 2020 cannot be re-submitted.

-Students who obtained their degree at TU Wien are not eligible

----------------------------------
Important dates
----------------------------------
-Submission deadline: April 30th, 2021 (anywhere on Earth)
-Notification of decision: After July 15th, 2021
-Award ceremony: Depending on the COVID-19 situation

----------------------------------
Website with the information on nomination requirements and the award committee
----------------------------------
https://logic-cs.at/vcla-international-student-awards-2021