Email Gateway (Jul 12 2023 at 05:36): Email Gateway (Jul 12 2023 at 05:36):From: Alexander Steen <alexander.steen@uni-greifswald.de>
The Jury of the Dov Gabbay Prize for Logic and Foundations is pleased to
annnounce that the 2023 Dov Gabbay Prize is awarded jointly to
for their long-standing important contributions to the practice and
theory of logic programming, theorem proving and related important
strands in Computational Logic.
Dale Miller (Inria-Saclay and LIX/Ecole Polytechnique, France) has done
pioneering and agenda-setting research bringing together and advancing
logical proof theory and computational logic in the areas of
higher-order logic programming and higher-order theorem proving. His
research spans the full range from innovative foundational theory to the
design and implementation of state-of-the-art working systems.
Mirek Truszczynski (University of Kentucky, USA) has done pioneering and
agenda-setting research in logic programming, non-monotonic reasoning,
answer-set programming, and preference in computational choice, where
his seminal contributions are widely recognized. His research has
succesfully run the gamut from mathematical foundations to industrial
applications.
The Dov Gabbay Prize was instituted in 2022 by the Initiative for Logic
and Foundations on the occasion of Dov Gabbay's 77th birthday. Its
intent is to recognize outstanding inspirational contributions in logic
and foundations across the interdisciplinary range of activities in
Gabbay’s work over the years.
In response to a first call, the Jury has received a wide and diverse
range of strong nominations of high-profile excellent candidates, which
resulted in extensive discussions. It was decided to focus in this first
round on research in Computational Logic that reflects primary interests
of Dov Gabbay.
With the awards to follow in the years to come, the profile of the
Gabbay Prize will be built up further: in particular, Philosophical
Logic and Mathematical Logic will be in focus in succeeding years.
Further information on these and other matters regarding the Prize will
be found in the next calls for proposals.
Johan van Benthem, Christoph Benzmueller, Agata Ciabattoni, Laura
Giordano, Hannes Leitgeb, Philip Welch (chair)
Further details on https://iloaf.org/dgp.html
Last updated: Oct 30 2025 at 20:23 UTC