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

редактировать

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

Содержание

  • 1 Список предыдущих победителей
  • 2 См. Также
  • 3 Источники
  • 4 Внешние ссылки

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

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

См. Также

Литература

Внешние ссылки

Последняя правка сделана 2021-05-18 13:59:03
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте