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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id DB2807F706 for ; Tue, 17 Dec 2013 11:28:05 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ronchi@di.unito.it) identity=pra; client-ip=130.192.156.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ronchi@di.unito.it"; x-sender="ronchi@di.unito.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ronchi@di.unito.it designates 130.192.156.1 as permitted sender) identity=mailfrom; client-ip=130.192.156.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ronchi@di.unito.it"; x-sender="ronchi@di.unito.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.di.unito.it) identity=helo; client-ip=130.192.156.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ronchi@di.unito.it"; x-sender="postmaster@mail.di.unito.it"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArsBAAkmsFKCwJwBnGdsb2JhbABZgka2ZoUHDgEBAQEBCAsJCRQogiUBAQQBHSMBASYSDQIiHRIbNAgGE4d8CK9JhFIBBZRBEQYEjiGEF4ETi1CXEQ2Kaw X-IPAS-Result: ArsBAAkmsFKCwJwBnGdsb2JhbABZgka2ZoUHDgEBAQEBCAsJCRQogiUBAQQBHSMBASYSDQIiHRIbNAgGE4d8CK9JhFIBBZRBEQYEjiGEF4ETi1CXEQ2Kaw X-IronPort-AV: E=Sophos;i="4.95,501,1384297200"; d="scan'208,217";a="41403387" Received: from pianeta.di.unito.it (HELO mail.di.unito.it) ([130.192.156.1]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Dec 2013 11:28:05 +0100 X-MailScanner-From: ronchi@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-100.645, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 0.16, BAYES_00 -1.90, HTML_MESSAGE 0.00, MISSING_FROM 1.00, RCVD_IN_DNSWL_LOW -0.70, RDNS_NONE 0.79, SPF_PASS -0.00, TO_EQ_FM_DIRECT_MX 0.00) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: rBHAQscR007564 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Received: from mail.di.unito.it ([130.192.156.1]) by mail.di.unito.it (INFO-DIP) with ESMTP id rBHAQscR007564 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO AuthenticatedUser=ronchi ); Tue, 17 Dec 2013 11:26:54 +0100 (CET) DKIM-Filter: OpenDKIM Filter v2.8.0 mail.di.unito.it rBHAQscR007564 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1387276015; bh=Thb3z3wzFI02Cn6skbSK+c9FQ8NELKD4dR0QlaBSjNk=; h=From:Date:Subject:References:To; b=c1ueWm0wlSpwMx49bEAPASwatpcAjQSoyts1rqqXC7BTG318RsGr1W7rfBrPp2NZV 4ZPuVr443lOtifhCmAf4jfFgVgGYF1s20NIX9Po/SSeYNYSGBh2aNlmFvFlIyv7XgU aCFGshldnmv4lsm00gp5OD+eLDzBOdhcTxwt5bdo= From: Ronchi Della Rocca Simona Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: multipart/alternative; boundary=Apple-Mail-2-946921781 Date: Tue, 17 Dec 2013 11:26:54 +0100 References: <52AEFEEC.5030509@cl.cam.ac.uk> To: io Ronchi Della Rocca Message-Id: X-Mailer: Apple Mail (2.1085) X-Validation-by: ronchi@di.unito.it Subject: [Caml-list] Ackermann award 2014 --Apple-Mail-2-946921781 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 >=20 > ACKERMANN AWARD 2014 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR > LOGIC IN COMPUTER SCIENCE > CALL FOR NOMINATIONS >=20 > Nominations are now invited for the 2014 Ackermann Award. > PhD dissertations in topics specified by the EACSL and LICS > conferences, which were formally accepted as PhD theses at a > university or equivalent institution between 1.1.2012 and 31.12.2013 > are eligible for nomination for the award. The deadline for submission > is 28 February 2014 (Note: this is earlier than in previous years). > Submission details follow below. > Nominations can be submitted from 1 January 2013 on and should be sent > to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar@cl.cam.ac.uk >=20 > The Award > The 2014 Ackermann award will be presented to the recipient(s) at the > annual conference of the EACSL (this year as the CSL/LICS joint > conference), 14-18 July 2014, in Vienna (Austria). > The award consists of >=20 > * a diploma, > * an invitation to present the thesis at the CSL/LICS conference, > * the publication of the laudatio in the CSL/LICS proceedings, > * travel support to attend the conference. >=20 > The jury is entitled to give more (or less) than one award per year. > Jury > The jury consists of: >=20 > * Thierry Coquand (Chalmers University of Gothenburg); > * Anuj Dawar (University of Cambridge), the president of EACSL; > * Thomas A. Henzinger (IST Austria); > * Daniel Leivant (Indiana University, Bloomington); > * Damian Niwinski (University of Warsaw); > * Luke Ong (University of Oxford), LICS representative; > * Simona Ronchi Della Rocca (University of Torino), the > vice-president of EACSL; > * Wolfgang Thomas (RWTH, Aachen). >=20 > How to submit > The candidate or his/her supervisor has to submit >=20 > 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 faculty or researchers in equivalent positions (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 > (scanned as pdf-file or faxed). >=20 > 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: >=20 > * Subject: Ackermann Award Submission > * Text: Name of candidate, list of attachments >=20 > 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 >=20 > The Jury has the right to declare submissions to be out of scope or not > to meet the requirements. >=20 > The Award is sponsored by the Kurt G=F6del Society. _____________________ Simona Ronchi Della Rocca full professor of "Foundations of Computer Science" Dipartimento di Informatica Universit=E0 di Torino c. Svizzera 185, 10149 Torino e-mail: ronchi@di.unito.it phone:+39-011-6706734 fax: +39-011-751603 mobile: +39-320-4205121 --Apple-Mail-2-946921781 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1


ACKERMANN AWARD 2014 - THE EACSL OUTSTANDING D= ISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
 CALL FOR NOMIN= ATIONS

Nominations are now invited for the 2014 Ackermann Award.
= PhD dissertations in topics specified by the EACSL and LICS
conferences,= which were formally accepted as PhD theses at a
university or equivalen= t institution between 1.1.2012 and 31.12.2013
are eligible for nominatio= n for the award. The deadline for submission
is 28 February 2014 (Note: = this is earlier than in previous years).
Submission details follow below= .
Nominations can be submitted from 1 January 2013 on and should be sent=
to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar@cl.cam.ac.uk

The Award
The 20= 14 Ackermann award will be presented to the recipient(s) at the
annual c= onference of the EACSL (this year as the CSL/LICS joint
conference), 14-= 18 July 2014, in Vienna (Austria).
The award consists of

 &= nbsp;  * a diploma,
    * an invitation t= o present the thesis at the CSL/LICS conference,
   &nbs= p;* the publication of the laudatio in the CSL/LICS proceedings,
 =    * travel support to attend the conference.

The jur= y is entitled to give more (or less) than one award per year.
Jury
Th= e jury consists of:

    * Thierry Coquand (Chal= mers University of Gothenburg);
    * Anuj Dawar (U= niversity of Cambridge), the president of EACSL;
   &nbs= p;* Thomas A. Henzinger (IST Austria);
    * Daniel= Leivant (Indiana University, Bloomington);
    * D= amian Niwinski (University of Warsaw);
    * Luke O= ng (University of Oxford), LICS representative;
    = ;* Simona Ronchi Della Rocca (University of Torino), the
vice-president = of EACSL;
    * Wolfgang Thomas (RWTH, Aachen).
=
How to submit
The candidate or his/her supervisor has to submit
<= br>    1. the thesis (ps or pdf file);
   = ;2. a detailed description (not longer than 20 pages) of the thesis
in E= NGLISH (ps or pdf file);
   3. a supporting letter by th= e PhD advisor and two supporting letters
by other senior faculty or rese= archers in equivalent positions (in
English); supporting letters can als= o be sent directly to Anuj Dawar
(anuj.dawar@cl.cam.ac.uk);
   4. a short CV of t= he candidate;
   5. a copy of the document asserting tha= t 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
(scanned as pdf-file or faxed).

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

&nb= sp;   * Subject: Ackermann Award Submission
  =   * Text: Name of candidate, list of attachments

Submissio= n can be sent via several e-mail messages. If this is the case,
please i= ndicate it in the text. Letters of support and documents can
also be fax= ed 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 t= he requirements.

The Award is sponsored by the Kurt G=F6del Society.=

______= _______________
Simona Ronchi Della Rocca
full professor of
"Foundations o= f Computer Science"
Dipartimento di Informatica
=
Universit=E0 di Torino
c. Svizzera= 185, 10149 Torino

= phone:+39-011-6706734
fax: +39-011-751603
mobile: +39-320-4205121=

<= /html>= --Apple-Mail-2-946921781--