<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="margin-top: 0px; margin-bottom: 0px;" class="">We are pleased to announce that the deadline for the Call for<br class="">Nominations for the VCLA International Student Awards 2021 for<br class="">Outstanding Master and Bachelor Theses in Logic and Computer Science<br class="">has been extended to *May 7, 2021* (Anywhere on Earth). The full,<br class="">updated Call for Applications is available below.</div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class="">The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of<br class="">Technology), calls for the nomination of authors of outstanding theses and<br class="">scientific works in the field of Logic and Computer Science, in the following<br class="">two categories:<br class=""><br class="">-Outstanding Master Thesis Award*<br class=""><br class="">-Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st<br class="">cycle of the Bologna process)*<br class=""><br class="">*The degree must have been awarded between November 15th, 2019 and December<br class="">31st, 2020 (inclusive).<br class="">----------------------------------<br class="">The main areas of interest are:<br class="">----------------------------------<br class="">-Computational Logic, covering theoretical and mathematical foundations such<br class="">as proof theory, model theory, computability theory, Boolean satisfiability<br class="">(SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated<br class="">deduction (resolution, refutation, theorem proving), non-classical logics<br class="">(substructural logics, multi-valued logics, deontic logics, modal and temporal<br class="">logics).<br class=""><br class="">-Algorithms and Computational Complexity, including design and analysis of<br class="">discrete algorithms, complexity analysis, algorithmic lower bounds,<br class="">parameterized and exact algorithms, decomposition methods, approximation<br class="">algorithms, randomized algorithms, algorithm engineering, as well as<br class="">algorithmic game theory, computational social choice, parallel algorithms,<br class="">graph drawing algorithms, and distributed algorithms.<br class=""><br class="">-Databases and Artificial Intelligence, concerned with logical methods for<br class="">modeling, storing, and drawing inferences from data and knowledge. This<br class="">includes subjects like query languages based on logical concepts (Datalog,<br class="">variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema<br class="">mappings, information extraction and integration), logic programming,<br class="">knowledge representation and reasoning (ontologies, answer-set programming,<br class="">belief change, inconsistency handling, argumentation, planning).<br class=""><br class="">-Verification, concerned with logical methods and automated tools for<br class="">reasoning about the behavior and correctness of complex state-based systems<br class="">such as software and hardware designs as well as hybrid systems. This ranges<br class="">from model checking, program analysis and abstraction to new interdisciplinary<br class="">areas such as fault localization, program repair, program synthesis, and the<br class="">analysis of biological systems.<br class="">----------------------------------<br class="">Awards<br class="">----------------------------------<br class="">-The Outstanding Master Thesis Award: 1200 EUR<br class="">-The Outstanding Undergraduate Thesis Award: 800 EUR<br class="">-The winners will be invited to present their work at an award ceremony in<br class="">Vienna, if the situation allows<br class=""><br class="">----------------------------------<br class="">Eligibility<br class="">----------------------------------<br class="">-The degree must have been awarded between November 15th, 2019 and December<br class="">31st, 2020 (inclusive).</div><div style="margin-top: 0px; margin-bottom: 0px;" class="">-Submissions already submitted to the VCLA Awards 2020 cannot be re-submitted.</div><div style="margin-top: 0px; margin-bottom: 0px;" class="">-Students who obtained their degree at TU Wien are not eligible.<br class=""><br class="">----------------------------------<br class="">Nomination Requirements<br class="">----------------------------------<br class="">Nominations must include:<br class=""><br class="">-A cover page that contains the name and contact details of the nominated<br class="">person, the title of the work for which the person is being nominated, award<br class="">category, the date on which the degree was awarded, and the name of the<br class="">university<br class=""><br class="">-An English summary of the thesis of maximum 3 pages, excluding references (A4<br class="">or letter page size, 11pt font min). The summary must clearly state the main<br class="">contribution of the work, its novelty, and its relevance to some of the<br class="">aforementioned areas of interest<br class=""><br class="">-The CV of the nominated person, including publication list (if applicable)<br class=""><br class="">-An endorsement letter from a supervisor or another proposing person. The<br class="">letter must clearly state the independent and novel contribution of the<br class="">student, and why the proposer believes the student deserves the award. The<br class="">endorsement letter may be provided after the submission deadline, and emailed<br class="">directly to award (AT) <a href="http://logic-cs.at" class="">logic-cs.at</a>.<br class=""><br class="">-The full thesis<br class=""><br class="">All documents should be in English, with the exception of the thesis. In case<br class="">the thesis is in a different language, it must be accompanied by a research<br class="">report in English of at least 10 pages that should be sufficient for the<br class="">committee to evaluate the merit and quality of the submitted work.<br class=""><br class=""> ----------------------------------<br class="">Instructions for submitting self-nominations<br class="">----------------------------------<br class="">-Nominations should be submitted electronically by the applicants using the following link to<br class=""><a href="https://easychair.org/conferences/?conf=vclaawards2021" class="">EasyChair here</a><br class="">-Submissions consist of two pdf files. The first is a single pdf file<br class="">containing all documents for the nomination except the full thesis; the<br class="">documents should appear in the order they are listed above. The second pdf<br class="">file is the full thesis<br class="">-The endorsement letter may optionally be sent by email by the endorser and<br class="">omitted from the Easychair submission. In this case, please email the letter<br class="">as a pdf file, including the name of the nominated person in the subject, to<br class="">award (AT) logic-cs DOT at<br class="">-The submission must be accompanied by a plain text electronic abstract of the<br class="">thesis of at most 400 words, and three keywords.<br class="">-The nominated student must be listed as the only author in<br class="">the submission form.<br class=""><br class="">----------------------------------<br class="">Important dates<br class="">----------------------------------<br class="">-Extended submission deadline: May 7, 2021 (anywhere on Earth)<br class="">-Notification of decision: After July 15th, 2021<br class="">-Award ceremony: Depending on the COVID-19 situation<br class=""><br class="">----------------------------------<br class="">Contact<br class="">----------------------------------<br class="">Please send all inquiries to <a href="mailto:award@logic-cs.at" class="">award@logic-cs.at</a><br class=""><br class="">----------------------------------<br class="">Website with the information on the award committee, and the previous awardees<br class="">----------------------------------<br class=""><a href="https://logic-cs.at/vcla-international-student-awards-2021" class="">https://logic-cs.at/vcla-international-student-awards-2021</a> <br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div style="margin-top: 0px; margin-bottom: 0px;" class=""><br class=""></div><div id="Signature" class=""><div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; font-family: Calibri, Helvetica, sans-serif;" class=""><br class="webkit-block-placeholder"></div></div></body></html>