20-21 января 2017 г. в Томском государственном университете состоялся теоретический семинар кафедры истории философии и логики ТГУ и кафедры философии ТНЦ СО РАН, совмещенный с англоязычным коллоквиумом. С докладом «Теория типов Мартин-Лёфа: логика и онтология». выступил с.н.с. отдела философии О.А. Доманов. В семинаре также приняли участие сотрудники отдела философии И.В. Берестов и А.Ю. Моисеева.
