News and Events: Funding, Grants and Competitions

Please note that this newsitem has been archived, and may contain outdated information or links.

Call for Nominations: Ackermann Award 2022

Deadline: Friday 1 July 2022

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. Nominations are now invited for the 2022 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 January 2020 and 31 December 2021 are eligible for nomination for the award.The 2022 Ackermann award will be presented to the recipient(s) at CSL 2023, the annual conference of the EACSL.

The award consists of a certificate, an invitation to present the thesis at the CSL conference, the publication of the laudatio in the CSL proceedings, an invitation to the winner to publish the thesis in the FoLLI subseries of Springer LNCS, and financial support to attend the conference.

For more information, see https://www.eacsl.org/ackermann-award/ or contact Thomas Schwentick at .

Please note that this newsitem has been archived, and may contain outdated information or links.