2022 E. W. Beth Dissertation Prize

Note. Bentkamp's dissertation will appear in the book series FoLLI-LNCS in 2027:

We are pleased to announce the winner of the 2022 E.W. Beth Dissertation Prize:

Alexander Bentkamp,  Superposition for Higher-Order Logics,  VU Amsterdam

The finalists for the prize are:

• Vrunda Dave, On Some Fundamental Problems and Applications of Word Transducers,  IIT Bombay
• Markus Hecher,  Advanced Tools and Methods for Treewidth-Based Problem Solving, Vienna University of Technology
• Jonathan Sterling, First Steps in Synthetic Tait Computability, The Objective Metatheory of Cubical Type Theory, Carnegie Melon University
• Elodie Winckel, French Subject Islands: Empirical and Formal Approaches,  Humboldt-Universität zu Berlin