Logic List Mailing Archive

CfN: Ackermann Award 2026 – EACSL Outstanding Dissertation Award (Logic in Computer Science), deadline: 1 July 2026

ACKERMANN AWARD 2026
EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
                  CALL FOR NOMINATIONS

Nominations are now invited for the 2026 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 2025
and 31 December 2025 are eligible for nomination for the award.

The deadline for submission is 1 July 2026.

Nominations should be submitted by the candidate or the
supervisor via Easychair:

   https://easychair.org/conferences/?conf=ackermann2026

Please submit a pdf file containing:
1. a summary in English of the thesis (maximum 10 pages),
providing a gentle introduction and overview of the thesis,
highlighting the novel results and their impact and
including a link to the thesis in the first page
(please do not include the thesis itself);
2. a supporting letter by the PhD advisor and two supporting
letters by other senior researchers (in English);
3. a copy of a document stating that the thesis was accepted
as a PhD thesis at a recognised University (or equivalent
institution) and that the candidate was awarded the PhD
degree within the specified period;
4. a short CV of the candidate.

*** The Award
The 2026 Ackermann award will be presented to the recipient(s)
at CSL 2027.

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 and financial support to
attend the conference.
The Ackermann Award 2026 is sponsored by
Amazon Automated Reasoning.

*** Ackermann Jury
The jury consists of:
  ** Albert Atserias (UPC Barcelona)
  ** Christel Baier (TU Dresden)
  ** Andrej Bauer (U Ljubljana)
  ** Javier Esparza (TU Munich)
  ** Maribel Fernandez (Kings College London), EACSL president
  ** Jean Goubault-Larrecq (ENS Paris-Saclay)
  ** Joost-Pieter Katoen (RWTH Aachen U), ACM SigLog rep.
  ** Delia Kesner (IRIF, U Paris Cite)
  ** Slawomir Lasota (U Warsaw)
  ** Florin Manea (U Goettingen), EACSL vice-president
  ** Prakash Panangaden (U Edinburgh & McGill U)

For more information please contact Maribel Fernandez:
Maribel.Fernandez@kcl.ac.uk<mailto:Maribel.Fernandez@kcl.ac.uk>


--
Professor Maribel Fernandez
Vice Dean  (People and Planning)
Faculty of Natural, Mathematical & Engineering Sciences
Department of Informatics
Kings College London


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php