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