From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 478C0800BE for ; Mon, 9 Jan 2017 12:19:33 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=eacsl@kahle.ch; spf=Pass smtp.mailfrom=eacsl@kahle.ch; spf=None smtp.helo=postmaster@chocolate.tulip.relay.mailchannels.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of eacsl@kahle.ch) identity=pra; client-ip=23.83.218.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="eacsl@kahle.ch"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of eacsl@kahle.ch designates 23.83.218.35 as permitted sender) identity=mailfrom; client-ip=23.83.218.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="eacsl@kahle.ch"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@chocolate.tulip.relay.mailchannels.net) identity=helo; client-ip=23.83.218.35; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="eacsl@kahle.ch"; x-sender="postmaster@chocolate.tulip.relay.mailchannels.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ac+qX6BxEatW4Wp/XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0egVIJqq85mqBkHD//Il1AaPBtSHragYwLCL++C4ACpbvsbH6ChDOLV3FDY7yu?= =?us-ascii?q?wu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9?= =?us-ascii?q?dazJHduYhM2y06W2+obPSwROnju0J71oZl3ipgzUsowSgJB+Aqc30BrA5HVSLb?= =?us-ascii?q?d432RtcH+OhRHk6862tLd46CNbuvs99slGGaL0N48/SKRFEDk8e1s+5cDtvhSL?= =?us-ascii?q?aQyA53BUBmgfmQFMKwvM7BX3GJzx5Hip/tFh0TWXaJWlBYs/Xi6vuv9m?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AwBgCQcHNYhyPaUxddHQEFAQsBgzoBA?= =?us-ascii?q?QEBAYEBLF2NV3KQAgIJBpZDggqIAQQDPxQBAQEBAQEBAQEBARIBAQEIDQkKHSU?= =?us-ascii?q?LgjMYgkEGHQEBJhIxKwJRDg0GAgEBiF8NBAGuW2iCJSuCXQEBBYZ8DB4IhgGCR?= =?us-ascii?q?giKJYJejxqMB5FNgXeDH4FpgyiGNQKOQoQRH4FcMTeEISCBanMBiGUBAQE?= X-IPAS-Result: =?us-ascii?q?A0AwBgCQcHNYhyPaUxddHQEFAQsBgzoBAQEBAYEBLF2NV3K?= =?us-ascii?q?QAgIJBpZDggqIAQQDPxQBAQEBAQEBAQEBARIBAQEIDQkKHSULgjMYgkEGHQEBJ?= =?us-ascii?q?hIxKwJRDg0GAgEBiF8NBAGuW2iCJSuCXQEBBYZ8DB4IhgGCRgiKJYJejxqMB5F?= =?us-ascii?q?NgXeDH4FpgyiGNQKOQoQRH4FcMTeEISCBanMBiGUBAQE?= X-IronPort-AV: E=Sophos;i="5.33,339,1477954800"; d="scan'208,217";a="254483226" Received: from chocolate.tulip.relay.mailchannels.net ([23.83.218.35]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Jan 2017 12:19:30 +0100 X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 206131301D1 for ; Mon, 9 Jan 2017 11:19:27 +0000 (UTC) Received: from web3041.oemsites.net (ip-10-229-10-199.us-west-2.compute.internal [10.229.10.199]) by relay.mailchannels.net (Postfix) with ESMTPA id AFEDB131014 for ; Mon, 9 Jan 2017 11:19:25 +0000 (UTC) X-Sender-Id: altavisgmbh|x-authsender|eacsl@kahle.ch Received: from web3041.oemsites.net (37-59-242-53.oemsites.net [10.236.29.11]) (using TLSv1.2 with cipher DHE-RSA-AES256-GCM-SHA384) by 0.0.0.0:2500 (trex/5.7.8); Mon, 09 Jan 2017 11:19:26 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: altavisgmbh|x-authsender|eacsl@kahle.ch X-MailChannels-Auth-Id: altavisgmbh X-MC-Loop-Signature: 1483960766333:3406749064 X-MC-Ingress-Time: 1483960766333 Received: from [192.168.1.6] (a109-49-112-38.cpe.netcabo.pt [109.49.112.38]) (Authenticated sender: eacsl@kahle.ch) by web3041.oemsites.net (Postfix) with ESMTPSA id 62CC12035F1A for ; Mon, 9 Jan 2017 12:19:22 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=kahle.ch; s=default; t=1483960762; bh=f0UIjGW5vQTJDMzAOapOfrB2P0Riz8WuqneJvtCFP9M=; l=6441; h=From:To:Subject; b=jXaVPPQyBrhHWQkBSCyHGfef3VFQvAGVyzZ51rEpQtPa2P9KgueNwWkGjspPyCMkc 07ntdu+vKRMIigu9vS091A2vYt5qAQ3HEpM8KkkGb0fTRbikpHZ4tGFGN1bQit16Xr WbhVzKD+SFHi/QmCMcs1eQ40CbmMX2JsrCFEt2ko= From: European Association of Computer Science Logic To: "caml-list@inria.fr" Message-ID: <4ef17e4e-95ea-2770-2396-f2b0bad644dc@kahle.ch> Date: Mon, 9 Jan 2017 11:04:28 +0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------7B2A9A0DF0D595965FD9CB14" X-PPP-Message-ID: <20170109111922.12501.75991@web3041.oemsites.net> X-PPP-Vhost: kahle.ch X-Validation-by: eacsl@kahle.ch Subject: [Caml-list] Ackermann Award 2017 This is a multi-part message in MIME format. --------------7B2A9A0DF0D595965FD9CB14 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit ACKERMANN AWARD 2017 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2017 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2015 and 31.12.2016 are eligible for nomination for the award. The deadline for submission is 1 April 2017. Submission details follow below. Nominations can be submitted from 1 January 2017 and should be sent to the chair of the Jury, Anuj Dawar, by e-mail:anuj.dawar@cl.cam.ac.uk The Award The 2017 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 20-24 August 2017, in Stockholm (Sweden). The award consists of * a certificate, * an invitation to present the thesis at the CSL/LICS conference, * the publication of the laudatio in the CSL/LICS proceedings, and * travel support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. Jury The jury consists of: * Anuj Dawar (University of Cambridge), the president of EACSL; * Dale Miller (INRIA and Ecole Polytechnique), ACM SigLog representative; * Orna Kupferman (Hebrew University of Jerusalem); * Daniel Leivant (Indiana University, Bloomington); * Luke Ong (University of Oxford); * Jean-Eric Pin (CNRS and University of Paris 7); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Thomas Schwentick (TU Dortmund). How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Anuj Dawar (anuj.dawar@cl.cam.ac.uk); 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Anuj Dawar: anuj.dawar@cl.cam.ac.uk With the following subject line and text: * Subject: Ackermann Award Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text. Letters of support and documents can also be faxed to: Anuj Dawar Ackermann Award +44 1223 334678 The Jury has the right to declare submissions to be out of scope or not to meet the requirements. --------------7B2A9A0DF0D595965FD9CB14 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit 
ACKERMANN AWARD 2017 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
  CALL FOR NOMINATIONS

