From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 793BF5D4 for ; Mon, 9 Mar 2020 10:02:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,532,1574118000"; d="scan'208";a="439451437" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Mar 2020 11:02:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id CA3017F44B; Mon, 9 Mar 2020 11:02:13 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 931877EEA4 for ; Mon, 9 Mar 2020 10:07:13 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mihaela.rozman@tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman@tuwien.ac.at; spf=None smtp.helo=postmaster@secgw2.intern.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3ASQJMJBUkzadHyqqx9tuUKJApBM7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBCAt8tkgFKBZ4jH8fUM07OQ7/m8HzVZvt3Y6i9KWacPfiFGoP?= =?us-ascii?q?1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6?= =?us-ascii?q?KevvB4Hdkdm82fys9J3PeQVIgye2ba9vIBmsogjdq8YbjZF/JqosyBbFrWZEd/?= =?us-ascii?q?pUyGh1OV+dghHw69u/85Jk7yleoe8q+dRaUaX9caQ4TLhYAyojPmso+sDltgTN?= =?us-ascii?q?QBWW6HcEXWoYjhRHAw7e7BHnRZjxqTf1tvB82CaBI8L7S60/VCm44KdqTB/ojz?= =?us-ascii?q?oHNyI8/WrKhMF8kL5XrRS8rBF53oXaYpyaNOBmc63dY90aS2hOUNtfWSJCDYyz?= =?us-ascii?q?c4QBAe0dPetDs4n9vkcCoQegCQWwBu7izCJDiH/s3a091uQsCQbI3A0gH90Urn?= =?us-ascii?q?vUqM/6P7oOX+CyzajIyC/Mb/VL0jr67YjIcxAhruuSUrJ0a8Xd01MvFwTEj1WV?= =?us-ascii?q?s4PlOSiY1vgQs2mV7upvS+Svh3Q9pA5tuDSg3Nssh5DPi4kIxF7E8iB5z5w0Jd?= =?us-ascii?q?2+UEN7ZdmkEJRRty6GLod5XtgiT3tytyYmzLANpJ21fDASxZg62RLSaOaLf5WG?= =?us-ascii?q?7x7/TuqcLyt0iGhndb6hnxq+7Fasx+7mWsWp3ltGszBJnsTRunwQzRDf9NSLR/?= =?us-ascii?q?9780y8wziAzRrT5ftBIU0slarUNZohwrkom5oIr0vMAiD2mUvogKOMd0Uk/PSo?= =?us-ascii?q?5Pr9YrXgvJOcK5J0iw//MqswnMyzG/43PRQUU2eB5eSwzLzj/UvnT7VWlvA6j7?= =?us-ascii?q?fVvZPAKcgGqKO1HxVZ34g/5xqlDTqqzswUnXwdI1JEfBKHgZLpO1bLIP3gCPe/?= =?us-ascii?q?glSsny11yPDCJLLtGI/NLn/CkbfkZ7l97VVRyBYuzdFR5pJbFLcBLOjpVUDtrt?= =?us-ascii?q?DXFAM5PxSuw+n7ENV9yp8eWWWXD6CFKqzStFuI6vsrI+mNf48VpC3wK+Ml5v7r?= =?us-ascii?q?lX82g0URfaiv3ZsNaXC3BO5qI0uDYSmkvtBURWwDuw57SO3xlHWDVyRSbjC8Rf?= =?us-ascii?q?RvyCs8DdeDDIfKS4SkyIaGziKyGNUCY2FGA12IGDHycJeBUvEkdD+NI8Jn1DUP?= =?us-ascii?q?E7G9HdxynSqyvRP3nuI0ZtHf/TcV4Mq6iYpFotbLnBR3zgRaSsSQ12bXHzNvk2?= =?us-ascii?q?gHWGVw3aZjrFZ7jEuezql1hbpRHppa+6ERC1toBdvn1+V/TuvKdEfZZN7QFAS6?= =?us-ascii?q?X8qnDDd3R9l3ysNcOx8sSeXntQjK2m+RO5FQkrWKAJIu9aeFgyrtOtl8xnCA3a?= =?us-ascii?q?JnhkV0GsY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CKAACOBmZeh0gegoBkGwEBAQEBAQEFA?= =?us-ascii?q?QEBEQEBAwMBAQGBe4FUJIEdVzAqhBWJA5cmikGBZwEIAQMBCgEBHw4CBAEBgU+?= =?us-ascii?q?FBBwGBjQTAhABAQUBAQECAQIDBAETAQEBCgsJCCmFXQyCOyKDDQgCGWMFIwIfB?= =?us-ascii?q?wIbIxsCBB4FgxYBgnsBDqcigTKEOQWDfiEWgT4ibCqMO4FMP4ERNoIuAoUBAQE?= =?us-ascii?q?SAYMygl4EjV0SBokFmAuBHweBSXZ4BIZWhU2JRxyCSYghkEuXco9BgxQCBAIJA?= =?us-ascii?q?hQBgWlNGSNxMxpSIYJsCTYRGA1XjWAegXKMH0IxgSkTCwGNIQEB?= X-IPAS-Result: =?us-ascii?q?A0CKAACOBmZeh0gegoBkGwEBAQEBAQEFAQEBEQEBAwMBAQG?= =?us-ascii?q?Be4FUJIEdVzAqhBWJA5cmikGBZwEIAQMBCgEBHw4CBAEBgU+FBBwGBjQTAhABA?= =?us-ascii?q?QUBAQECAQIDBAETAQEBCgsJCCmFXQyCOyKDDQgCGWMFIwIfBwIbIxsCBB4FgxY?= =?us-ascii?q?BgnsBDqcigTKEOQWDfiEWgT4ibCqMO4FMP4ERNoIuAoUBAQESAYMygl4EjV0SB?= =?us-ascii?q?okFmAuBHweBSXZ4BIZWhU2JRxyCSYghkEuXco9BgxQCBAIJAhQBgWlNGSNxMxp?= =?us-ascii?q?SIYJsCTYRGA1XjWAegXKMH0IxgSkTCwGNIQEB?= X-IronPort-AV: E=Sophos;i="5.70,532,1574118000"; d="scan'208";a="439438873" X-MGA-submission: =?us-ascii?q?MDGfjUW0lNyy7Agc2zMhwBKpvS+5QL2fpb2iM2?= =?us-ascii?q?XP44+eKjtsxabpmK+9LD+r5RZOEwaAbtfkjJw5kCEcXND8rZ7aWzQUao?= =?us-ascii?q?MLu8/dE7awzDQXQqbYQHdRnI32qGd0qJ2kV82Q6miNqDj4E6G9WFph9H?= =?us-ascii?q?m58k+ojxsDijMWnUiOn8kOSw=3D=3D?= Received: from secgw2.intern.tuwien.ac.at ([128.130.30.72]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Mar 2020 10:07:12 +0100 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 02997Cbc021949 for ; Mon, 9 Mar 2020 10:07:12 +0100 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 3 for ; Mon, 9 Mar 2020 10:07:11 +0100 (CET) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 02997Bpn021930 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Mon, 9 Mar 2020 10:07:11 +0100 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 9 Mar 2020 10:07:11 +0100 Received: from vita (128.131.111.209) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 9 Mar 2020 10:07:11 +0100 From: Mihaela Rozman To: References: In-Reply-To: Date: Mon, 9 Mar 2020 10:07:09 +0100 Message-ID: <029a01d5f5f2$1ce5a340$56b0e9c0$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 16.0 Content-Language: de-at Thread-Index: AQHg7o7dI4oZIelqxMwZNOIdOVi12qgqBxjw X-ClientProxiedBy: mbx13d.intern.tuwien.ac.at (2001:629:1005:30::64) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) X-Validation-by: mihaela.rozman@tuwien.ac.at Subject: [Caml-list] (Extended Deadline) VCLA International Student Awards 2020 for Outstanding Master and Bachelor Theses awarded between 15.11.2018 and 31.12.2019 (inclusive) Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 18047 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: 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: =3DOutstanding Master Thesis Award =3DOutstanding Undergraduate Thesis Award (Bachelor thesis or = equivalent, 1st cycle of the Bologna process) ----------------------------------The main areas of interest are: = ---------------------------------- *Computational Logic, covering theoretical and mathematical foundations = such as proof theory, model theory, computability theory, 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). *Algorithms and Computational Complexity, including design and analysis = of discrete algorithms, complexity analysis, algorithmic lower bounds, = parameterized and exact algorithms, decomposition methods, approximation = algorithms, randomized algorithms, algorithm engineering, as well as = algorithmic game 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 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). *Verification, 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. *Formal Methods for Security and Privacy, covering design and analysis = techniques for security and privacy critical systems, such as = cryptographic protocols, software, hardware and so on. The category of = formal methods is to be meant in a broad sense, including related = questions in logic, model checking, static analysis, dynamic monitoring, = theorem proving, and artificial intelligence. ----------------------------------In Memory of Helmut = Veith---------------------------------- 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. ----------------------------------Awards---------------------------------= - *The Outstanding Master Thesis Award: 1200 EUR=20 *The Outstanding Undergraduate Thesis Award: 800 EUR=20 *The winners will be invited to present their work at an award ceremony = in Vienna. ----------------------------------Eligibility----------------------------= ------ *The degree must have been awarded between November 15th, 2018 and = December 31st, 2019 (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, award category, the date on which the degree was awarded, and = the name of the university=20 *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 the main contribution of the work, its novelty, and its = relevance to some of the aforementioned areas of interest=20 *The CV of the nominated person, including publication list (if = applicable=20 *An endorsement letter from a supervisor or another proposing person. = The letter must clearly state the independent and novel contribution of = the student, and why the proposer believes the student deserves the = award. The endorsement 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 = case the thesis is in a different language, it must be accompanied by a = research report in English of at least 10 pages that should be = sufficient for the committee to evaluate the merit and quality of the = submitted work. ----------------------------------Instructions for submitting = nominations---------------------------------- *Nominations should be submitted electronically using the following link = to EasyChair here=20 *Submissions consist of two pdf files. The first is a single pdf file = containing all documents for the nomination except the full thesis; the = documents should appear in the order they are listed above. The second = pdf file is the full thesis=20 *The endorsement letter may optionally be sent by email by the endorser = and omitted from the Easychair submission. In this case, please email = the letter as a pdf file, including the name of the nominated person in = the subject, to award (AT) logic-cs DOT at=20 *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 first and corresponding = author in the submission form. ----------------------------------Important = dates---------------------------------- *Submission deadline (extended): April 9, 2020 (anywhere on Earth)=20 *Notification of decision: end of June 2020=20 *Award ceremony: TBA ----------------------------------Contact--------------------------------= -- Please send all inquiries to award (AT) logic-cs.at ----------------------------------Website and Previous = Awardees---------------------------------- https://logic-cs.at/vcla-awards-2020/=20