ИСТИНА

• Охват: Международная
• Даты проведения: 14-18 мая 2018
• Место проведения: Петербург, Russia
• Число участников: 60
• Число участников из МГУ: 10
• Число докладчиков: 19
• Веб-сайт: http://www.pdmi.ras.ru/EIMI/2018/LP/
• Все конференции этой группы
• Описание конференции:

  The initiative aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. The topics include, but are not limited to: the foundations of mathematics and those of computing; logical methods in philosophy (e.g. in epistemology, the philosophy of mathematics or that of language); logical methods in mathematics; logical methods in computer science.

• Добавил в систему: Шехтман Валентин Борисович

Доклады:

• 2018 Modal logic meets simplicial sets (Устный)
• Автор: Шехтман В.Б.