Logical Perspectives 2018

Конференции

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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:
Website:	https://www.pdmi.ras.ru/EIMI/2018/LP

Фотогалерея

Программа

Постер

Доклады

Программный комитет
Беклемишев Лев Дмитриевич
Сперанский Станислав Олегович

Организационный комитет
Сперанский Станислав Олегович (председатель)
Беклемишев Лев Дмитриевич (зам. председателя)
Всемирнов Максим Александрович
Герасимов Александр Сергеевич
Запрягаев Александр Александрович
Виноградова Татьяна Владимировна
Киршнер Наталия Львовна
Залесская Надежда Витольдовна

Организации
Международный математический институт им. Л. Эйлера, г. Санкт-Петербург


*Logical Perspectives 2018, г. Санкт-Петербург, 14–18 мая 2018 г.*

	*14 мая 2018 г. (пн)*

1.	The mechanization of mathematics Jeremy Avigad 14 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


2.	The concept of proof Matthias Baaz 14 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


3.	Encounters with infinity Martin Davis 14 мая 2018 г. 15:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


4.	On word and divisibility problems for one relator semigroups Sergei I. Adian 14 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


	*15 мая 2018 г. (вт)*

5.	Logic in computer science, computer engineering and mathematics Yuri Gurevich 15 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


6.	An extension of a theorem of Zermelo Jouko Väänänen 15 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


7.	Higher types of recursion and low levels of determinacy Philip Welch 15 мая 2018 г. 15:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


8.	In pursuit of a medieval model theory Wilfrid Hodges 15 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


	*16 мая 2018 г. (ср)*

9.	Between model theory and physics Boris Zilber 16 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


10.	Universally Baire sets and Borel canonization Menachem Magidor 16 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


	*17 мая 2018 г. (чт)*

11.	On the computational content of theorems Vasco Brattka 17 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


12.	The computability via definability in semantic modeling Sergei S. Goncharov 17 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


13.	Logic and complexity Pavel Pudlák 17 мая 2018 г. 15:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


14.	The undecidability of various affine Pappian geometries: wrong proofs and new true theorems J. A. Makowsky 17 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


	*18 мая 2018 г. (пт)*

15.	HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) Hannes Leitgeb 18 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


16.	Modal logic meets simplicial sets Valentin B. Shehtman 18 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


17.	Rebuilding epistemic logic Sergei N. Artemov 18 мая 2018 г. 15:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


18.	Connexive conditional logic H. Wansing 18 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10


19.	On constructive versions of independence-friendly logic Sergei P. Odintsov 18 мая 2018 г. 17:50, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы