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 sympa.inria.fr (Postfix) with ESMTPS id E078D7F161 for ; Thu, 25 Feb 2016 13:27:41 +0100 (CET) IronPort-PHdr: 9a23:YgYsHR18y8iFEdCusmDT+DRfVm0co7zxezQtwd8ZsegSI/ad9pjvdHbS+e9qxAeQG96LtLQa0qGO6OjJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZrunLjps7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JsUWqz/e+E8TKdEJDUgKWE8osPx40rtVwyKs0cbWGQfiVJwAwnB7QniFsPttSH7v/E7wCmbOczuVZgoRHGu9apwRBLuzisKYW1quFrLg9B92foI6CmqoAZyltbZ Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tobias.philipp@tu-dresden.de; spf=None smtp.mailfrom=tobias.philipp@tu-dresden.de; spf=None smtp.helo=postmaster@mailout2.zih.tu-dresden.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tobias.philipp@tu-dresden.de) identity=pra; client-ip=141.30.67.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.philipp@tu-dresden.de"; x-sender="tobias.philipp@tu-dresden.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tobias.philipp@tu-dresden.de) identity=mailfrom; client-ip=141.30.67.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.philipp@tu-dresden.de"; x-sender="tobias.philipp@tu-dresden.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailout2.zih.tu-dresden.de) identity=helo; client-ip=141.30.67.73; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tobias.philipp@tu-dresden.de"; x-sender="postmaster@mailout2.zih.tu-dresden.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BZAACz8s5WlklDHo1ehAxtqEOBfQGRbhcGhzc8EAEBAQEBAQEBEAEBAQEJCwkJIS+CLYI+GhE5JwImAhILFiwTHQSIAgqfUo9bgWqNMQR3hReEDoFigk4BEQFqgXwLLROBJwWFT40khBWBQologj2BVoREgn4EhVCOSTeCPxyBNWkBhmWBMgEBAQ X-IPAS-Result: A0BZAACz8s5WlklDHo1ehAxtqEOBfQGRbhcGhzc8EAEBAQEBAQEBEAEBAQEJCwkJIS+CLYI+GhE5JwImAhILFiwTHQSIAgqfUo9bgWqNMQR3hReEDoFigk4BEQFqgXwLLROBJwWFT40khBWBQologj2BVoREgn4EhVCOSTeCPxyBNWkBhmWBMgEBAQ X-IronPort-AV: E=Sophos;i="5.22,498,1449529200"; d="scan'208";a="204601905" Received: from mailout2.zih.tu-dresden.de ([141.30.67.73]) by mail2-smtp-roc.national.inria.fr with ESMTP; 25 Feb 2016 13:27:41 +0100 Received: from mail.zih.tu-dresden.de ([141.76.14.4]) by mailout2.zih.tu-dresden.de with esmtp (Exim 4.63) (envelope-from ) id 1aYv1B-0007BU-3e for caml-list@inria.fr; Thu, 25 Feb 2016 13:27:41 +0100 Received: from [141.76.34.92] (helo=[127.0.1.1]) by server-50.mailclusterdns.zih.tu-dresden.de with esmtpa (envelope-from ) id 1aYuwT-0002fI-Gh for caml-list@inria.fr; Thu, 25 Feb 2016 13:22:49 +0100 From: Tobias Philipp To: MIME-Version: 1.0 Content-type: text/plain; charset=utf-8 Message-Id: Date: Thu, 25 Feb 2016 13:22:49 +0100 X-TUD-Original-From: tobias.philipp@tu-dresden.de X-TUD-Virus-Scanned: mailout2.zih.tu-dresden.de X-Validation-by: tobias.philipp@tu-dresden.de Subject: [Caml-list] The European Master's Program in Computational Logic: Application until 31 May 2016 Dear all, I'd like to draw your attention to the fact that applications for the European Master's Program in Computational Logic are possible UNTIL 31 May 2016. More details are given below. Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition, you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a joint degree. Information on the universities and the program including the application procedure is provided here: http://www.emcl-study.eu/home.html Language of instruction is English. Tuition fees are 3.000 EUR (for non-European students) and 1.000 (for European students) per year. Do not hesitate to contact us if you have any further questions. Kind regards -- Steffen Hölldobler Prof. Dr. Steffen Hoelldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany phone: [+49](351)46 33 83 40 fax: [+49](351)46 33 83 42 email: sh@iccl.tu-dresden.de -- TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden,Germany Tel.: +49 (0)351 463 38341 -- In the case, you do not want to receive this email, please write an email to tobias.philipp@tu-dresden.de, subject: UNSUBSCRIBE