Где: интернет
FULL VIDE0 on YouTube
Когда: в среду 31 марта начиная с 10 часов Московского времени
Программа:
10:00-11:00 Сергей Ковалёв (ИПУ РАН): Математическое представление и верификация системно-инженерного знания на основе монады диаграмм (абстракт)(slides)(paper)
11:00 – 11:15 Кофе
11:15 – 12:15 Георгий Шабат (МГУ, РГГУ, МПГУ): О классификации в математике и других науках (абстракт)(slides)
12:15 – 12:30 Кофе
12:30 – 13:30 Андрей Родин (ИФ РАН и СПбГУ): Топологический анализ данных, унивалентные основания и “непостижимая эффективность математики” (абстракт)(notes)