Prix de thèse E. W. Beth

L'Association for Logic, Language and Information (FoLLI) décerne chaque année un prix de thèse E. W. Beth, dénommé ainsi en l'honneur du mathématicien néerlandais Evert Willem Beth ; le prix est attribué à des thèses de doctorat exceptionnelles dans les domaines de la logique, des langages et de l'information. Les mémoires sont évalués sur la base de leur profondeur technique, leur importance et leur originalité. Chaque année, le prix peut être attribué ex aequo à plus d'une thèse, ou à aucune thèse. Le prix consiste en un certificat, une récompense monétaire et une invitation à soumettre une version (éventuellement révisée) de la thèse aux Publications on Logic, Language and Information [1] publiées par Springer Science + Business Media .

Liste des lauréats

Les lauréats de ce prix sont [2] :

Année Auteur Titre de la thèse Institution
1998 Nir Friedman Modeling Beliefs in Dynamic Systems Université Stanford
Lisa Matthewson (en) Determiner Systems and Quantificational Strategies: Evidence from Salish Université de la Colombie-Britannique
1999 Peter Grünwald The Minimum Description Length Principle and Reasoning under Uncertainty Université d'Amsterdam
Matthew Stone Modality in Dialogue: Planning, Pragmatics and Computation Université de Pennsylvanie
2000 Jelle Gerbrandy Bisimulations on Planet Kripke Université d'Amsterdam
Khalil Sima'an Learning Efficient Disambiguation Université d'Amsterdam et Université d'Utrecht
2001 Gerald Penn The Algebraic Structure of Attributed Type Signatures Université de Toronto
2002 Maria Aloni Quantification under conceptual covers Université d'Amsterdam
2003 Jason Baldridge Lexically Specified Derivational Control in Combinatory Categorial Grammar Université d'Édimbourg
2004 John T. Hale Grammar, Uncertainty and Sentence Processing Université d'État du Michigan
2005 Ash Asudeh (en) Resumption as Resource Management Université de Canterbury
2006 Leszek Kołodziejczyk (pl) Truth Definitions and higher-Order Logics in Finite Models Université de Varsovie
Chung-chieh (Ken) Shan Linguistic Side Effects Université Harvard
2007 Gabriele Puppis Automata for Branching and Layered Structures Université d'Udine
2008 Tomas Brazdil Verification of Probabilistic Recursive Sequential Programs Université Masaryk
Marco Kuhlmann Dependency Structures and Lexicalized Grammars Université de la Sarre
2009 Emmanuel Chemla Presuppositions and Scalar Implicatures: Formal and Experimental Studies École normale supérieure
Lukasz Kaiser Logic and Games on Automatic Structures École supérieure polytechnique de Rhénanie-Westphalie
2010 Yury Savateev Algorithmic Complexity of Fragments of the Lambek Calculus Université d'État de Moscou
2011 Nils Bulling Modelling and Verifying Abilities of Rational Agents Université de technologie de Clausthal
Mohan Ganesalingam The Language of Mathematics Université de Cambridge
2012 Andreas Kapsner Logics and Falsifications Université de Barcelone
Daniel R. Licata Dependently Typed Programming with Domain-Specific Logics Université Carnegie-Mellon
2013 Wesley H. Holliday Knowing What Follows: Epistemic Closure and Epistemic Logic Université Stanford
Ekaterina Lebedeva Expressing Discourse Dynamics via Continuations Université de Lorraine
2014 Thomas Graf Local and Transderivational Constraints in Syntax and Semantics Université de Californie à Los Angeles
2015 Michał Skrzypczak Descriptive set theoretic methods in automata theory Université de Varsovie
2016 Thomas Zeume Small Dynamic Complexity Classes Université technique de Dortmund
2017 Antoine Amarilli Leveraging the structure of uncertain data Télécom Paris
Ronald de Haan Parameterized Complexity in the Polynomial Hierarchy Université technique de Vienne
2018 İsmail İlkan Ceylan Query Answering in Probabilistic Data and Knowledge Bases Université technique de Dresde
2019 Bartosz Wcisło Understanding the strength of compositional truth Université de Varsovie
2020 Juan Aguilera Between the Finite and the Infinite Université technique de Vienne
Marcin Wągiel Subatomic Quantification Université Masaryk
2021 Ilaria Canavotto Where Responsibility Takes You Université d'Amsterdam
Martin Lück Team Logic: Axioms, Expressiveness, Complexity Université de Hanovre
2022 Alexander Bentkamp Superposition for Higher Order Logic Université libre d'Amsterdam
2023 Gabriele Vanoni Sur les modèles raisonnables de coût en espace et en temps pour le λ-Calculus Université de Bologne
2024 Aliaume Lopez Théorèmes de préservation du premier ordre en théorie des modèles finis : localité, topologie et constructions limites École normale supérieure Paris-Saclay
Konstantinos Kogkalidis Dépendance comme modalité, analyse syntaxique comme permutation. Une perspective neurosymbolique sur les grammaires catégorielles Université d'Utrecht
2025 Guillaume Massas Dualité et Infini : Études en sémantique des possibilités et mathématiques semi-constructives Université de Californie à Berkeley

Voir aussi

  • Liste des prix en mathématiques

Notes et références

  1. ↑ FoLLI Publications on Logic, Language and Information.
  2. ↑ Complete List of Beth Dissertation Award (FoLLI)

Liens externes

  • icône décorative Portail des mathématiques
  • icône décorative Portail de la logique
  • icône décorative Portail des récompenses et des distinctions
Cet article est issu de Wikipédia. Sauf mention contraire, le texte est disponible sous Creative Commons Attribution-Share Alike 4.0. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.