---

2011 Ackermann Award to Benjamin Rossmann

The Ackerman Award, the annual European Association for Computer Science Logic (EASCSL) Outstanding Dissertation Award for Logic in Computer Science, has been given in 2011 to Benjamin Rossmann for his M.I.T. thesis, Average Case Complexity of Detecting Cliques, written under the supervision of M. Sudan. The jury included: A. Atserias, T. Coquand, A. Dawar, J.-P. Jouannaud, D. Niwinski, L. Ong, P.-L. Curien, and W. Thomas, with J. Makowsky as secretary. For the years 2010-2013, the Award is sponsored by the Kurt Gödel Society.

2012 CRM-Fields-PIMS Prize to Stevo Todorcevic

Stevo Todorcevic, who holds a Canada Research Chair at the University of Toronto, is the winner of the 2012 CRM-Fields-PIMS Prize. The CRM-Fields-PIMS Prize is the premier Canadian award for research achievements in the mathematical sciences. The awardee is selected each fall by an independent international committee with six members, two named by each of the three institutes. The prize winner is invited to give a lecture at each of the institutes and the prize includes a cash award of CAN-$10,000. Todorcevic was cited for his strikingly original and technically brilliant contributions to set theory, which have made him a world leader in the subject, with a particular impact on combinatorial set theory and its connections with topology and analysis. For further information, visit http://www.pims.math.ca/news/prof-stevo-todorcevic-awarded-crm-fields-pims-prize or http://www.crm.umontreal.ca/prix/prixCRMFieldsPIMS/prixCFP12_fr.shtml.

Call for Nominations: 2012 Ackermann Award

The European Association for Computer Science Logic (EASCSL) invites submissions for its Outstanding Dissertation Award for Logic in Computer Science (Ackermann Award). To be eligible for the 2012 Ackermann Award, the candidate must have completed a Ph.D. dissertation in topics specified by the EACSL and LICS conferences that was formally accepted as a Ph.D. thesis at a university or equivalent institution between January 1, 2010 and December 31, 2011. The deadline for submission is April 15, 2012; details are available atthe website below. For the years 2010-2012, the Award is sponsored by the Kurt Gödel Society.
http://www.eacsl.org/submissionsAck.html

Call for papers:Automated Reasoning and Mathematics: Essays in Memory of William McCune

This volume will consist of articles presenting research in all aspects of automated reasoning and its applications to mathematics. It is expected that the book will be published in the Festschrift subseries of the Springer LNAI/LNCS series. The deadline for submission is March 1, 2012. For further information, visit the webpage below.
http://profs.sci.univr.it/~bonacina/McCuneBook/McCuneBook.html