The Ackermann Award 2023

Fernández, Maribel; Goubault-Larrecq, Jean; Kesner, Delia

doi:10.4230/LIPIcs.CSL.2024.1

Document

The Ackermann Award 2023

Authors Maribel Fernández , Jean Goubault-Larrecq, Delia Kesner

Part of: Volume: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: Computer Science Logic (CSL)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2024-02-07

PDF

File

LIPIcs.CSL.2024.1.pdf

Filesize: 429 kB
4 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CSL.2024.1
URN: urn:nbn:de:0030-drops-196446

Author Details

Maribel Fernández

Department of Informatics, King’s College London, UK

Jean Goubault-Larrecq

LSV, Ecole Normale Supérieure Paris-Saclay, France

Delia Kesner

IRIF (CNRS UMR 8243) - Université Paris Cité, France

Cite AsGet BibTex

Maribel Fernández, Jean Goubault-Larrecq, and Delia Kesner. The Ackermann Award 2023. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 1:1-1:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.CSL.2024.1

Abstract

Report on the 2023 Ackermann Award.

Subject Classification

ACM Subject Classification

Theory of computation → Logic and verification
Theory of computation → Lambda calculus
Theory of computation → Equational logic and rewriting

Keywords

lambda-calculus
computational complexity
geometry of interaction
abstract machines
intersection types

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail