Однодневный семинар по математической логике
(June 29, 2023)

, June 29, 2023
	June 29, 2023 (Thu)
1.	Приветственное слово A. A. Onoprienko, A. L. Semenov June 29, 2023 11:15–11:30
2.	О приложениях эпистемической логики в компьютерных науках V. V. Dolgorukov June 29, 2023 11:30–12:00
3.	Используется ли математическая логика в современной компьютерной лингвистике? A. A. Sorokin June 29, 2023 12:00–12:30
4.	Генерация доказательств математических теорем с помощью языковых моделей Yu. N. Yarovikov June 29, 2023 12:30–13:00
5.	Пространственный интеллект беспилотного автомобиля и принятие решений на основе правил S. P. Kikot' June 29, 2023 13:30–14:00
6.	Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода D. A. Serova June 29, 2023 14:00–14:30
7.	О теориях подмножеств некоторых алгебр B. N. Karlov June 29, 2023 14:30–15:00
8.	Формальная верификация на Arend P. P. Sokolov June 29, 2023 16:00–16:30
9.	Базовые категориальные грамматики с однозначным присвоением типов и одним делением M. E. Vishnikin June 29, 2023 16:30–17:00
10.	Графовые грамматики T. G. Pshenitsyn June 29, 2023 17:00–17:30