(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
Конструктивное знание – 9: нейросеть как черный ящик?, ИФРАН 15 мая 2019
Конструктивное знание – 10: понятия и доказательства, ИФРАН 18 сентября 2019
Конструктивное знание – 11: анализ данных и научное объяснение, ИФРАН 3 декабря 2019
Конструктивное знание – 12: формальные доказательства и человеческое понимание, ИНТЕРНЕТ 3 июля 2020
Конструктивное знание – 13: математика как язык науки, ИНТЕРНЕТ 31 марта 2021
Конструктивное знание – 14: логические и вычислительные аспекты, ИНТЕРНЕТ 24 ноября 2021
Book of Proceedings 2019