<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<pre wrap="">[Apologies if you receive multiple copies of this email. Thank you for helping us reach interested parties.]</pre>
<b><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><br>
VCLA International Student Awards 2018 in Memory of Helmut Veith<o:p></o:p></span></b>
<p class="MsoNormal" style="margin-bottom:12.0pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:black;mso-fareast-language:DE-AT"
lang="EN-US"><br>
</span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">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:</span><span
style="font-size:12.0pt;mso-fareast-language:DE-AT" lang="EN-US"><o:p></o:p></span></p>
<p class="MsoListParagraphCxSpFirst"
style="margin-bottom:12.0pt;mso-add-space:auto;text-indent:-18.0pt;line-height:normal;mso-list:l2
level1 lfo2"><span
style="font-size:12.0pt;font-family:Symbol;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><span style="mso-list:Ignore">·<span
style="font:7.0pt "Times New Roman""> </span></span></span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">Outstanding Master Thesis Award<o:p></o:p></span></p>
<p class="MsoListParagraphCxSpLast"
style="margin-bottom:12.0pt;mso-add-space:auto;text-indent:-18.0pt;line-height:normal;mso-list:l2
level1 lfo2"><span
style="font-size:12.0pt;font-family:Symbol;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><span style="mso-list:Ignore">·<span
style="font:7.0pt "Times New Roman""> </span></span></span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">Outstanding Undergraduate Thesis Award (Bachelor
thesis or equivalent, 1st cycle of the Bologna process)<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">The main areas of interest are:</span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoNormal"
style="color:black;margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal;mso-list:l0
level1 lfo5;vertical-align:baseline"><b><span
style="font-size:12.0pt;mso-fareast-language:DE-AT"
lang="EN-US">Computational Logic</span></b><span
style="font-size:12.0pt;mso-fareast-language:DE-AT"
lang="EN-US">, covering theoretical and mathematical
foundations such as proof theory, model theory, algorithmic
lower and upper bounds, 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),
computational complexity (complexity analysis, parameterized
complexity, decomposition methods).<o:p></o:p></span></li>
<li class="MsoNormal"
style="color:black;margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal;mso-list:l0
level1 lfo5;vertical-align:baseline"><b><span
style="font-size:12.0pt;mso-fareast-language:DE-AT"
lang="EN-US">Databases and Artificial Intelligence</span></b><span
style="font-size:12.0pt;mso-fareast-language:DE-AT"
lang="EN-US">, 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).<o:p></o:p></span></li>
<li class="MsoNormal"
style="color:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;line-height:normal;mso-list:l0
level1 lfo5;vertical-align:baseline"><b><span
style="font-size:12.0pt;mso-fareast-language:DE-AT"
lang="EN-US">Verification</span></b><span
style="font-size:12.0pt;mso-fareast-language:DE-AT"
lang="EN-US">, 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.</span><span
style="font-family:"Arial","sans-serif";mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></li>
</ul>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:black;mso-fareast-language:DE-AT"
lang="EN-US"><br>
</span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">The award is dedicated to the memory of Helmut
Veith, the brilliant computer scientist who tragically passed
away in March 2016, and aims to carry on his commitment to
promoting young talent and promising researchers in these areas.</span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:red;mso-fareast-language:DE-AT"
lang="EN-US">Award</span><span
style="font-size:12.0pt;font-family:"Times New
Roman","serif";mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">The Outstanding Master Thesis Award is accompanied
by a prize of € 1200, and the Outstanding Undergraduate Research
Award by a prize of € 800. </span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">Additionally, the winners will be invited to
present their work at an award ceremony during the Federated
Logic Conference (FLoC) 2018 in Oxford. <o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Times New
Roman","serif";mso-fareast-language:DE-AT"
lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:red;mso-fareast-language:DE-AT"
lang="EN-US">Eligibility</span><span
style="font-size:12.0pt;font-family:"Times New
Roman","serif";mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">The degree must have been awarded between November
15th 2015 and December 31st 2017. Students who obtained the
degree at TU Wien are excluded from the nomination.</span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:black;mso-fareast-language:DE-AT"
lang="EN-US"><br>
</span><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:red;mso-fareast-language:DE-AT"
lang="EN-US">Important dates</span><span
style="font-size:12.0pt;font-family:"Times New
Roman","serif";mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">Submission deadline: March 15, 2018 (anywhere on
Earth)<br>
Notification of decision: End of May 2018<br>
Award ceremony: July 2018 (during FLoC, details to be announced)</span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:black;mso-fareast-language:DE-AT"
lang="EN-US"><br>
</span><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:red;mso-fareast-language:DE-AT"
lang="EN-US">Nomination Procedures</span><span
style="font-size:12.0pt;font-family:"Times New
Roman","serif";mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">For nomination instructions, please visit </span><a
href="http://logic-cs.at/award-call-2018/"><span lang="EN-US">http://logic-cs.at/award-call-2018/</span></a><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-bottom:12.0pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">Kindly address all inquiries to </span><a
href="mailto:award@logic-cs.at"><span
style="font-size:12.0pt;mso-fareast-language:DE-AT"
lang="EN-US">award@logic-cs.at</span></a><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;font-family:"Arial","sans-serif";color:red;mso-fareast-language:DE-AT"
lang="EN-US">VCLA Award Chairs 2018</span><span
style="font-size:12.0pt;font-family:"Times New
Roman","serif";mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">Robert Ganian (committee co-chair)</span><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">Magdalena Ortiz (general chair)<o:p></o:p></span></p>
<p class="MsoNormal"
style="margin-bottom:0cm;margin-bottom:.0001pt;line-height:normal"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US">Revantha Ramanayake (committee co-chair)<o:p></o:p></span></p>
<p class="MsoPlainText"><span
style="font-size:12.0pt;color:black;mso-fareast-language:DE-AT"
lang="EN-US"><o:p> </o:p></span></p>
</body>
</html>