Nominations are now invited for the 2017 Ackermann Award.
PhD dissertations in topics specified by the CSL and LICS
conferences, which were formally accepted as PhD theses at a
university or equivalent institution between 1.1.2015 and 31.12.2016
are eligible for nomination for the award. The deadline for submission
is 1 April 2017.
Submission details follow below.
Nominations can be submitted from 1 January 2017 and should be sent
to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar@cl.cam.ac.uk

The Award
The 2017 Ackermann award will be presented to the recipient(s) at the
annual conference of the EACSL, 20-24 August 2017, in Stockholm
(Sweden).
The award consists of

     * a certificate,
     * an invitation to present the thesis at the CSL/LICS conference,
     * the publication of the laudatio in the CSL/LICS proceedings, and
     * travel support to attend the conference.


The jury is entitled to give the award to more (or less) than one
dissertation in a year.

Jury
The jury consists of:

     * Anuj Dawar (University of Cambridge), the president of EACSL;
     * Dale Miller (INRIA and Ecole Polytechnique), ACM SigLog
representative;
     * Orna Kupferman (Hebrew University of Jerusalem);
     * Daniel Leivant (Indiana University, Bloomington);
     * Luke Ong (University of Oxford);
     * Jean-Eric Pin (CNRS and University of Paris 7);
     * Simona Ronchi Della Rocca (University of Torino), the
vice-president of EACSL;
     * Thomas Schwentick (TU Dortmund).

How to submit
The candidate or his/her supervisor should submit

    1. the thesis (ps or pdf file);
    2. a detailed description (not longer than 20 pages) of the thesis
in ENGLISH (ps or pdf file);
    3. a supporting letter by the PhD advisor and two supporting letters
by other senior researchers (in English);
supporting letters can also be sent directly to Anuj Dawar
(anuj.dawar@cl.cam.ac.uk);
    4. a short CV of the candidate;
    5. a copy of the document asserting that the thesis was accepted as
a PhD thesis at a recognized University (or equivalent institution) and
that the candidate has received his/her PhD within the specified period.

The submission should be sent by e-mail as attachments to the chairman
of the jury, Anuj Dawar:
anuj.dawar@cl.cam.ac.uk
With the following subject line and text:

     * Subject: Ackermann Award Submission
     * Text: Name of candidate, list of attachments

Submission can be sent via several e-mail messages. If this is the case,
please indicate it in the text. Letters of support and documents can
also be faxed to:
Anuj Dawar
Ackermann Award
+44 1223 334678

The Jury has the right to declare submissions to be out of scope or not
to meet the requirements.
--------------7B2A9A0DF0D595965FD9CB14--