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 FoLLI Publications on Logic, Language and Information. publiées par Springer Science + Business Media .
Liste des lauréats Les lauréats de ce prix sont Complete List of Beth Dissertation Award (FoLLI) : AnnéeAuteurTitre de la thèseInstitution1998Nir FriedmanModeling Beliefs in Dynamic SystemsUniversité StanfordDeterminer Systems and Quantificational Strategies: Evidence from SalishUniversité de la Colombie-Britannique1999Peter GrünwaldThe Minimum Description Length Principle and Reasoning under UncertaintyUniversité d'AmsterdamMatthew StoneModality in Dialogue: Planning, Pragmatics and ComputationUniversité de Pennsylvanie2000Jelle GerbrandyBisimulations on Planet KripkeUniversité d'AmsterdamKhalil Sima'anLearning Efficient DisambiguationUniversité d'Amsterdam et Université d'Utrecht2001Gerald PennThe Algebraic Structure of Attributed Type SignaturesUniversité de Toronto2002Maria AloniQuantification under conceptual coversUniversité d'Amsterdam2003Jason BaldridgeLexically Specified Derivational Control in Combinatory Categorial GrammarUniversité d'Édimbourg2004John T. HaleGrammar, Uncertainty and Sentence ProcessingUniversité d'État du Michigan2005Resumption as Resource ManagementUniversité de Canterbury2006Truth Definitions and higher-Order Logics in Finite ModelsUniversité de VarsovieChung-chieh (Ken) ShanLinguistic Side EffectsUniversité Harvard2007Gabriele PuppisAutomata for Branching and Layered StructuresUniversité d'Udine2008Tomas BrazdilVerification of Probabilistic Recursive Sequential ProgramsUniversité MasarykMarco KuhlmannDependency Structures and Lexicalized GrammarsUniversité de la Sarre2009Emmanuel ChemlaPresuppositions and Scalar Implicatures: Formal and Experimental StudiesÉcole normale supérieureLukasz KaiserLogic and Games on Automatic StructuresÉcole supérieure polytechnique de Rhénanie-Westphalie2010Yury SavateevAlgorithmic Complexity of Fragments of the Lambek CalculusUniversité d'État de Moscou2011Nils BullingModelling and Verifying Abilities of Rational AgentsUniversité de technologie de ClausthalMohan GanesalingamThe Language of MathematicsUniversité de Cambridge2012Andreas KapsnerLogics and FalsificationsUniversité de BarceloneDaniel R. LicataDependently Typed Programming with Domain-Specific LogicsUniversité Carnegie-Mellon2013Wesley H. HollidayKnowing What Follows: Epistemic Closure and Epistemic LogicUniversité StanfordEkaterina LebedevaExpressing Discourse Dynamics via ContinuationsUniversité de Lorraine2014Thomas GrafLocal and Transderivational Constraints in Syntax and SemanticsUniversité de Californie à Los Angeles2015Michał SkrzypczakDescriptive set theoretic methods in automata theoryUniversité de Varsovie2016Thomas ZeumeSmall Dynamic Complexity ClassesUniversité technique de Dortmund2017Antoine AmarilliLeveraging the structure of uncertain dataTélécom ParisRonald de HaanParameterized Complexity in the Polynomial HierarchyUniversité technique de Vienne2018İsmail İlkan CeylanQuery Answering in Probabilistic Data and Knowledge BasesUniversité technique de Dresde2019Bartosz WcisłoUnderstanding the strength of compositional truthUniversité 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
Liens externes
The Association for Logic, Language and Information - Page d'accueil officielle de FoLLI
Catégorie:Distinction en mathématiques