<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none"><!--P{margin-top:0;margin-bottom:0;} p
{margin-top:0;
margin-bottom:0}
.EmailQuote
{margin-left:1pt;
padding-left:4pt;
border-left:#800000 2px solid}--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p></p>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div>
<p></p>
<div style="color:rgb(33,33,33)"><font size="2"><span style="font-size:10pt">
<div class="PlainText">The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of<br>
Technology), calls for the nomination of authors of outstanding theses and<br>
scientific works in the field of Logic and Computer Science, in the following<br>
two categories:<br>
<br>
-Outstanding Master Thesis Award*<br>
<br>
-Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st<br>
cycle of the Bologna process)*<br>
<br>
*The degree must have been awarded between November 15th, 2018 and December<br>
31st, 2019 (inclusive).<br>
----------------------------------<br>
The main areas of interest are:<br>
----------------------------------<br>
-Computational Logic, covering theoretical and mathematical foundations such<br>
as proof theory, model theory, computability theory, Boolean satisfiability<br>
(SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated<br>
deduction (resolution, refutation, theorem proving), non-classical logics<br>
(substructural logics, multi-valued logics, deontic logics, modal and temporal<br>
logics).<br>
<br>
-Algorithms and Computational Complexity, including design and analysis of<br>
discrete algorithms, complexity analysis, algorithmic lower bounds,<br>
parameterized and exact algorithms, decomposition methods, approximation<br>
algorithms, randomized algorithms, algorithm engineering, as well as<br>
algorithmic game theory, computational social choice, parallel algorithms,<br>
graph drawing algorithms, and distributed algorithms.<br>
<br>
-Databases and Artificial Intelligence, concerned with logical methods for<br>
modeling, storing, and drawing inferences from data and knowledge. This<br>
includes subjects like query languages based on logical concepts (Datalog,<br>
variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema<br>
mappings, information extraction and integration), logic programming,<br>
knowledge representation and reasoning (ontologies, answer-set programming,<br>
belief change, inconsistency handling, argumentation, planning).<br>
<br>
-Verification, concerned with logical methods and automated tools for<br>
reasoning about the behavior and correctness of complex state-based systems<br>
such as software and hardware designs as well as hybrid systems. This ranges<br>
from model checking, program analysis and abstraction to new interdisciplinary<br>
areas such as fault localization, program repair, program synthesis, and the<br>
analysis of biological systems.<br>
<br>
-Formal Methods for Security and Privacy, covering design and analysis<br>
techniques for security and privacy critical systems, such as cryptographic<br>
protocols, software, hardware and so on. The category of formal methods is to<br>
be meant in a broad sense, including related questions in logic, model<br>
checking, static analysis, dynamic monitoring, theorem proving, and artificial<br>
intelligence.<br>
<br>
----------------------------------<br>
Awards<br>
----------------------------------<br>
-The Outstanding Master Thesis Award: 1200 EUR<br>
-The Outstanding Undergraduate Thesis Award: 800 EUR<br>
-The winners will be invited to present their work at an award ceremony in<br>
Vienna.<br>
<br>
----------------------------------<br>
Eligibility<br>
----------------------------------<br>
-The degree must have been awarded between November 15th, 2018 and December<br>
31st, 2019 (inclusive).<br>
-Students who obtained their degree at TU Wien are not eligible.<br>
<br>
----------------------------------<br>
Nomination Requirements<br>
----------------------------------<br>
Nominations must include:<br>
<br>
-A cover page that contains the name and contact details of the nominated<br>
person, the title of the work for which the person is being nominated, award<br>
category, the date on which the degree was awarded, and the name of the<br>
university<br>
<br>
-An English summary of the thesis of maximum 3 pages, excluding references (A4<br>
or letter page size, 11pt font min). The summary must clearly state the main<br>
contribution of the work, its novelty, and its relevance to some of the<br>
aforementioned areas of interest<br>
<br>
-The CV of the nominated person, including publication list (if applicable<br>
<br>
-An endorsement letter from a supervisor or another proposing person. The<br>
letter must clearly state the independent and novel contribution of the<br>
student, and why the proposer believes the student deserves the award. The<br>
endorsement letter may be provided after the submission deadline, and emailed<br>
directly to award (AT) logic-cs.at.<br>
<br>
-The full thesis<br>
<br>
All documents should be in English, with the exception of the thesis. In case<br>
the thesis is in a different language, it must be accompanied by a research<br>
report in English of at least 10 pages that should be sufficient for the<br>
committee to evaluate the merit and quality of the submitted work.<br>
<br>
----------------------------------<br>
Instructions for submitting nominations<br>
----------------------------------<br>
-Nominations should be submitted electronically using the following link to<br>
EasyChair here<br>
-Submissions consist of two pdf files. The first is a single pdf file<br>
containing all documents for the nomination except the full thesis; the<br>
documents should appear in the order they are listed above. The second pdf<br>
file is the full thesis<br>
-The endorsement letter may optionally be sent by email by the endorser and<br>
omitted from the Easychair submission. In this case, please email the letter<br>
as a pdf file, including the name of the nominated person in the subject, to<br>
award (AT) logic-cs DOT at<br>
-The submission must be accompanied by a plain text electronic abstract of the<br>
thesis of at most 400 words, and three keywords.<br>
-The nominated student must be listed as the first and corresponding author in<br>
the submission form.<br>
<br>
----------------------------------<br>
Important dates<br>
----------------------------------<br>
-Submission deadline (extended): April 9, 2020 (anywhere on Earth)<br>
-Notification of decision: end of June 2020<br>
-Award ceremony: TBA<br>
<br>
----------------------------------<br>
Contact<br>
----------------------------------<br>
Please send all inquiries to award@logic-cs.at<br>
<br>
----------------------------------<br>
Website with the information on the award committee, and the previous awardees<br>
----------------------------------<br>
<a href="https://logic-cs.at/vcla-awards-2020">https://logic-cs.at/vcla-awards-2020</a><br>
</div>
</span></font></div>
</div>
</div>
</body>
</html>