Выступления сотрудников МЛ ЛогЛинФФ на конференции «Тринадцатые Смирновские чтения по логике»

22-24 июня прошла конференция «Тринадцатые Смирновские чтения по логике», на которой сотрудники МЛ ЛогЛинФФ представили свои доклады. 

Елена Драгалина-Черная выступила с пленарным докладом «Обобщенные кванторы: от абстрактной теории моделей к обыденным рассуждениям». 

Виталий Долгоруков представил доклад «Тезис Кобэма-Эдмондса с точки зрения параметризованной теории сложности вычислений».

Ангелина Боброва выступила с докладом «Когда картинки работают как аргументы?» и докладом «Теория графов Пирса и теория ментальных моделей: история взаимодействия». 

 

Ссылка на главную страницу конференции, где можно ознакомиться с записью пленарных докладов и тезисами докладов.