Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Dov Gabbay Prize for Logic and Foundations

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Dov Gabbay Prize for Logic and Foundations


Chronological Thread 
  • From: geoff AT cs.miami.edu
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] Dov Gabbay Prize for Logic and Foundations
  • Date: Wed, 30 Nov 2022 05:47:01 -0500 (EST)
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=SoftFail smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT armistead.ccs.miami.edu
  • Ironport-data: A9a23:fXEGCKzoOuBAgocG3bx6t+dNwirEfRIJ4+MujC+fZmUNrF6WrkUGz mUXWDqBa/rfamShet4kYdy0oRxX6sLSydVrTgBq+1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOOU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjimAc3l48sfrZ8ko256yq4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPozchcI1EVPbQl6+xnIFx// MxEGCoSO0Xra+KemNpXS8FlnMEiN9XmNY9ZsXp7izTYBPMnB53PXs0m5/cBjW123ZkITaeYO aL1ahI3BPjESxJCPVkZIJkl2uKpj3z+NTBUtTp5oIJrujOLkVUgitABNvLOIMOLfv9krHq4m Vriwm/JDC9DH4SmnG/tHnWE2raVw3+lMG4IL5Wz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c88zArrLMu+UWnCNLmGRi5qXuF+BMQRrK8DtHW9imJxJfmzBa6BlE5XzRRSeEXvf9qdSY1g wrhc8zSORRjt7icSHS4/7iSrC+vNSV9EVLudRPoXiNfvoa4/NFbYgbnC4Y7SvTv3rUZDBmpm 1i3QD4Ca6L/ZCLh/4C69FXG695HjsOSF1Vujuk7s3jM0++UTIe/Yo2z9VXS4bBLN8CcT1CEv T4Jl9X2AAEy4XOlz3HlrAYlRu3BCxO53Nr02wQHInXZ327xk0NPhKgJiNy+TW8wWir+RRfnY VXIpSRa74JJMX2hYMdfOtzvWpt2k/a8S4u7Cpg4i+aihLAqK2drGwk1OiatM5zFySDAbIlgZ M/DIa5A815HUMyLMwZat89BiOV1mn5WKZL7WJb60Rm9yruCdTaSR/8AMVKLb4gEAFCs/G3oH hc2H5Xi9iizp8WnOXePqdNKcg1SRZX5bLivw/Fqmie4ClIOMAkc5zX5mNvNoqQ1z/4HpfSC5 XynRE5TxXz2gHCNe03AaWluZPmrFdxzpG4yd35kd1u5+WkRUaD25ocmdrwzYeYG8s5nxqVKV PUrQZiLLclObTXlwA4jS6fBgrZsTzmVoD6fHjGEZWE/dqFwRgaS9d7DeBDuxRY0DSG2lJUfp pOx3DzfU5YseQRQJ5vUWamK0lmOuXgXp+FvbXTye/hSZ0Te34x4IAPhjvIMAp8tKDeS4hC4x gqpERMjiu2VmLAM8f7NnrGira2lN8BcD3hqNTDXwpjuPBaL41f555FLVdi5WAz0VUT2yf2EX vpUxfStC883tg9GnKQkGok60J9kwcXkooJb6QFWHH/rSVCPIZE4K1mk2fh/jIF89oV7iyCXB H3WosJ7PI+XMvzLCFQSfQopTtqS3MEuxwX9064HH1XY1gRWopy3CV5fLjuduhx7dbFVCr4o8 c0lmcwR6jG8tCYUD8a7vnhU2lmIf1M9UPQBl5AFAYXUpBIh5XNcbLf9VCLnwpG9RO9dE0stI w7PobfIuLBczHXBbkgMLyHs3PVct7sKqhtl3F8PHHXXu9vn19sc/gxdziQzdStRli546uNUP nN6EU9fKYGl3SZatOIaU0+CQwh+VQCkoGrvwF43pUjlZkiPVF2VClYiOOyIrXsrw0gFchd1p LinmXvYCxD0d8TM3ww3a05vi9rnafdTrgTiusSWL/6pLqkAQwjOo/GRPDITih7dH8kOqlXNp rBq8MZOeKTLD3MsjJNhObaK94Y7aU6iFDRZTOBD7ZE5OzjWWAuP1AikL2GzfcJwJML2z3KoN vw2GOVxU0WR6SXfiBEaGq8GHJFsltEL+tcpW+3mNEwGgZSlvxtrt5PhrQ3jjlAvQ99RktsPF bmIVjOdE16/gWlftH/NofJlZEu5Q4ggTy/t0N+l9N4mE8o4j9htVkUpw522lXmxGyl2zSK+5 Q/sSfff8L1/9N5KgYDpLJRmOyy1DtHCDMKz7wG5toV1X+PlaMvhmVsclQj6Al5wI7AUZtVQk IaNuv7R2Gfunu4/c0Ldqqm7O5h53+eAd8sJDZuvN1hfpzWIZ+H06Rha+2yYF41AoOkA2uaZH TmHeOmCXv9LfecEyHNsPn0UV15XDqnsda7vqB+st/nGWFBXzQXDK8jh7nPzK31ScigTIZDlF wvooLCU68tFqJhXTgoxbx2870SU/He4MUfnSzHwidVcJmCyh1KZprbrmVwr4iqND3iNFce87 J7YLvQ7mNJep4mQpOy1caQr1vHUMJq5qeIrOEcc8tt3zT22EQbq6MwDZI4eBMg8fjPaj/nFi fKkUIfmIS7mGzFFeBD9ptnvQ29zwwDI1sjRflQUwq9fV8t66E5szlesGueMLkqaogfe8dw=
  • Ironport-hdrordr: A9a23:WPs+NKioskgQ9IWte8oEF6XgQXBQXrAji2hC6mlwRA09TyX2ra 6TdZggtCMc9gx/ZJhIo7npU5VoKkm3yXca2+Qs1M+ZMDXbhA==
  • Ironport-phdr: A9a23:anqoax9FxSGUEP9uWdy3ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqHvr400ReJBdydt6gYzbKO8ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYb5+N gm6oAveusULgYZpN6I9xgfUrndSdOla22xlKUiPkxrg48u74YJu/TlXt/89+MFMVrn3cb4lR rJCFjQmNG415MzvtRbdSAaE+2URXGYLnBdWGgbJ9B71UIv/vSv8rep9xTKVPdbqQrAuWDSt9 LlkRRn1gyoaLTE58WXXisttjKJHpR+quhJyz5LIbIyTKfFzeL7Wc9EHSmpbRstfSjJPDIS/Y YUBD+QMJvpUo5Xhq1cStxayGRWgCeXywTFInH/22qg63vwuEQ7Y2wwgEdwOvW/Io9XuLqsSV OG1w7PNzTXCdf9Zxyry6JXOfxs8rv6CQah+ftDNyUkzCQzFlFOQpJTnMj6a1+kAsXaX4ep+W O+uhGArtQ98riSuy8oohITEm4wbx1LL+yllwos7Jd21RU1mbNOrDpddtCWXOo91T80iRWxjp Sg0yroDuZGhfSgKzowqxx/ba/yAaYeI7AjvVOGLITd3gn9uZbGxhw6q/ES9zuDwSNO43VhXo iZfkdTBsmoB2h3V58OaUPVy5F2h1iyK1w3L6uFLP0Q0la3DJpE72L4wk5sTsV/fHiDogkr5k bWaeVk49eiz8ejnZ7TmqYWZN491kA3xLLkhmtGnDeQ5NAgBQXSb9Pyh2LDn40H1WrtHguAsn qTatJ3WP8UWqra8AwBP04Yj7xi/Dy2h0NQdhXQHI0xKeBWJj4jnIFzBPOv4Ae26g1Stijhrw vHGMqf/DZrQM3jPiLHhcq1l5E5G1AUz1cxf545TCrwZPf7/QlXxu8DADh8lLwy0xP7qB8l61 oMHQG6AHquZML7JvlKT/eIuI+yMZJcPtzrnKvgl4eTujX4jllMHc6mpx8hfVHftSv9hOgCSZ WfmqtYHC2YD+AQkGr/EklqHBDFeYHi8d6knoDQ6AYenS4rPW9P+yIed1Tu2S8UFLltNDUqBR C+An+SsXv4NbHnXOcp9inkfUqDnTYY91BaovQu8yrx9L+OS9DdL/Yn72o1T4Ove3Qo36SQyF 96Uhm6ASG96tmgTATo31aV+50Fx1wTLyrB21sdfG8B97vJNGhw/KYaayuV7D97oXQeUcdqOR liOSc7gBDA4S9N3ztMTMA5mA9v3qBfF0mKxBqMN0byGAJth6qXHw334PNpw0V7PzqwglEUrS 8cJPma9wKt+/g3SQYPFji11jo6McqIRlG7I/WaHli+VuV1AFRV3SePDVGweYU3fqZL44FnDR vmgE+ZvNAwJ0sOEJqZQD7+hxVxbWPfuPsjfaGOtii+xAxiP3LaFcIvtfS0UwizcDEEOlw1b8 2yBMEAyASKoomSWCzILdxqnbE7r/+dWo2j9S049ygDMYkF8lvK09hMTmf2AWqYLxLtX8Cwlq jhyABO8x4ePWoDG/FMnLPQaP4BYgh8Pz2/Sug1jM4b1KqljggVbaAFrpwb10A0xDIxckM8sp XdszQxoKKve3kkSElHQlZ32JLDTLXH/uR61bKuDkF7T19iY0qwUrvE5olDi+gylCwBxlhcvm 8kQyHaa6pjQWUAdXJX/XG487F5/prjfY28w656ehjV8dKKztDHFwdcgAuAonw2hc9loO6SBD AbuEsceCqBCMcQRnFa1QBsFOKgS8ac1O5jjbP6awOuwO/4mmju6jGNB6YQ700SW9iM6RPSal 5oCxviZ2G7lH3/7gh+uv8f5l6hPfncXH2O6yG7pCJMZZ7Y6fIAADWaoLsH/2tI2gZnxE3JV7 1+sAVoa1arLMVLLPga7hlQWhRVR/zSugmOgwiZxki01o6bXxyHIz+n4NVIGNmNNWGh+nALpK ImwgcodWRvNDUBhnx+k6EDmgqlD8f0udS+IGAEYLm6ofAQAGuOqu7GPYtBC8sYtuCRTC6GnZ EyCD6X6u10c2j/iGG1XwHY6cSurs9P3hU8f6irVIXBtoX7eYcw1yw3Y4YmWSvNW0DQuTzI+j DjeA1n6MtW0t4bx9d+LoqWlWmStW4cGOybmyo2OnCCgo2hrCBi+2f2/h5e0WRh/2ij92d5wU CzOpxupeYjn2ZOxNud/d1VpDlvxuK8YUslu15E9j5YK1T0Gl42YqDAZxHzrP4wRiuruKWAAT jkRz5vJ7Rj5jQd9e2mRyducND3Vw9M9NYDrOCVNg2RtvoYTUu+V9OAWxHEk5APn9ESKPb4kx 38cz/Aq9XIX0dYSoARrwSKaDbQfW0JfOEmO31ye5tS65s27fU6Jdr69nAp7lNGlV/SZpx1EH W3+YtEkFDNx6cN2NBTN1mfy48fqYouYa9VbrRCSnxra6oodYJssivoHgzZmMmPhrDUkzeA8l xlnwZC9usCONWxs+KuzBhMQOCfyYosf/TTkjKAWmcjzvcjnBpJ6BjACR4flV9qhCjcTrujqP grIGzYn7HKaEL/eWwKT9QYurn7CFYyqK2DCJHQdyoYHJlHVL0hejQYIGTQiy8doTEbxnYqxI QEntVVzrhbipxBBy/xlLUz6W2bb/0KzbyssDYOYNFxQ5x1D4EHcNYqf6PhyFmdW5M7EzkTFJ 2qFagBPFWxMVFaDAgWpMbSp69fo+PPeA+u3KvqIbLmT4787Nb/A1de0341q8izZfN2IJWVnB uYn11BrVGp8Gt/FljwDDSccjGTIbseepVGx9jA9/aXduLz7HQno44WIEb5bN95irgu3jam0P OmVnC9lKDxc2/vkKlfD0/4a3VcXimdjeyT/StzoVAbEVqfRgbNaBhJdYChocs5J5qc9mARBJ JyD4jsQ/rVjyPs0AlJEE1Hth5PxDfE=
  • Ironport-sdr: 638734ae_iy+3e15hkjISeEtXU9Yp6y9YCoORl/MYQw1OBgPWwevZHat MGhRtNCYDgUZa2OICD98X3zL6D9DmbQQkfN85Kg==

