Awards

Selected Awards Connected to Articles in Logical Methods in Computer Science


Shoenfield Prize 2022 for Vasco Brattka for his article
A Galois connection between Turing jumps and limits

Ackermann Award 2021 for Sandra Kiefer for her PhD thesis; the corresponding article is
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic

Ackermann Award 2019 for Antoine Mottet for his PhD thesis; the corresponding article is
A Dichotomy for First-Order Reducts of Unary Structures