Dov Gabbay Prize for Logic and Foundations
The Dov Gabbay Prize for Logic and Foundations is an international research prize launched on the occasion of Professor Dov Gabbay's 77th birthday. This initiative is meant to honour the extraordinary and multi-faceted scientific and editorial work of Dov Gabbay, known in particular for his creation of dozens of specialized Logic Handbooks.
The jury consists of renowned scientists from different areas of logic, philosophy and computer science. For the round 2022/2023 it comprises the following persons (in alphabetical order):
- Johan van Benthem (Amsterdam University, NL/U Stanford, US)
- Christoph Benzmueller (University of Bamberg, DE)
- Agata Ciabattoni (TU Wien, AT)
- Laura Giordano (Università del Piemonte Orientale, IT)
- Hannes Leitgeb (LMU Munich, DE)
- Philip Welch (University of Bristol, UK)
Call for Nominations
The Dov Gabbay Prize for Logic and Foundations is an international research prize established to honour the extraordinary, multi-faceted, and ongoing scientific and editorial work of Prof. Dov Gabbay, known in particular for editing an extensive collection of specialized Logic Handbooks. It is launched on the occasion of his 77th birthday.
The prize rewards outstanding researchers in Logic and Foundations, including Mathematical, Philosophical, and Computational Logic. It promotes work able to inspire current and future generations of logicians, if not a broader audience, ideally combining deep foundational insight and conceptual innovation with sophisticated theoretical analysis.
The winner will receive 2001 EUR and be invited to give a talk (accessible for an online audience) at a major logic centre or a logic-related meeting in 2023, the choice depending on the recipient's research area. Additional efforts will be made to promote the rewarded scientific work.
Each nomination has to specify the researcher, provide a justification accessible to non-expert logicians (0.5-2 pages), and list the publications considered relevant.
It also has to include the name, affiliation, and email address of the nominator. Self-nominations are not allowed, the nominator should not depend on the nominee. Proposals in pdf format should be sent to
dgp[at]iloaf[dot]org. The deadline for this call is March 1, 2023.
The decision is made by an independent selection committee consisting of six internationally renowned logicians representing Mathematical, Philosophical, and Computational Logic (see above). The jury can decide to attribute no prize in a given year. The winner of the 2022 call will be announced in June 2023.
Prize and process are managed by the Logic and Foundations Initiative (ILOAF), which aims at initiating and supporting scientific and educational activities in these areas. It is currently generously sponsored by the Luxembourg Logic Community.
Questions and nominations should be directed to the organizing committee via email: