Докладчик: Пьер-Луи Кюрьен (Париж, Франция).  

Тема доклада: Гомотопическая теория типов.  

Аннотация: Доклад представляет собой вводную лекцию о захватывающем пересечении топологии и информатики и новом взгляде на основы математики.  

Пьер-Луи Кюриен - французский математик, главный научный сотрудник Института фундаментальных исследований в области информатики при Университете Париж VII имени Дени Дидро (г. Париж, Франция), внук известного французского мифолога Жоржа Эдмона Дюмезиля, французского лингвиста, мифолога и филолога-компаративиста, автора книги «Осетинский эпос и мифология», внесшего существенный вклад в развитие нартоведения, сын не менее известного Юбера Кюреина, исследователя, государственного деятеля, успешного педагога, активного популяризатора науки. Именно благодаря ему во Франции был утвержден особый праздник – День Науки.