Премия за диссертацию Э. У. Бета
Ассоциация логики, языка и информации (FoLLI) каждый год присуждает премию EW Beth Dissertation Prize , названную в честь голландского математика Эверта Виллема Бета , за выдающиеся докторские диссертации в области логики, языка и информации. Диссертации оцениваются на основе их технической глубины, силы и оригинальности. Каждый год награда может быть присуждена ex aequo более чем одной диссертации или ни одной диссертации вообще. Премия состоит из сертификата, денежного вознаграждения и приглашения представить (возможно, пересмотренную версию) диссертации в FoLLI Publications on Logic, Language and Information [1] , опубликованную Springer Science+Business Media .
Список предыдущих победителей
| Год [2] | Автор | Название диссертации | Учреждение |
|---|---|---|---|
| 2024 | Алиуме Лопес | Теоремы сохранения первого порядка в теории конечных моделей: локальность, топология и предельные конструкции | Высшая нормальная школа Париж-Сакле |
| Константинос Когкалидис | Зависимость как модальность, парсинг как перестановка. Нейросимволическая перспектива категориальных грамматик | Утрехтский университет | |
| 2023 | Габриэле Ванони | О разумных моделях затрат пространства и времени для λ-исчисления | Университет Болоньи |
| 2022 | Александр Бенткамп | Суперпозиция для логики высшего порядка | Свободный университет Амстердама |
| 2021 | Илария Канавотто | Куда вас приведет ответственность | Университет Амстердама |
| Мартин Люк | Логика команды: аксиомы, выразительность, сложность | Университет Лейбница в Ганновере | |
| 2020 | Хуан Агилера | Между конечным и бесконечным | Венский технический университет |
| Марцин Вонгель | Субатомная квантификация | Университет Масарикова | |
| 2019 | Бартош Вцисло | Понимание силы композиционной правды | Варшавский университет |
| 2018 | Исмаил Илкан Джейлан | Ответы на запросы в вероятностных базах данных и знаний | Технический университет Дрездена |
| 2017 | Антуан Амарилли | Использование структуры неопределенных данных | Télécom ParisTech |
| Рональд де Хаан | Параметризованная сложность в полиномиальной иерархии | Венский технический университет | |
| 2016 | Томас Цойме | Малые динамические классы сложности | Университет Дортмунда |
| 2015 | Михал Скшипчак | Описательные теоретико-множественные методы в теории автоматов | Варшавский университет |
| 2014 | Томас Граф | Локальные и трансдеривационные ограничения в синтаксисе и семантике | Калифорнийский университет, Лос-Анджелес |
| 2013 | Уэсли Х. Холлидей | Знание того, что следует: эпистемическое закрытие и эпистемическая логика | Стэнфордский университет |
| Екатерина Лебедева | Выражение динамики дискурса посредством продолжений | Университет Лотарингии | |
| 2012 | Андреас Капснер | Логики и фальсификации | Университет Барселоны |
| Дэниел Р. Ликата | Зависимо типизированное программирование с предметно-ориентированной логикой | Университет Карнеги-Меллона | |
| 2011 | Нильс Буллинг | Моделирование и проверка способностей рациональных агентов | Клаустальский технический университет |
| Мохан Ганесалингам | Язык математики | Кембриджский университет | |
| 2010 | Юрий Саватеев | Алгоритмическая сложность фрагментов исчисления Ламбека | Московский государственный университет |
| 2009 | Эммануэль Чемла | Предположения и скалярные импликатуры: формальные и экспериментальные исследования | Высшая нормальная школа Парижа |
| Лукаш Кайзер | Логика и игры на автоматических структурах | Рейнско-Вестфальский технический университет Ахена | |
| 2008 | Томас Браздил | Проверка вероятностных рекурсивных последовательных программ | Университет имени Масарика |
| Марко Кульманн | Структуры зависимости и лексикализованные грамматики | Университет Саарланда | |
| 2007 | Габриэле Пуппис | Автоматы для разветвленных и многоуровневых структур | Университет Удине |
| 2006 | Лешек Колодзейчик | Определения истины и логики высшего порядка в конечных моделях | Варшавский университет |
| Чун-Чи (Кен) Шань | Лингвистические побочные эффекты | Гарвардский университет | |
| 2005 | Эш Асудех | Возобновление как управление ресурсами | Университет Кентербери |
| 2004 | Джон Т. Хейл | Грамматика, неопределенность и обработка предложений | Университет штата Мичиган |
| 2003 | Джейсон Болдридж | Лексически заданный деривационный контроль в комбинаторной категориальной грамматике | Эдинбургский университет |
| 2002 | Мария Алони | Количественная оценка под концептуальными покровами | Амстердамский университет |
| 2001 | Джеральд Пенн | Алгебраическая структура сигнатур атрибутивных типов | Университет Торонто |
| 2000 | Йелле Гербранди | Бисимуляции на планете Крипке | Амстердамский университет |
| Халил Симаан | Обучение эффективному разрешению неоднозначности | Университеты Амстердама и Утрехта | |
| 1999 | Петер Грюнвальд | Принцип минимальной длины описания и рассуждения в условиях неопределенности | Амстердамский университет |
| Мэтью Стоун | Модальность в диалоге: планирование, прагматика и вычисления | Университет Пенсильвании | |
| 1998 | Нир Фридман | Моделирование убеждений в динамических системах | Стэнфордский университет |
| Лиза Мэтьюсон | Системы детерминаторов и количественные стратегии: данные от Salish | Университет Британской Колумбии |
Смотрите также
Ссылки
- ^ Публикации FoLLI по логике, языку и информации.
- ^ Полный список премий Бет за диссертацию (FoLLI)
Внешние ссылки
- Ассоциация логики, языка и информации — официальная домашняя страница FoLLI
