Где: ИФ РАН, комната 416 (4-й этаж)
Когда: среда 18 сентября 2019 с 15 часов
Программа:
15:00 – 16:00: ГЕОРГИЙ ШАБАТ
Доказательства в современной математике: идеалы и реальность (abstract)
16:00 – 16:15: КОФЕ
16:15 – 17:15: ДАНЯ РОГОЗИН
Анализ синтаксических понятий и субструктурная логика (abstract)
17:15 – 17:45: ДИСКУССИЯ