[TYPES/announce] Ackermann Award: Call for nominations

[Maribel Fernandez]

                  ACKERMANN AWARD 2023

EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE

                  CALL FOR NOMINATIONS



Nominations are now invited for the 2023 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 2022

and 31 December 2022 are eligible for nomination for the award.



The deadline for submission is 1 July 2023.



Nominations should be submitted by the candidate or the supervisor

via Easychair:

 https://urldefense.com/v3/__https://easychair.org/my/conference?conf=ackermann23__;!!IBzWLUs!S1O-m31FjkRTC1Oq6-5I8G60D72erGarZSP6Jk7q1uG-b8iOPwPfjXxihcQVzbv-qKQxkIte136AU6W8-1QeFkOircIdhEAwIXSkCR0Vjlo8$ 



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 (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 2023 Ackermann award will be presented to the recipient(s)

at CSL 2024, 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.



*** Ackermann Jury

The jury consists of:

  * Christel Baier (TU Dresden)

  * Maribel Fernandez (King’s College London), president of EACSL

  * Jean Goubault-Larrecq (ENS Paris-Saclay)

  * Joost-Pieter Katoen (RWTH Aachen University), ACM SigLog rep.

  * Delia Kesner (IRIF, U Paris Cite)

  * Slawomir Lasota (U Warsaw)

  * Florin Manea (U Goettingen), vice-president of EACSL

  * Prakash Panangaden (McGill University)

  * James Worrell (U Oxford)





For more information please contact Maribel Fernandez:

Maribel.Fernandez at kcl.ac.uk<mailto:Maribel.Fernandez at kcl.ac.uk>




--
Professor Maribel Fernandez
Deputy Head of Department (Academic Planning)
Department of Informatics, King’s College London
https://urldefense.com/v3/__https://nms.kcl.ac.uk/maribel.fernandez__;!!IBzWLUs!S1O-m31FjkRTC1Oq6-5I8G60D72erGarZSP6Jk7q1uG-b8iOPwPfjXxihcQVzbv-qKQxkIte136AU6W8-1QeFkOircIdhEAwIXSkCXyiXnTk$ 


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230309/25063f2e/attachment-0001.htm>