Logical Perspectives 2018 (14–18 мая 2018 г., Международный математический институт им. Леонарда Эйлера, Песочная наб., 10, г. Санкт-Петербург)
This conference 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.
There will be only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field. E-mail: Вебсайт: https://www.pdmi.ras.ru/EIMI/2018/LP
Программный комитет