================================================================
Call for Nominations: Dov Gabbay Prize for Logic and Foundations
================================================================

THE PRIZE

The ''Dov Gabbay Prize for Logic and Foundations'' is a new international
research prize established to honour the extraordinary, multi-faceted
scientific contributions of Prof. Dov Gabbay, known among others for editing
an extensive collection of Logic Handbooks. It has been launched on the
occasion of Dov's 77th birthday this October (Short bio:
https://dgp.iloaf.org/dov.html).

The prize aims at rewarding outstanding researchers in Logic and Foundations,
including Mathematical, Philosophical, and Computational Logic. It pays
special
attention to work combining - ideally - foundational insight and conceptual
innovation with sophisticated theoretical analysis.

The winner will receive a cash prize 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, depending on the recipient's research area. Specific efforts
will be made to promote the rewarded scientific work.

NOMINATION

Each nomination of a researcher should provide an accessible justification
and
list the main publications considered relevant.

It should also include the name, affiliation, and email address of the
nominator. Self-nominations are not allowed, the nominee should not be a
hierarchic superior of the nominator.

Proposals in pdf-format are to be sent to "dgp[at]iloaf[dot]org". The
deadline
for this call is January 31, 2023. Early submissions in December are
appreciated.

DECISION

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

    Johan van Benthem (Amsterdam University/U Stanford)
    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 of the 2022 call will be announced in May 2023.

ADMIN

Prize and process are managed by the "Logic and Foundations Initiative
(ILOAF)", which aims at initiating and supporting scientific and educational
activities in Logic and Foundations. It is currently sponsored by the
Luxembourg Logic Community.

CONTACT

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

Web: https://dgp.iloaf.org


  • [Coq-Club] Dov Gabbay Prize for Logic and Foundations, geoff, 11/30/2022

Archive powered by MHonArc 2.6.19+.

Top of Page