×

zbMATH — the first resource for mathematics

The Ackermann Award 2017. (English) Zbl 1434.03004
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 1, 4 p. (2017).
Summary: The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2017 edition of the award.
For the entire collection see [Zbl 1372.68009].
MSC:
03-03 History of mathematical logic and foundations
68-03 History of computer science
01A99 History of mathematics and mathematicians
03B70 Logic in computer science
PDF BibTeX XML Cite
Full Text: DOI