RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ


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: http://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
Jeremy Avigad
  
2. The concept of proof
Matthias Baaz
14 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Matthias Baaz
  
3. Encounters with infinity
Martin Davis
14 мая 2018 г. 15:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Martin Davis
  
4. On word and divisibility problems for one relator semigroups
Sergei I. Adian
14 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Sergei I. Adian
  

15 мая 2018 г.
5. Logic in computer science, computer engineering and mathematics
Yuri Gurevich
15 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Yuri Gurevich
  
6. An extension of a theorem of Zermelo
Jouko Väänänen
15 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Jouko Väänänen
  
7. Higher types of recursion and low levels of determinacy
Philip Welch
15 мая 2018 г. 15:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Philip Welch
  
8. In pursuit of a medieval model theory
Wilfrid Hodges
15 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Wilfrid Hodges
  

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

17 мая 2018 г.
11. On the computational content of theorems
Vasco Brattka
17 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Vasco Brattka
  
12. The computability via definability in semantic modeling
Sergei S. Goncharov
17 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Sergei S. Goncharov
  
13. Logic and complexity
Pavel Pudlák
17 мая 2018 г. 15:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Pavel Pudlák
  
14. The undecidability of various affine Pappian geometries: wrong proofs and new true theorems
Johann A. Makowsky
17 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Johann A. Makowsky
  

18 мая 2018 г.
15. HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
Hannes Leitgeb
18 мая 2018 г. 10:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Hannes Leitgeb
  
16. Modal logic meets simplicial sets
Valentin B. Shehtman
18 мая 2018 г. 11:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Valentin B. Shehtman
  
17. Rebuilding epistemic logic
Sergei N. Artemov
18 мая 2018 г. 15:00, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Sergei N. Artemov
  
18. Connexive conditional logic
Heinrich Wansing
18 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Heinrich Wansing
  
19. On constructive versions of independence-friendly logic
Sergei P. Odintsov
18 мая 2018 г. 17:50, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
Sergei P. Odintsov
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018