Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Dov Gabbay Prize 2024: Call for Nominations


view this post on Zulip Email Gateway (Mar 02 2024 at 19:25):

From: Alexander Steen <cl-isabelle-users@lists.cam.ac.uk>
===========================================
Dov Gabbay Prize 2024: Call for Nominations
===========================================

The ''Dov Gabbay Prize for Logic and Foundations'' is an international
research prize aimed at outstanding and inspirational contributions in
Logic and Foundations. It targets active researchers combining
foundational insight and conceptual innovation with sophisticated
theoretical analysis.

The theme of 2024 is: "Mathematical Logic and its Foundations"

The prize honours the extraordinary, multi-faceted and lifelong
scientific and editorial work of Dov Gabbay, known among others for
editing an extensive collection of Logic Handbooks (Short
bio: https://dgp.iloaf.org/dov.html).

Submission:

Each nomination of a researcher should provide an accessible
justification and list the main publications considered relevant. It
also has to include the name, affiliation, and email address of the
nominator. Self-nominations are excluded and the nominee should not be
in a hierarchical relationship with the nominator. Last year's
submissions from Mathematical Logic will be reincluded by default.

Proposals in pdf-format should be sent to "dgp[at]iloaf[dot]org".

The deadline for this call is April 30, 2024.

Decision:

The selection is made by an independent jury consisting of seven
renowned logicians representing Mathematical, Philosophical, and
Computational logic:

John T. Baldwin (University of Illinois Chicago)
Johan van Benthem (University of Amsterdam/Stanford University)
Christoph Benzmueller (University of Bamberg)
Agata Ciabattoni (TU Vienna)
Laura Giordano (Università del Piemonte Orientale)
Hannes Leitgeb (LMU Munich)
Philip Welch (University of Bristol)

The winner/s will be awarded a cash prize of 2001 EUR and be invited to
give a talk. The details of the ceremony will be determined after the
recipient/s and their areas are known.

The decision will be announced in July 2024.

Organisation:

The prize is currently organized by the "Initiative for Logic and
Foundations asbl" (https://iloaf.org), a registered non-profit
organization anchored in Luxembourg (reflecting the close links of Dov
with the Logic group of Leon van der Torre).

Contact:

For any questions, please contact the organizing committee via
"dgp[at]iloaf[dot]org".

Web: https://dgp.iloaf.org


Last updated: Apr 29 2024 at 04:18 UTC