Однодневный семинар по математической логике (29 июня 2023 г., Покровский бульвар 11, аудитория R201, г. Москва)
На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.
Организации
Факультет компьютерных наук, Национальный исследовательский университет «Высшая школа экономики» |
|
Однодневный семинар по математической логике, г. Москва, 29 июня 2023 г. |
|
|
29 июня 2023 г. (чт) |
|
1. |
Приветственное слово А. А. Оноприенко, А. Л. Семёнов 29 июня 2023 г. 11:15–11:30, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
2. |
О приложениях эпистемической логики в компьютерных науках В. В. Долгоруков 29 июня 2023 г. 11:30–12:00, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
3. |
Используется ли математическая логика в современной компьютерной лингвистике? А. А. Сорокин 29 июня 2023 г. 12:00–12:30, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
4. |
Генерация доказательств математических теорем с помощью языковых моделей Ю. Н. Яровиков 29 июня 2023 г. 12:30–13:00, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
5. |
Пространственный интеллект беспилотного автомобиля и принятие решений на основе правил С. П. Кикоть 29 июня 2023 г. 13:30–14:00, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
6. |
Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода Д. А. Серова 29 июня 2023 г. 14:00–14:30, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
7. |
О теориях подмножеств некоторых алгебр Б. Н. Карлов 29 июня 2023 г. 14:30–15:00, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
8. |
Формальная верификация на Arend П. П. Соколов 29 июня 2023 г. 16:00–16:30, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
9. |
Базовые категориальные грамматики с однозначным присвоением типов и одним делением М. Е. Вишникин 29 июня 2023 г. 16:30–17:00, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
10. |
Графовые грамматики Т. Г. Пшеницын 29 июня 2023 г. 17:00–17:30, г. Москва, Покровский бульвар 11, аудитория R201
|
|
|
|
|
|