(for programs of the workshops click on their titles)
Конструктивное знание – 1, ИФ РАН 25 апреля 2016
Конструктивное знание – 2, ИФРАН 5 октября 2016
Конструктивное знание – 3: формализация теорий, ИФРАН 12 мая 2017
Конструктивное знание – 4: проблема обоснования, ИФРАН 15 ноября 2017
Конструктивное знание – 5 : представление знаний, ИФРАН 14 марта 2018
Конструктивное знание – 6: мышление и вычисление, ИФРАН 6 июня 2018
Конструктивное знание – 7: обоснование в формальных контекстах, ИФРАН 3 октября 2018
Конструктивное знание – 8: формальное представление математики, ИФРАН 27 февраля 2019