ACKERMANN AWARD 2011 * The award was presented at the CSL'11, held in Bergen, Norway. * The Jury consisted of A. Atserias (Barcelona, Spain), T. Coquand (Gothenburg, Sweden), A. Dawar (Cambridge, U.K., vice-president of EACSL), J.-P. Jouannaud (Paris, France), D. Niwinski (Warsaw, Poland, president of EACSL), L. Ong (Oxford, U.K., LICS representative), W. Thomas (Aachen, Germany), with J. Makowsky as secretary. * The Ackermann Award 2011 has been granted to Benjamin Rossman for the thesis ``Average Case Complexity of Detecting Cliques'', supervised by Prof. Madhu Sudan, and presented at the Massachusetts Institute of Technology in September 2010. * The Jury report is published in the CSL'11 Proceedings at http://drops.dagstuhl.de/portals/extern/index.php?semnr=11007 * The call for nominations for the Ackermann Award 2011 can be found at http://www.eacsl.org/submissionsAck.html
ACKERMANN AWARD 2012 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS * Eligible for the 2012 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.2010 and 31.12. 2011. * Submission details are available at http://www.eacsl.org/submissionsAck.html * The deadline for submission is April 15, 2012 * Nominations should be sent to the chair of the Jury by e-mail: niwin...@mimuw.edu.pl * 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 2012 Ackermann Award will be presented to the recipients at the annual conference of the EACSL (CSL'12) in Fontainebleau (France) to be held 3-6 September 2012. * The jury consists of 8 members: - A. Dawar (Cambridge, U.K., vice-president of EACSL) - T.A. Henzinger (Klosterneuburg, Austria) - J.-P. Jouannaud (Paris, France) - D. Leivant (Bloomington, USA) - D. Niwinski (Warsaw, Poland, president of EACSL) - L. Ong (Oxford, U.K., LICS representative) - W. Thomas (Aachen, Germany) * The jury is entitled to give more (or 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: ---- (no award given); 2011: Benjamin Rossman * For the three years 2010-2012, the Ackermann Award is sponsored by the Kurt Goedel Society. _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l