WikiDer > Премия Э. В. Бет за диссертацию

E. W. Beth Dissertation Prize

В Ассоциация логики, языка и информации (FoLLI) ежегодно награждает Премия Э. В. Бет за диссертацию, названный в честь голландского математика Эверт Виллем Бетна выдающиеся кандидатские диссертации в области логики, языка и информации. Диссертации оцениваются на основе их технической глубины, силы и оригинальности. Каждый год награда может быть присуждена ex aequo к нескольким тезисам или к тезисам вообще. Премия состоит из сертификата, денежной премии и приглашения представить (возможно, исправленную версию) тезис в FoLLI. Публикации по логике, языку и информации,[1] опубликовано Springer Science + Business Media.

Список предыдущих победителей [2]

ГодАвторНазвание диссертацииУчреждение
2020Хуан АгилераМежду конечным и бесконечнымTechnische Universität Wien
Марчин ВонгельСубатомная количественная оценкаМасарикова Универзита
2019Бартош ВцислоПонимание силы композиционной истиныUniwersytet Warszawski
2018Исмаил Илкан ДжейланОтвет на запросы в вероятностных данных и базах знанийТехнический университет Дрездена
2017Антуан АмариллиИспользование структуры неопределенных данныхTélécom ParisTech
Рональд де ХаанПараметризованная сложность в полиномиальной иерархииВенский технический университет
2016Томас ЦоймеМалые классы динамической сложностиДортмундский университет
2015Михал СкшипчакДескриптивные теоретико-множественные методы в теории автоматовUniwersytet Warszawski
2014Томас ГрафЛокальные и трансдеривационные ограничения в синтаксисе и семантикеКалифорнийский университет в Лос-Анджелесе
2013Уэсли Х. ХоллидейЗнание того, что следует за этим: эпистемическое завершение и эпистемическая логикаСтэндфордский Университет
Екатерина ЛебедеваВыражение динамики дискурса через продолженияУниверситет Лотарингии
2012Андреас КапснерЛогика и фальсификацииУниверситет Барселоны
Дэниел Р. ЛикатаЗависимо типизированное программирование с логикой, зависящей от предметной областиУниверситет Карнеги Меллон
2011Нильс БуллингМоделирование и проверка возможностей рациональных агентовКлаустальский технологический университет
Мохан ГанесалингамЯзык математикиКембриджский университет
2010Юрий СаватеевАлгоритмическая сложность фрагментов исчисления ЛамбекаМосковский Государственный Университет
2009Эммануэль ЧемлаПредпосылки и скалярные следствия: формальные и экспериментальные исследованияÉcole Normale Supérieure de Paris
Лукаш КайзерЛогика и игры на автоматических структурахRWTH Ахен
2008Томаш БраздилВерификация вероятностных рекурсивных последовательных программМасариковский университет
Марко КульманСтруктуры зависимостей и лексикализованные грамматикиUniversität des Saarlandes
2007Габриэле ПупписАвтоматы для разветвленных и многоуровневых структурУниверситет Удине
2006Лешек Колодзейчик [pl]Определения истины и логики высшего порядка в конечных моделяхUniwersytet Warszawski
Чун-чжи (Кен) ШанЛингвистические побочные эффектыГарвардский университет
2005Эш АсудехВозобновление как управление ресурсамиКентерберийский университет
2004Джон Т. ХейлГрамматика, неопределенность и обработка предложенийУниверситет штата Мичиган
2003Джейсон БолдриджЛексически определенный деривационный контроль в комбинаторно-категориальной грамматикеЭдинбургский университет
2002Мария АлониКоличественная оценка под концептуальным покрытиемАмстердамский университет
2001Джеральд ПеннАлгебраическая структура подписей приписанного типаУниверситет Торонто
2000Джелле ГербрандиБисимуляции на планете КрипкеАмстердамский университет
Халил Сима'анОбучение эффективному устранению неоднозначностиУниверситеты Амстердама и Утрехт
1999Петер ГрюнвальдПринцип минимальной длины описания и аргументы в пользу неопределенностиАмстердамский университет
Мэтью СтоунМодальность в диалоге: планирование, прагматика и вычисленияПенсильванский университет
1998Нир ФридманМоделирование убеждений в динамических системахСтэндфордский Университет
Лиза МэтьюзонДетерминантные системы и количественные стратегии: данные СалишаУниверситет Британской Колумбии

Смотрите также

Рекомендации

внешняя ссылка