Премия Э. В. Бет за диссертацию - 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 | Лешек Колодзейчик | Определения истины и логики высшего порядка в конечных моделях | Uniwersytet Warszawski |
| Чун-чжи (Кен) Шан | Лингвистические побочные эффекты | Гарвардский университет | |
| 2005 | Эш Асудех | Возобновление как управление ресурсами | Кентерберийский университет |
| 2004 | Джон Т. Хейл | Грамматика, неопределенность и обработка предложений | Университет штата Мичиган |
| 2003 | Джейсон Болдридж | Лексически определенный деривационный контроль в комбинаторно-категориальной грамматике | Эдинбургский университет |
| 2002 | Мария Алони | Количественная оценка под концептуальным покрытием | Амстердамский университет |
| 2001 | Джеральд Пенн | Алгебраическая структура подписей приписанного типа | Университет Торонто |
| 2000 | Джелле Гербранди | Бисимуляции на планете Крипке | Амстердамский университет |
| Халил Сима'ан | Обучение эффективному устранению неоднозначности | Университеты Амстердама и Утрехт | |
| 1999 | Петер Грюнвальд | Принцип минимальной длины описания и аргументы в пользу неопределенности | Амстердамский университет |
| Мэтью Стоун | Модальность в диалоге: планирование, прагматика и вычисления | Пенсильванский университет | |
| 1998 | Нир Фридман | Моделирование убеждений в динамических системах | Стэндфордский Университет |
| Лиза Мэтьюзон | Детерминантные системы и количественные стратегии: данные Салиша | Университет Британской Колумбии |
Смотрите также
Рекомендации
внешняя ссылка
- Ассоциация логики, языка и информации - Официальная домашняя страница FoLLI