ACKERMANN AWARD 2010
* The sixth Ackermann Award was to be presented at this CSL'10,
held in Brno, Czech Republic.
* The Jury consisted of
A. Atserias (Barcelona, Spain),
R. Alur (Philadelphia, USA),
J. van Benthem (Amsterdam, The Netherlands),
T. Coquand (Gothenburg, Sweden),
P.-L. Curien (Paris, France),
A. Dawar (Cambridge, U.K., Vice-president of EACSL),
A. Durand (Paris, France),
J.A. Makowsky (Haifa, Israel, Chair of the Jury and Member of the
EACSL Board),
D. Niwinski (Warsaw, Poland, President of EACSL) and
G. Plotkin (Edinburgh, U.K., LICS Organizing Committee).
* In spite of the extremely high quality of the nominated theses,
the Jury finally, and almost unamimously, decided
NOT to give an Ackermann Award in 2010.
* The Jury would like to emphasize that this decision does not
imply that the nominations this year were weaker than in the
past. Most of the nominations this year were at the same level as many
of the shortlisted nominations in the previous years. Yet none of them
had the additional extra quality required for the Ackermann Award.
* The full text of the Jury's report may be found
in the Proceedings of CSL'2010 (LNCS vol. 6247) or
at http://www.springerlink.com/index/N660523295512W22.pdf
* The call for nominations for the Ackermann Award 2011
can be found at http://www.eacsl.org/submissionsAck.html
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * * * * * * * * * * * * * * * *
ACKERMANN AWARD 2011 - THE EACSL OUTSTANDING DISSERTATION AWARD
FOR LOGIC IN COMPUTER SCIENCE
CALL FOR NOMINATIONS
* Eligible for the 2011 Ackermann Award are 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.2009 and 31.12. 2010.
* Submission details are available at
http://www.eacsl.org/submissionsAck.html
* The deadline for submission is March 15, 2011
Nominations can be submitted from January 1, 2011 on,
and should be sent to the secretary of the Jury by e-mail:
[email protected]
* The award consists of
- a diploma,
- an invitation to present the thesis at the CSL conference,
- the publication of the abstract of the thesis and the laudation
in the CSL proceedings,
- travel support to attend the conference.
* The 2011 Ackermann Award will be presented to the recipients at the
annual conference of the EACSL (CSL'11) in Bergen (Norway)
to be held 12-15 September 2011,
www.eacsl.org/csl11/
* The jury consists of at least 7 members (additions still likely):
- The president of EACSL, D. Niwinski (Warsaw)
- The vice-president of EACSL, A. Dawar (Cambridge)
- One member of the LICS Steering Committee, NN
- A. Atserias (Barcelona)
- T. Coquand (Goeteborg)
- P.-L. Curien (Paris)
- A. Durand (Paris)
J. Makowsky (Haifa), member of the board of EACSL, will act as the
secretary of the Jury.
* The jury is entitled to give more (and less) than one award per year.
* The previous Ackermann Award recipients were:
2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
2006: Stefan Milius and Balder ten Cate;
2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang;
2008: Krishnendu Chatterjee;
2009: Jakob Nordstrom;
2010: ---- (The Jury decided that no Award is given).
* For the four years 2010-2013,
the Ackermann Award is sponsored by the Kurt Goedel Society
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
