Logic List Mailing Archive
CfNominations: VCLA International Student Awards, deadline: 31 May 2024
The Vienna Center for Logic and Algorithms of TU Wien calls for the nominat
ion of authors of outstanding theses and scientific works in the field of L
ogic and Computer Science, in the following two categories:
- Outstanding Master Thesis Award*
- Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1s
t cycle of the Bologna process)*
*The degree must have been awarded between January 1st, 2023 and December 3
1st, 2023 (inclusive).
----------------------------------
The main areas of interest are:
----------------------------------
- Computational Logic, covering theoretical and mathematical foundations su
ch as proof theory, model theory, computability theory, Boolean satisfiabil
ity (SAT), QBF, constraint satisfaction, satisfiability modulo theories, au
tomated deduction (resolution, refutation, theorem proving), non-classical
logics (substructural logics, multi-valued logics, deontic logics, modal an
d temporal logics).
- Algorithms and Computational Complexity, including design and analysis of
discrete algorithms, complexity analysis, algorithmic lower bounds, parame
terized and exact algorithms, decomposition methods, approximation algorith
ms, randomized algorithms, algorithm engineering, as well as algorithmic ga
me 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 in
cludes subjects like query languages based on logical concepts (Datalog, va
riants of SQL, XML, and SPARQL), novel database-theoretical methods (schema
mappings, information extraction and integration), logic programming, know
ledge representation and reasoning (ontologies, answer-set programming, bel
ief change, inconsistency handling, argumentation, planning).
- Verification, concerned with logical methods and automated tools for reas
oning about the behavior and correctness of complex state-based systems suc
h as software and hardware designs as well as hybrid systems. This ranges f
rom model checking, program analysis and abstraction to new interdisciplina
ry 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 January 1st, 2023 and December
31st, 2023 (inclusive).
- Students who obtained their degree at TU Wien are not eligible.
----------------------------------
Nomination Requirements
----------------------------------
Nominations must include:
- A cover page that contains the name and contact details of the nominated
person, the title of the work for which the person is being nominated, awar
d category, the date on which the degree was awarded, and the name of the u
niversity.
- An English summary of the thesis of maximum 3 pages, excluding references
(A4 or letter page size, 11pt font min). The summary must clearly state th
e main contribution of the work, its novelty, and its relevance to some of
the aforementioned areas of interest.
- The CV of the nominated person, including publication list (if applicable
).
- An endorsement letter from a supervisor or another proposing person. The
letter must clearly state the independent and novel contribution of the stu
dent, and why the proposer believes the student deserves the award. The end
orsement letter may be provided after the submission deadline, and emailed
directly to award (AT) logic-cs.at.
- The full thesis.
All documents should be in English, with the exception of the thesis. In ca
se the thesis is in a different language, it must be accompanied by a resea
rch report in English of at least 10 pages that should be sufficient for th
e committee to evaluate the merit and quality of the submitted work.
----------------------------------
Instructions for submitting self-nominations
----------------------------------
- Nominations should be submitted electronically by the applicants using th
e following link to EasyChair: https://easychair.org/conferences/?conf=vc
laawards2024.
- Submissions consist of two pdf files. The first is a single pdf file cont
aining all documents for the nomination except the full thesis; the documen
ts should appear in the order they are listed above. The second pdf file is
the full thesis.
- The endorsement letter may optionally be sent by email by the endorser an
d omitted from the Easychair submission. In this case, please email the let
ter as a pdf file, including the name of the nominated person in the subjec
t, to award (AT) logic-cs DOT at.
- The submission must be accompanied by a plain text electronic abstract of
the thesis of at most 400 words, and three keywords.
- The nominated student must be listed as the only author in the submission
form.
----------------------------------
Important dates
----------------------------------
- Submission deadline: May 31st, 2024 (anywhere on Earth)
- Notification of decision: After August 31st, 2024
----------------------------------
Contact
----------------------------------
Please send all inquiries to award@logic-cs.at<mailto:award@logic-cs.at>.
----------------------------------
VCLA Award Committee 2024
----------------------------------
Shqiponja Ahmetaj and Anela Lolic will be co-chairing this year's edition o
f the VCLA International Student Awards. The remaining members of the commi
ttee will be announced in due time.
----------------------------------
Website with information on the award and the previous awardees
----------------------------------
https://www.vcla.at/2024/04/call-for-nominations-vcla-international-student
-awards-2024/
Andrea Hackl, MA
Project Manager
Vienna Center for Logic and Algorithms
Technische Universitt Wien
Favoritenstrae 9-11, Stiege 3, 3. Stock, 1040 Wien
andrea.hackl@tuwien.ac.at<mailto:andrea.hackl@tuwien.ac.at>
www.vcla.at<http://www.vcla.at/>
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php