<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;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p></p>

<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;line-height:107%;

font-family:"Segoe UI",sans-serif;color:#212121;background:white;mso-ansi-language:

EN-US">The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of</span><span lang="EN-US" style="font-size:10.0pt;line-height:107%;font-family:

"Segoe UI",sans-serif;color:#212121;mso-ansi-language:EN-US"><br>

<span style="background:white">Technology), calls for the nomination of authors of outstanding theses and</span><br>

<span style="background:white">scientific works in the field of Logic and Computer Science, in the following</span><br>

<span style="background:white">two categories:</span><br>

<br>

<span style="background:white">-Outstanding Master Thesis Award*</span><br>

<br>

<span style="background:white">-Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st</span><br>

<span style="background:white">cycle of the Bologna process)*</span><br>

<br>

<span style="background:white">*The degree must have been awarded between November 15th, 2019 and December</span><br>

<span style="background:white">31st, 2020 (inclusive).</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">The main areas of interest are:</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">-Computational Logic, covering theoretical and mathematical foundations such</span><br>

<span style="background:white">as proof theory, model theory, computability theory, Boolean satisfiability</span><br>

<span style="background:white">(SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated</span><br>

<span style="background:white">deduction (resolution, refutation, theorem proving), non-classical logics</span><br>

<span style="background:white">(substructural logics, multi-valued logics, deontic logics, modal and temporal</span><br>

<span style="background:white">logics).</span><br>

<br>

<span style="background:white">-Algorithms and Computational Complexity, including design and analysis of</span><br>

<span style="background:white">discrete algorithms, complexity analysis, algorithmic lower bounds,</span><br>

<span style="background:white">parameterized and exact algorithms, decomposition methods, approximation</span><br>

<span style="background:white">algorithms, randomized algorithms, algorithm engineering, as well as</span><br>

<span style="background:white">algorithmic game theory, computational social choice, parallel algorithms,</span><br>

<span style="background:white">graph drawing algorithms, and distributed algorithms.</span><br>

<br>

<span style="background:white">-Databases and Artificial Intelligence, concerned with logical methods for</span><br>

<span style="background:white">modeling, storing, and drawing inferences from data and knowledge. This</span><br>

<span style="background:white">includes subjects like query languages based on logical concepts (Datalog,</span><br>

<span style="background:white">variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema</span><br>

<span style="background:white">mappings, information extraction and integration), logic programming,</span><br>

<span style="background:white">knowledge representation and reasoning (ontologies, answer-set programming,</span><br>

<span style="background:white">belief change, inconsistency handling, argumentation, planning).</span><br>

<br>

<span style="background:white">-Verification, concerned with logical methods and automated tools for</span><br>

<span style="background:white">reasoning about the behavior and correctness of complex state-based systems</span><br>

<span style="background:white">such as software and hardware designs as well as hybrid systems. This ranges</span><br>

<span style="background:white">from model checking, program analysis and abstraction to new interdisciplinary</span><br>

<span style="background:white">areas such as fault localization, program repair, program synthesis, and the</span><br>

<span style="background:white">analysis of biological systems.</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">Awards</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">-The Outstanding Master Thesis Award:  1200 EUR</span><br>

<span style="background:white">-The Outstanding Undergraduate Thesis Award: 800 EUR</span><br>

<span style="background:white">-The winners will be invited to present their work at an award ceremony in</span><br>

<span style="background:white">Vienna, if the situation allows</span><br>

<br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">Eligibility</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">-The degree must have been awarded between November 15th, 2019 and December</span><br>

<span style="background:white">31st, 2020 (inclusive).<o:p></o:p></span></span></p>

<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;line-height:107%;

font-family:"Segoe UI",sans-serif;color:#212121;background:white;mso-ansi-language:

EN-US">-Submissions already submitted to the VCLA Awards 2020 cannot be re-submitted.<o:p></o:p></span></p>

<p class="MsoNormal"><span lang="EN-US" style="font-size:10.0pt;line-height:107%;

font-family:"Segoe UI",sans-serif;color:#212121;background:white;mso-ansi-language:

EN-US">-Students who obtained their degree at TU Wien are not eligible.</span><span lang="EN-US" style="font-size:10.0pt;line-height:107%;font-family:"Segoe UI",sans-serif;

color:#212121;mso-ansi-language:EN-US"><br>

<br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">Nomination Requirements</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">Nominations must include:</span><br>

<br>

<span style="background:white">-A cover page that contains the name and contact details of the nominated</span><br>

<span style="background:white">person, the title of the work for which the person is being nominated, award</span><br>

<span style="background:white">category, the date on which the degree was awarded, and the name of the</span><br>

<span style="background:white">university</span><br>

<br>

<span style="background:white">-An English summary of the thesis of maximum 3 pages, excluding references (A4</span><br>

<span style="background:white">or letter page size, 11pt font min). The summary must clearly state the main</span><br>

<span style="background:white">contribution of the work, its novelty, and its relevance to some of the</span><br>

<span style="background:white">aforementioned areas of interest</span><br>

<br>

<span style="background:white">-The CV of the nominated person, including publication list (if applicable)</span><br>

<br>

<span style="background:white">-An endorsement letter from a supervisor or another proposing person. The</span><br>

<span style="background:white">letter must clearly state the independent and novel contribution of the</span><br>

<span style="background:white">student, and why the proposer believes the student deserves the award. The</span><br>

<span style="background:white">endorsement letter may be provided after the submission deadline, and emailed</span><br>

<span style="background:white">directly to award (AT) logic-cs.at.</span><br>

<br>

<span style="background:white">-The full thesis</span><br>

<br>

<span style="background:white">All documents should be in English, with the exception of the thesis. In case</span><br>

<span style="background:white">the thesis is in a different language, it must be accompanied by a research</span><br>

<span style="background:white">report in English of at least 10 pages that should be sufficient for the</span><br>

<span style="background:white">committee to evaluate the merit and quality of the submitted work.</span><br>

<br>

<span style="background:white"> ----------------------------------</span><br>

<span style="background:white">Instructions for submitting self-nominations</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">-Nominations should be submitted electronically by the applicants using the following link to</span><br>

</span><a href="https://easychair.org/conferences/?conf=vclaawards2021"><span lang="EN-US" style="font-size:10.0pt;line-height:107%;font-family:"Segoe UI",sans-serif;

background:white;mso-ansi-language:EN-US">EasyChair here</span></a><span lang="EN-US" style="font-size:10.0pt;line-height:107%;font-family:"Segoe UI",sans-serif;

color:#212121;mso-ansi-language:EN-US"><br>

<span style="background:white">-Submissions consist of two pdf files. The first is a single pdf file</span><br>

<span style="background:white">containing all documents for the nomination except the full thesis; the</span><br>

<span style="background:white">documents should appear in the order they are listed above. The second pdf</span><br>

<span style="background:white">file is the full thesis</span><br>

<span style="background:white">-The endorsement letter may optionally be sent by email by the endorser and</span><br>

<span style="background:white">omitted from the Easychair submission. In this case, please email the letter</span><br>

<span style="background:white">as a pdf file, including the name of the nominated person in the subject, to</span><br>

<span style="background:white">award (AT) logic-cs DOT at</span><br>

<span style="background:white">-The submission must be accompanied by a plain text electronic abstract of the</span><br>

<span style="background:white">thesis of at most 400 words, and three keywords.</span><br>

<span style="background:white">-The nominated student must be listed as the only author in</span><br>

<span style="background:white">the submission form.</span><br>

<br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">Important dates</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">-Submission deadline: April 30th, 2021 (anywhere on Earth)</span><br>

<span style="background:white">-Notification of decision: After July 15th, 2021</span><br>

<span style="background:white">-Award ceremony: Depending on the COVID-19 situation</span><br>

<br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">Contact</span><br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">Please send all inquiries to award@logic-cs.at</span><br>

<br>

<span style="background:white">----------------------------------</span><br>

<span style="background:white">Website with the information on the award committee, and the previous awardees</span><br>

<span style="background:white">----------------------------------</span><br>

</span><a href="https://logic-cs.at/vcla-international-student-awards-2021"><span lang="EN-US" style="mso-ansi-language:EN-US">https://logic-cs.at/vcla-international-student-awards-2021</span></a><span lang="EN-US" style="mso-ansi-language:EN-US">

<o:p></o:p></span></p>

<p class="MsoNormal"><span lang="EN-US" style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>

<p class="MsoNormal"><span lang="EN-US" style="mso-ansi-language:EN-US"><o:p> </o:p></span></p>

<p class="bodytext" style="margin-top:0cm;margin-right:0cm;margin-bottom:8.0pt;

margin-left:0cm;background:white">

<span style="font-size:11.0pt;font-family:

"Calibri",sans-serif;color:black"><o:p> </o:p></span></p>

<p class="bodytext" style="margin-top:0cm;margin-right:0cm;margin-bottom:8.0pt;

margin-left:0cm;background:white">

<span style="font-size:11.0pt;font-family:

"Calibri",sans-serif;color:black"><o:p> </o:p></span></p>

<div id="Signature">

<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">

<p class="MsoNormal"><br>

</p>

<p></p>

</div>

</div>

</div>

</body>

</html>