The Ackermann Award 2025

Fernández, Maribel; Panangaden, Prakash

doi:10.4230/LIPIcs.CSL.2026.1

Document

The Ackermann Award 2025

Authors Maribel Fernández , Prakash Panangaden

Part of: Volume: 34th EACSL Annual Conference on Computer Science Logic (CSL 2026)
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: 2026-02-18

PDF

File

PDF

LIPIcs.CSL.2026.1.pdf

Filesize: 451 kB
5 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CSL.2026.1
URN: urn:nbn:de:0030-drops-254251

Subject Classification

ACM Subject Classification

Theory of computation → Logic and verification
Theory of computation → Finite Model Theory
Theory of computation → Proof theory
Theory of computation → Transducers

Keywords

graph transducer
linear dynamical system
model checking problem

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Document

0

Metadata

Abstract

Report on the 2025 Ackermann Award, on behalf of the EACSL Ackermann Award Jury.

Cite As Get BibTex

Maribel Fernández and Prakash Panangaden. The Ackermann Award 2025. In 34th EACSL Annual Conference on Computer Science Logic (CSL 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 363, pp. 1:1-1:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/LIPIcs.CSL.2026.1

Author Details

Maribel Fernández

Department of Informatics, King’s College London, UK

Prakash Panangaden

McGill University, Montreal, Canada
The University of Edinburgh, UK

Any Issues?

Feedback on the Current Page

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail