---------- Forwarded message ---------
ACKERMANN AWARD 2024
EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
CALL FOR NOMINATIONS
Nominations are now invited for the 2024 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 2023 and 31 December 2023 are
eligible for nomination for the award.
The deadline for submission is 1 July 2024.
Nominations should be submitted by the candidate or the supervisor via
Easychair: https://easychair.org/my/conference?conf=ackermann2024
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 2024 Ackermann award will be presented to the recipient(s) at CSL 2025.
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:
* Albert Atserias (UPC Barcelona)
* Christel Baier (TU Dresden)
* Andrej Bauer (U Ljubljana)
* Javier Esparza (TU Munich)
* Maribel Fernandez (King’s College London), EACSL president
* 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 (McGill U)
For more information please contact Maribel Fernandez:
maribel.fernan...@kcl.ac.uk
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgRM4_k4BVe%2BG%2BoEQbVhHM0XU7EYwk5MhzDuOJAjUN-rQ%40mail.gmail.com.
