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 publiées par Springer Science + Business Media .

Liste des lauréats

Les lauréats de ce prix sont  :

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

Liens externes

• The Association for Logic, Language and Information - Page d'accueil officielle de FoLLI