Extra-logical proof-theoretic semantics in HoTT (abstract)
Conference Proof Theoretic Semantics: Assessments and Future Perspectives : Tübingen, March 27-30, 2019
Логическая и экстра-логическая теоретико-доказательная семантика в гомотопической теории типов (slides)
Теоретический семинар Кафедры Логики СПбГУ , 7 марта 2019, начало 17:20, ауд. 167
E pluribus unum в логике и математике (abstract)
Когда: 24 ноября 2018,начало в 11 утра
Конференция «Горизонты логического плюрализма» к юбилею Владимира Леонидовича Васюкова
Где: ВШЭ (Москва) Мясницкая 11, ауд. 508
Конструктивный аксиоматический метод и унивалентные основания математики (abstract)
Когда: 26 ноября 2018, 14:00
Где: ПОМИ (Петербургское отделение математического института им. В.А. Стеклова РАН), городской логический семинар (объявление).