Однодневный семинар по математической логике 2025

На департаменте больших данных и информационного поиска ФКН 25 июня успешно прошёл Однодневный семинар, посвященный актуальным вопросам математической логики. 

Главным организатором семинара выступает Оноприенко Анастасия Александровна. Уже третий год это мероприятие собирает специалистов и энтузиастов, стремящихся исследовать прикладные аспекты этой фундаментальной науки в контексте Computer Science и смежных дисциплин.

На семинаре были представлены короткие, но содержательные доклады, отражающие разнообразие применения математической логики в современных научных исследованиях. Доклады охватывали широкий спектр тем, участники смогли ознакомиться с новейшими достижениями в области и обсудить перспективы дальнейшего развития.

Организаторы выражают благодарность докладчикам и всем участникам за их вклад в успешное проведение семинара и надеются на продолжение этой плодотворной традиции в будущем.