Cena disertační práce E. W. Beth - E. W. Beth Dissertation Prize

The Sdružení pro logiku, jazyk a informace (FoLLI) každý rok uděluje Cena disertační práce E. W. Beth, pojmenovaný na počest nizozemského matematika Evert Willem Beth, na vynikající disertační práce v oborech Logika, Jazyk a Informace. Disertační práce jsou hodnoceny na základě jejich technické hloubky, síly a originality. Ocenění lze udělit každý rok ex aequo k více než jedné práci nebo k žádné práci vůbec. Cena se skládá z certifikátu, peněžního ocenění a výzvy k podání (případně revidované verze) práce na FoLLI Publikace o logice, jazyce a informacích,[1] publikováno Springer Science + Business Media.

Seznam předchozích vítězů [2]

RokAutorNázev práceInstituce
2020Juan AguileraMezi konečným a nekonečnýmTechnische Universität Wien
Marcin WągielSubatomová kvantifikaceMasarykova Univerzita
2019Bartosz WcisłoPochopení síly kompoziční pravdyUniwersytet Warszawski
2018İsmail İlkan CeylanOdpovědi na dotazy v pravděpodobnostních datech a znalostních základnáchTechnická univerzita v Drážďanech
2017Antoine AmarilliVyužití struktury nejistých datTélécom ParisTech
Ronald de HaanParametrizovaná složitost v polynomiální hierarchiiTechnická univerzita ve Vídni
2016Thomas ZeumeMalé třídy dynamické složitostiUniversity of Dortmund
2015Michał SkrzypczakPopisné teoretické metody množin v teorii automatůUniwersytet Warszawski
2014Thomas GrafMístní a transderivační omezení v syntaxi a sémanticeUniversity of California, Los Angeles
2013Wesley H. HollidayVědět, co následuje: Epistemická uzávěrka a epistemická logikaStanfordská Univerzita
Ekaterina LebedevaVyjádření dynamiky diskurzu prostřednictvím pokračováníUniversity of Lorraine
2012Andreas KapsnerLogika a paděláníUniversity of Barcelona
Daniel R. LicataZávisle napsané programování s logikou specifickou pro doménuUniverzita Carnegie Mellon
2011Nils BullingModelování a ověřování schopností racionálních agentůClausthal University of Technology
Mohan GanesalingamJazyk matematikyUniverzita v Cambridge
2010Yury SavateevAlgoritmická složitost fragmentů Lambekova kalkuluMoskevská státní univerzita
2009Emmanuel ChemlaPředpoklady a skalární implikace: Formální a experimentální studieÉcole Normale Supérieure de Paris
Lukasz KaiserLogika a hry na automatických strukturáchRWTH Cáchy
2008Tomáš BrazdilOvěření pravděpodobnostních rekurzivních sekvenčních programůMasarykova univerzita
Marco KuhlmannZávislostní struktury a lexikalizované gramatikyUniversität des Saarlandes
2007Gabriele PuppisAutomaty pro větvení a vrstvené strukturyUniversity of Udine
2006Leszek Kołodziejczyk [pl ]Definice pravdy a logiky vyšších řádů v konečných modelechUniwersytet Warszawski
Chung-chieh (Ken) ShanJazykové vedlejší účinkyHarvardská Univerzita
2005Ash AsudehObnovení jako správa zdrojůUniversity of Canterbury
2004John T. HaleGramatika, nejistota a zpracování větyMichiganská státní univerzita
2003Jason BaldridgeLexikálně specifikovaná derivační kontrola v kombinatorické kategoriální gramaticeUniversity of Edinburgh
2002Maria AloniKvantifikace pod koncepčními krytyUniversity of Amsterdam
2001Gerald PennAlgebraická struktura podpisů přiřazeného typuUniversity of Toronto
2000Jelle GerbrandyBisimulace na planetě KripkeUniversity of Amsterdam
Khalil Sima'anUčit se efektivní disambiguationUniverzity v Amsterdamu a Utrecht
1999Peter GrünwaldPrincip minimální délky popisu a zdůvodnění v rámci nejistotyUniversity of Amsterdam
Matthew StoneModalita v dialogu: plánování, pragmatika a výpočetUniversity of Pennsylvania
1998Nir FriedmanModelování víry v dynamických systémechStanfordská Univerzita
Lisa MatthewsonSystémy determinantů a kvantifikační strategie: Důkazy ze SalishUniversity of British Columbia

Viz také

Reference

  1. ^ Publikace FoLLI o logice, jazyce a informacích.
  2. ^ Kompletní seznam ocenění za disertační práci Beth (FoLLI)

externí odkazy