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 ESMTPS id EC59E5D5 for ; Mon, 23 Mar 2020 11:08:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,296,1580770800"; d="scan'208";a="441657996" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 23 Mar 2020 12:08:12 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D7B0B7F467; Mon, 23 Mar 2020 12:08:12 +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 A84B17EEE8 for ; Mon, 23 Mar 2020 12:06:33 +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=3Ar43BJhcNJLRGEQdQxbhv0LAnlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcWyYh7h7PlgxGXEQZ/co6odzbaP7+a5BTxLu8zJmUtBWaIPfidNsd?= =?us-ascii?q?8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVv?= =?us-ascii?q?O+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oIxi6sArcutMLjYZtKas9xQXFrmVVcO?= =?us-ascii?q?lK2G1kIk6ekBn76sqs5pBo7j5eu+gm985OUKX6e7o3QLlFBzk4MG47+dPmuwDb?= =?us-ascii?q?QQSA+nUTXGMWkgFVAwfe9xH1Qo3xsirhueVj3iSRIND7Qqo1WTSm6KdrVQPohS?= =?us-ascii?q?IaPDM37G3blsp9h79drB6muhJw35TbYISVNfZneK3des8aSnRbXsZQSSNNG52z?= =?us-ascii?q?b40SBOYFM+tUs5Xxq14IoBCjBwejGfnvxydIiHHowKM6z+ovHwLI3AMiHtIBrH?= =?us-ascii?q?vao9ruOacOSOC41rXEwSnfY/9L3zr29YjGcgomofGJRb98f9bfyU4uFgPAlFqQ?= =?us-ascii?q?r5TpNC6S2OQMs2iU9fRvVea1hGIptgp8pT2vxsYsiobTmI0VzkrL+T9jwIYyJN?= =?us-ascii?q?y4TVR0Ydi/HZtMqiGbOYp2Td0kQ21yoik11qcKtoSnfCUTzpks2hDRa/uCc4eS?= =?us-ascii?q?4xLjUv6cITN/hHJqebKwmw++/lS7yuHmTMa0zE5GoTZfndnXrHwCyx3S586aQf?= =?us-ascii?q?V+5keswSuD2x7Q5+1ePEw5m7bXJ4Qvz7IsjJYes1rPEjf1lUnqlqOaa1go9vSy?= =?us-ascii?q?5+j6fLnquIWQO5Johgz8KqgulNKwDOckPgULWmWb9/iw26Pn8ED8QrhFkuM6n6?= =?us-ascii?q?zEvJ3eJMkUuKu0Dg9W34ss6huyCSqt3s4CknkdNl1FfQqKj4j3NFHKJ/D1Fey/?= =?us-ascii?q?jEqwnzdkyfHKIKftApTLLnjfjrjhZ7B951RAyAouw9Ff5oxbCrcbLP3pRkD9rs?= =?us-ascii?q?bXDgMhPwy1xeboFsl925sDVW6RAaKVKr7evFGU6u41LeSAeJUZtTTjJ/Q94v7h?= =?us-ascii?q?l345mVsTfamz2psXbWi1HvFnI0WZe3XjnNMBHn0QsgokS+zriViCXiRVZ3upQ6?= =?us-ascii?q?I8+z86CIO4AofFXIyimqCO0D2hEZ1KfmxGEEyDEW/0d4WYXPcBcD6dLdVkkjwA?= =?us-ascii?q?TLShT44h1QqytALh0LpmLu/U+jUCup751dh14ffTlRAo+jBuAcSdyTLFc2Yh1G?= =?us-ascii?q?gBQjtz2KFkvWR8zE2C2O52mbYQQdda4vcMVgYhKbbdyfZ7Apb8QFSSUM2OTQPs?= =?us-ascii?q?eNK0BDg3CpoUwt8HbkJ0UZ32ixHD1ieuCvkPkK6ODZoc7r/D3nX3Yc92jX/agv?= =?us-ascii?q?pyx2I6S9dCYDT1zpV08BLeUtWRyxzIxZbvTrwV2Wv2zEnGyGOPuE9CVwspDffZ?= =?us-ascii?q?QG8ea02QpN+/71+QF+byW4RiCRNIzIu5EoUPcsfg1AkUWOr8OdnYJWu63W6sV0?= =?us-ascii?q?7Rm+G8KbHycmBY5x3zTUgJlwdJrSSdOAMxGX3nomTCASZoU07yfELh9693ozWy?= =?us-ascii?q?Uh1swg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BiNAAzl3hehkgegoBmHAEBAQEBBwEBE?= =?us-ascii?q?QEEBAEBgXsCgVIkgR1YLyoKhiWGa4x5AQEBlHeBZwEIAQMBCgEBGAsKAgQBAYF?= =?us-ascii?q?RgnQCEoITHAYGNQUNAhABAQUBAQECAQIDBAETAQEBCgkLCCmFXQELgkcBBAEBA?= =?us-ascii?q?QEDAwMBAQwBgncFAgEDAQEbURsCASkaCw8YCxQRAgQTNYJxAUeCNQEDC61DhDk?= =?us-ascii?q?FhBYhgVSBOAGOCj6BETaCLgJsgmQBBIEsAQESAYYQBI1qEgaJDWqXNYEfAwQDg?= =?us-ascii?q?UZ2BIdahVOJVh2CTIgrkGKET4o+iQ2SZAIEAgkCFAGBakwZI3GBHyGCbAlHGA1?= =?us-ascii?q?XjWAegXKBcYotdIEpjF0BgQ8BAQ?= X-IPAS-Result: =?us-ascii?q?A0BiNAAzl3hehkgegoBmHAEBAQEBBwEBEQEEBAEBgXsCgVI?= =?us-ascii?q?kgR1YLyoKhiWGa4x5AQEBlHeBZwEIAQMBCgEBGAsKAgQBAYFRgnQCEoITHAYGN?= =?us-ascii?q?QUNAhABAQUBAQECAQIDBAETAQEBCgkLCCmFXQELgkcBBAEBAQEDAwMBAQwBgnc?= =?us-ascii?q?FAgEDAQEbURsCASkaCw8YCxQRAgQTNYJxAUeCNQEDC61DhDkFhBYhgVSBOAGOC?= =?us-ascii?q?j6BETaCLgJsgmQBBIEsAQESAYYQBI1qEgaJDWqXNYEfAwQDgUZ2BIdahVOJVh2?= =?us-ascii?q?CTIgrkGKET4o+iQ2SZAIEAgkCFAGBakwZI3GBHyGCbAlHGA1XjWAegXKBcYotd?= =?us-ascii?q?IEpjF0BgQ8BAQ?= X-IronPort-AV: E=Sophos;i="5.72,296,1580770800"; d="scan'208";a="441657384" X-MGA-submission: =?us-ascii?q?MDFC3QgP8yYse9RnQ0sI/OuiixdqaTZI6AkFaL?= =?us-ascii?q?P6dqzxpLnoSc0trNwnKtxTNFugEIU5Bjq8Wqc1HvCGNRzKHZZqWMUyp7?= =?us-ascii?q?e2CAIpsHwuQsSU4GSneZdIxR66oounUPbPTPINW4KMChszzAqYySuRqr?= =?us-ascii?q?Zbs4mQOBHFrb4rvj4lHuUkEA=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; 23 Mar 2020 12:06:32 +0100 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 02NB6W3e001776 for ; Mon, 23 Mar 2020 12:06:32 +0100 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 930 for ; Mon, 23 Mar 2020 12:06:31 +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 02NB6VDC001760 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Mon, 23 Mar 2020 12:06:31 +0100 Received: from mbx13e.intern.tuwien.ac.at (2001:629:1005:30::65) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 23 Mar 2020 12:06:31 +0100 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by mbx13e.intern.tuwien.ac.at (2001:629:1005:30::65) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 23 Mar 2020 12:06:31 +0100 Received: from mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846]) by mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846%20]) with mapi id 15.00.1497.006; Mon, 23 Mar 2020 12:06:31 +0100 From: "Rozman, Mihaela" To: "caml-list@inria.fr" Thread-Topic: Final call for (Self-)Nominations for the VCLA International Student Awards for Outstanding Master and Bachelor Theses in Logic and Computer Science - Deadline: 9.4.2020 AoE Thread-Index: AQHWAQMa+Nic7KxahkaoVPMzraXULQ== Date: Mon, 23 Mar 2020 11:06:30 +0000 Message-ID: <1584961590200.49285@tuwien.ac.at> References: ,<1584960203147.44790@tuwien.ac.at> In-Reply-To: <1584960203147.44790@tuwien.ac.at> Accept-Language: en-GB, de-AT, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [80.110.122.107] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Validation-by: mihaela.rozman@tuwien.ac.at Subject: [Caml-list] Final call for (Self-)Nominations for the VCLA International Student Awards for Outstanding Master and Bachelor Theses in Logic and Computer Science - Deadline: 9.4.2020 AoE Reply-To: "Rozman, Mihaela" X-Loop: caml-list@inria.fr X-Sequence: 18067 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= =0A= Technology), calls for the nomination of authors of outstanding theses and= =0A= scientific works in the field of Logic and Computer Science, in the followi= ng=0A= two categories:=0A= =0A= -Outstanding Master Thesis Award*=0A= =0A= -Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st= =0A= cycle of the Bologna process)*=0A= =0A= *The degree must have been awarded between November 15th, 2018 and December= =0A= 31st, 2019 (inclusive).=0A= ----------------------------------=0A= The main areas of interest are:=0A= ----------------------------------=0A= -Computational Logic, covering theoretical and mathematical foundations suc= h=0A= as proof theory, model theory, computability theory, Boolean satisfiability= =0A= (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automa= ted=0A= deduction (resolution, refutation, theorem proving), non-classical logics= =0A= (substructural logics, multi-valued logics, deontic logics, modal and tempo= ral=0A= logics).=0A= =0A= -Algorithms and Computational Complexity, including design and analysis of= =0A= discrete algorithms, complexity analysis, algorithmic lower bounds,=0A= parameterized and exact algorithms, decomposition methods, approximation=0A= algorithms, randomized algorithms, algorithm engineering, as well as=0A= algorithmic game theory, computational social choice, parallel algorithms,= =0A= graph drawing algorithms, and distributed algorithms.=0A= =0A= -Databases and Artificial Intelligence, concerned with logical methods for= =0A= modeling, storing, and drawing inferences from data and knowledge. This=0A= includes subjects like query languages based on logical concepts (Datalog,= =0A= variants of SQL, XML, and SPARQL), novel database-theoretical methods (sche= ma=0A= mappings, information extraction and integration), logic programming,=0A= knowledge representation and reasoning (ontologies, answer-set programming,= =0A= belief change, inconsistency handling, argumentation, planning).=0A= =0A= -Verification, concerned with logical methods and automated tools for=0A= reasoning about the behavior and correctness of complex state-based systems= =0A= such as software and hardware designs as well as hybrid systems. This range= s=0A= from model checking, program analysis and abstraction to new interdisciplin= ary=0A= areas such as fault localization, program repair, program synthesis, and th= e=0A= analysis of biological systems.=0A= =0A= -Formal Methods for Security and Privacy, covering design and analysis=0A= techniques for security and privacy critical systems, such as cryptographic= =0A= protocols, software, hardware and so on. The category of formal methods is = to=0A= be meant in a broad sense, including related questions in logic, model=0A= checking, static analysis, dynamic monitoring, theorem proving, and artific= ial=0A= intelligence.=0A= =0A= ----------------------------------=0A= Awards=0A= ----------------------------------=0A= -The Outstanding Master Thesis Award: 1200 EUR=0A= -The Outstanding Undergraduate Thesis Award: 800 EUR=0A= -The winners will be invited to present their work at an award ceremony in= =0A= Vienna.=0A= =0A= ----------------------------------=0A= Eligibility=0A= ----------------------------------=0A= -The degree must have been awarded between November 15th, 2018 and December= =0A= 31st, 2019 (inclusive).=0A= -Students who obtained their degree at TU Wien are not eligible.=0A= =0A= ----------------------------------=0A= Nomination Requirements=0A= ----------------------------------=0A= Nominations must include:=0A= =0A= -A cover page that contains the name and contact details of the nominated= =0A= person, the title of the work for which the person is being nominated, awar= d=0A= category, the date on which the degree was awarded, and the name of the=0A= university=0A= =0A= -An English summary of the thesis of maximum 3 pages, excluding references = (A4=0A= or letter page size, 11pt font min). The summary must clearly state the mai= n=0A= contribution of the work, its novelty, and its relevance to some of the=0A= aforementioned areas of interest=0A= =0A= -The CV of the nominated person, including publication list (if applicable= =0A= =0A= -An endorsement letter from a supervisor or another proposing person. The= =0A= letter must clearly state the independent and novel contribution of the=0A= student, and why the proposer believes the student deserves the award. The= =0A= endorsement letter may be provided after the submission deadline, and email= ed=0A= directly to award (AT) logic-cs.at.=0A= =0A= -The full thesis=0A= =0A= All documents should be in English, with the exception of the thesis. In ca= se=0A= the thesis is in a different language, it must be accompanied by a research= =0A= report in English of at least 10 pages that should be sufficient for the=0A= committee to evaluate the merit and quality of the submitted work.=0A= =0A= ----------------------------------=0A= Instructions for submitting nominations=0A= ----------------------------------=0A= -Nominations should be submitted electronically using the following link to= =0A= EasyChair here=0A= -Submissions consist of two pdf files. The first is a single pdf file=0A= containing all documents for the nomination except the full thesis; the=0A= documents should appear in the order they are listed above. The second pdf= =0A= file is the full thesis=0A= -The endorsement letter may optionally be sent by email by the endorser and= =0A= omitted from the Easychair submission. In this case, please email the lette= r=0A= as a pdf file, including the name of the nominated person in the subject, t= o=0A= award (AT) logic-cs DOT at=0A= -The submission must be accompanied by a plain text electronic abstract of = the=0A= thesis of at most 400 words, and three keywords.=0A= -The nominated student must be listed as the first and corresponding author= in=0A= the submission form.=0A= =0A= ----------------------------------=0A= Important dates=0A= ----------------------------------=0A= -Submission deadline (extended): April 9, 2020 (anywhere on Earth)=0A= -Notification of decision: end of June 2020=0A= -Award ceremony: TBA=0A= =0A= ----------------------------------=0A= Contact=0A= ----------------------------------=0A= Please send all inquiries to award@logic-cs.at=0A= =0A= ----------------------------------=0A= Website with the information on the award committee, and the previous award= ees=0A= ----------------------------------=0A= https://logic-cs.at/vcla-awards-2020=0A= _______________________________________________=0A= Proof-Complexity mailing list=0A= Proof-Complexity@math.cas.cz=0A= https://list.math.cas.cz/listinfo/proof-complexity=0A=