{"id":74,"date":"2014-02-20T08:09:43","date_gmt":"2014-02-20T08:09:43","guid":{"rendered":"https:\/\/folli.info\/?page_id=74"},"modified":"2026-03-02T13:22:28","modified_gmt":"2026-03-02T13:22:28","slug":"beth-award","status":"publish","type":"page","link":"https:\/\/folli.info\/?page_id=74","title":{"rendered":"E.W. Beth Dissertation Prize"},"content":{"rendered":"

Since 1998, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information, with financial support of the E.W. Beth Foundation. <\/a><\/p>\n

Information about the qualifications for the 2026 E.W. Beth Dissertation Prize:<\/span><\/strong>
\u00a0– Ph.D. dissertations concerning a topic in Logic, Language, or Information are eligible for the prize, if the degree was awarded\u00a0 between January 1st and December 31st, 2025.<\/span>
\u00a0– There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written.<\/span>
\u00a0–\u00a0 In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on topics in the broad remit of ESSLLI, including current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language, and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited.<\/span>
\u00a0–\u00a0 If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2027. The English translation must in such cases be submitted before the deadline of the call for nominations in 2027. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation.<\/span><\/p>\n

The prize consists of:<\/span><\/strong>
– \u00a0a certificate<\/span>
– a donation of 3000 euros, provided by the E.W. Beth Foundation. In case two dissertations are selected, the prize will be split between the winners.<\/span>
– an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer)<\/span><\/p>\n

General submission guidelines:<\/span><\/strong>
\n– Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. The following documents are to be submitted in the nomination dossier:<\/span>
– The original dissertation in pdf format (ps\/doc\/rtf etc. not acceptable).<\/span>
– A 10-page English abstract of the dissertation (including references), presenting the main results of each chapter.<\/span>
– A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator.<\/span>
– Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. Thesis committee members (not from the awarding institution) are eligible as referees.<\/span>
\u00a0– Self-nominations are not possible.<\/span>
– FoLLI is committed to diversity and inclusion and we welcome dissertations from all under-represented groups.<\/strong><\/span><\/span><\/p>\n

All pdf documents must be submitted electronically, as one pdf file<\/strong>, via EasyChair by following the link https:\/\/easychair.org\/my2\/conference?conf=beth26<\/a> <\/p>\n

*** The deadline is April 15th, 2026, AoE. ***<\/strong><\/p>\n

In case of any problems or questions please contact the chair of the committee Yoad Winter (y.winter@uu.nl<\/a>).<\/p>\n

Watch a short interview with some former members of the E. W. Beth Dissertation Prize committee and awardees here!<\/a><\/p>\n

The prize will be awarded by the chair of the committee and members of the FoLLI board at a ceremony during the 37th ESSLLI summer school in Prague, 3 – 14 August 2026.<\/p>\n

Beth dissertation prize committee 2026:<\/strong>
\nTBC<\/p>\n

\n

Previous recipients of the prize:<\/strong><\/p>\n

  • 2025 Guillaume Massas,<\/strong> Duality and Infinity: Studies in Possibility Semantics and Semiconstructive Mathematics<\/em>, University of California, Berkeley<\/span><\/li>\n
  • 2024<\/strong>\n
      \n
    • Aliaume Lopez,<\/strong>\u00a0First Order Preservation Theorems in Finite Model Theory: Locality, Topology, and Limit Constructions<\/em>, \u00c9cole Normale Sup\u00e9rieure Paris-Saclay<\/li>\n
    • Konstantinos Kogkalidis,<\/strong>\u00a0Dependency as Modality, Parsing as Permutation. A Neurosymbolic Perspective on Categorial<\/em> Grammars<\/em>, Utrecht University<\/li>\n<\/ul>\n<\/li>\n
    • 2023 Gabriele Vanoni,<\/strong> On Reasonable Space and Time Cost Models for the \u03bb-Calculus<\/em>, University of Bologna<\/span><\/li>\n
    • 2022 Alexander Bentkamp<\/strong>, <\/span><\/strong>Superposition for Higher Order Logics<\/em>, Vrije Universities Amsterdam<\/span><\/li>\n
    • 2021<\/strong>\n
        \n
      • Ilaria Canavotto<\/strong>, Where Responsibility Takes You<\/em>, ILLC, Amsterdam<\/li>\n
      • Martin L\u00fcck <\/strong>, Team Logic Axioms, Expressiveness, Complexity<\/em>, Universit\u00e4t Hannover<\/li>\n<\/ul>\n<\/li>\n
      • 2020<\/strong>\n
          \n
        • Marcin W\u0105giel<\/strong>, Subatomic Quantification<\/em>, Masaryk University, Brno<\/li>\n
        • Juan Aguilera<\/strong>, Between the Finite and the Infinite<\/em>, TU Wien<\/li>\n<\/ul>\n<\/li>\n
        • 2019<\/strong> Dr. Bartosz Wcis\u0142o<\/strong>, Understanding the strength of compositional truth, <\/em> University of Warsaw<\/li>\n
        • 2018<\/strong> \u0130smail \u0130lkan Ceylan<\/strong>, Query Answering in Probabilistic Data and Knowledge Bases<\/em>, Technical University of Dresden<\/li>\n
        • 2017<\/strong>\n
            \n
          • Antoine Amarilli<\/strong>, Leveraging the structure of uncertain data<\/em>, T\u00e9l\u00e9com ParisTech<\/li>\n
          • Ronald de Haan<\/strong>, Parameterized Complexity in the Polynomial Hierarchy<\/em>, Technical University of Vienna<\/li>\n<\/ul>\n<\/li>\n
          • 2016<\/strong> Thomas Zeume<\/strong>, Small Dynamic Complexity Classes<\/em>, University of Dortmund<\/li>\n
          • 2015<\/strong> Micha\u0142 Skrzypczak<\/strong>, Descriptive set theoretic methods in automata theory<\/em>, University of Warsaw<\/li>\n
          • 2014<\/strong> Thomas Graf<\/strong>, Local and Transderivational Constraints in Syntax and Semantics<\/em>, University of California, Los Angeles<\/li>\n
          • 2013<\/strong>\n
              \n
            • Wesley H. Holliday<\/strong>, Knowing What Follows: Epistemic Closure and Epistemic Logic<\/em>, Stanford University<\/li>\n
            • Ekaterina Lebedeva<\/strong>, Expressing Discourse Dynamics via Continuations<\/em>, University of Lorraine<\/li>\n<\/ul>\n<\/li>\n
            • 2012<\/strong>\n
                \n
              • Andreas Kapsner<\/strong>, Logics and Falsi\ufb01cations<\/em>, University of Barcelona<\/li>\n
              • Daniel R. Licata<\/strong>, Dependently Typed Programming with Domain-Speci\ufb01c Logics<\/em>, Carnegie Mellon University<\/li>\n<\/ul>\n<\/li>\n
              • 2011<\/strong>\n
                  \n
                • Nils Bulling<\/strong>, Modelling and Verifying Abilities of Rational Agents<\/em>, TU Clausthal<\/li>\n
                • Mohan Ganesalingam<\/strong>, The Language of Mathematics<\/em>, University of Cambridge<\/li>\n<\/ul>\n<\/li>\n
                • 2010<\/strong> Yury Savateev<\/strong>, Algorithmic Complexity of Fragments of the Lambek Calculus<\/em>, Moscow State University<\/li>\n
                • 2009<\/strong>\n
                    \n
                  • Emmanuel Chemla<\/strong>, Presuppositions and Scalar Implicatures: Formal and Experimental Studies<\/em>, Ecole Normale Superieure de Paris<\/li>\n
                  • Lukasz Kaiser<\/strong>, Logic and Games on Automatic Structures<\/em>, Aachen University<\/li>\n<\/ul>\n<\/li>\n
                  • 2008<\/strong>\n
                      \n
                    • Tomas Brazdil<\/strong>, Verification of Probabilistic Recursive Sequential Programs<\/em>, Masaryk University<\/li>\n
                    • Marco Kuhlmann<\/strong>, Dependency Structures and Lexicalized Grammars<\/em>, Saarland University<\/li>\n<\/ul>\n<\/li>\n
                    • 2007<\/strong> Gabriele Puppis<\/strong>, Automata for Branching and Layered Structures<\/em>, University of Udine<\/li>\n
                    • 2006<\/strong>\n
                        \n
                      • Leszek Kolodziejczyk<\/strong>, Truth Definitions and higher-Order Logics in Finite Models<\/em>, Warsaw University<\/li>\n
                      • Chung-chieh (Ken) Shan<\/strong>, Linguistic Side Effects<\/em>, Harvard University<\/li>\n<\/ul>\n<\/li>\n
                      • 2005<\/strong> Ash Asudeh<\/strong>, Resumption as Resource Management<\/em>, Stanford University<\/li>\n
                      • 2004<\/strong> John T. Hale<\/strong>, Grammar, Uncertainty and Sentence Processing<\/em>, Michigan State University<\/li>\n
                      • 2003<\/strong> Jason Baldridge<\/strong>, Lexically Specified Derivational Control in Combinatory Categorial Grammar<\/em>, University of Edinburgh<\/li>\n
                      • 2002<\/strong> Maria Aloni<\/strong>, Quantification under conceptual covers<\/em>, University of Amsterdam<\/li>\n
                      • 2001<\/strong> Gerald Penn<\/strong>, The Algebraic Structure of Attributed Type Signatures<\/em>, University of Toronto<\/li>\n
                      • 2000<\/strong>\n
                          \n
                        • Jelle Gerbrandy<\/strong>, Bisimulations on Planet Kripke<\/em>, University of Amsterdam<\/li>\n
                        • Khalil Sima’an<\/strong>, Learning Efficient Disambiguation<\/em>, Universities of Amsterdam and of Utrecht<\/li>\n<\/ul>\n<\/li>\n
                        • 1999<\/strong>\n
                            \n
                          • Peter Gr\u00fcnwald<\/strong>, The Minimum Description Length Principle and Reasoning under Uncertainty<\/em>, University of Amsterdam<\/li>\n
                          • Matthew Stone<\/strong>, Modality in Dialogue: Planning, Pragmatics and Computation<\/em>, University of Pennsylvania<\/li>\n<\/ul>\n<\/li>\n
                          • 1998<\/strong>\n
                              \n
                            • Nir Friedman<\/strong>, Modeling Beliefs in Dynamic Systems<\/em>, Stanford University<\/li>\n
                            • Lisa Matthewson<\/strong>, Determiner Systems and Quantificational Strategies: Evidence from Salish<\/em>, University of British Columbia<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"

                              Since 1998, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information, with financial support of the E.W. Beth Foundation. Information about the qualifications for the 2026 E.W. Beth Dissertation Prize:\u00a0– Ph.D. dissertations concerning a topic in Logic, Language, […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/front-page.php","meta":{"footnotes":""},"class_list":["post-74","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/folli.info\/index.php?rest_route=\/wp\/v2\/pages\/74"}],"collection":[{"href":"https:\/\/folli.info\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/folli.info\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/folli.info\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/folli.info\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=74"}],"version-history":[{"count":68,"href":"https:\/\/folli.info\/index.php?rest_route=\/wp\/v2\/pages\/74\/revisions"}],"predecessor-version":[{"id":579,"href":"https:\/\/folli.info\/index.php?rest_route=\/wp\/v2\/pages\/74\/revisions\/579"}],"wp:attachment":[{"href":"https:\/\/folli.info\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=74"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}