<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">CALL FOR NOMINATIONS</span></p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Dov Gabbay Prize for Logic and Foundations 2025</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">THE PRIZE:</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">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.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Our focus in 2025: “PHILOSOPHICAL LOGIC”</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Here broadly understood - including reasoning and representation in AI and Linguistics.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Past laureates:</span></p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">2023: Dale Miller and Mirek Truszczynski (Computational Logic)</span></p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">2024: David Asperó and Ralf Schindler (Mathematical Logic)</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">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: <a href="https://dgp.iloaf.org/dov.html">https://dgp.iloaf.org/dov.html).</a></span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">NOMINATION:</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Each nomination of a researcher should provide an accessible justification and list the main publications considered relevant. It 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.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Proposals in pdf-format should be sent to “dgp[at]iloaf[dot]org”.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">The deadline for this call is March 31, 2025.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">DECISION:</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">The selection is made by an independent jury consisting of renowned logicians representing Mathematical, Philosophical, and Computational Logic.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">John T. Baldwin (University of Illinois Chicago)</span></p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Johan van Benthem (University of Amsterdam/Stanford University)</span></p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Christoph Benzmueller (University of Bamberg)</span></p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Laura Giordano (Università del Piemonte Orientale)</span></p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Hannes Leitgeb (LMU Munich)</span></p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Philip Welch (University of Bristol)</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">The decision will be announced in July 2025.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">There is an overall cash reward of 2001 EUR and each awardee is invited to give a talk. The details of the ceremony will be communicated after the announcement.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">ORGANIZATION:</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">The prize is currently organized by the “Initiative for Logic and Foundations asbl” (<a href="https://iloaf.org/">https://iloaf.org</a>), a registered non-profit organization anchored
in Luxembourg (reflecting the close links of Dov Gabbay with the Logic group of Leon van der Torre).</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Contact:</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">For any questions, please contact the organizing committee via “dgp[at]iloaf[dot]org”.</span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<p class="p1" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;">Web: <a href="https://dgp.iloaf.org/">https://dgp.iloaf.org</a></span></p>
<p class="p2" style="margin: 0px; font-stretch: normal; font-size: 17.2px; line-height: normal; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal; min-height: 22.2px; -webkit-text-size-adjust: auto;">
<span class="s1" style="font-family: UICTFontTextStyleBody; font-size: 17.18px;"></span><br>
</p>
<div dir="ltr"></div>
</body>
</html>