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
2022 Alexander Bentkamp Superposition for Higher Order Logic Université libre d'Amsterdam
2021 Ilaria Canavotto Where Responsibility Takes You Université d'Amsterdam
Martin Lück Team Logic: Axioms, Expressiveness, Complexity Université de Hanovre
2020 Juan Aguilera Between the Finite and the Infinite Université technique de Vienne
Marcin Wągiel Subatomic Quantification Université Masaryk
2019 Bartosz Wcisło Understanding the strength of compositional truth Université de Varsovie
2018 İsmail İlkan Ceylan Query Answering in Probabilistic Data and Knowledge Bases Université technique de Dresde
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
2016 Thomas Zeume Small Dynamic Complexity Classes Université technique de Dortmund
2015 Michał Skrzypczak Descriptive set theoretic methods in automata theory Université de Varsovie
2014 Thomas Graf Local and Transderivational Constraints in Syntax and Semantics Université de Californie à Los Angeles
2013 Wesley H. Holliday Knowing What Follows: Epistemic Closure and Epistemic Logic Université Stanford
Ekaterina Lebedeva Expressing Discourse Dynamics via Continuations Université de Lorraine
2012 Andreas Kapsner Logics and Falsifications Université de Barcelone
Daniel R. Licata Dependently Typed Programming with Domain-Specific Logics Université Carnegie-Mellon
2011 Nils Bulling Modelling and Verifying Abilities of Rational Agents Université de technologie de Clausthal
Mohan Ganesalingam The Language of Mathematics Université de Cambridge
2010 Yury Savateev Algorithmic Complexity of Fragments of the Lambek Calculus Université d'État de Moscou
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
2008 Tomas Brazdil Verification of Probabilistic Recursive Sequential Programs Université Masaryk
Marco Kuhlmann Dependency Structures and Lexicalized Grammars Université de la Sarre
2007 Gabriele Puppis Automata for Branching and Layered Structures Université d'Udine
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
2005 Ash Asudeh (en) Resumption as Resource Management Université de Canterbury
2004 John T. Hale Grammar, Uncertainty and Sentence Processing Université d'État du Michigan
2003 Jason Baldridge Lexically Specified Derivational Control in Combinatory Categorial Grammar Université d'Édimbourg
2002 Maria Aloni Quantification under conceptual covers Université d'Amsterdam
2001 Gerald Penn The Algebraic Structure of Attributed Type Signatures Université de Toronto
2000 Jelle Gerbrandy Bisimulations on Planet Kripke Université d'Amsterdam
Khalil Sima'an Learning Efficient Disambiguation Université d'Amsterdam et Université d'Utrecht
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
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

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