RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


Logical Perspectives 2018
(May 14–18, 2018, Euler International Mathematical Institute, 10 Pesochnaya nab., Saint Petersburg)

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

Photogallery

Program

Рoster

Abstracts

Program Committee
Beklemishev Lev Dmitrievich
Speranski Stanislav Olegovich

Organizing Committee
Beklemishev Lev Dmitrievich
Speranski Stanislav Olegovich
Gerasimov Aleksandr Sergeevich
Vsemirnov Maxim Aleksandrovich
Zapryagaev Aleksandr Aleksandrovich
Kirshner Natalia
Vinogradova Tat`yana Vladimirovna
Zalesskaya Nadezhda Vitoldovna

Organisations
Euler International Mathematical Institute, St. Petersburg


Logical Perspectives 2018, Saint Petersburg, May 14–18, 2018

May 14, 2018 (Mon)
1. The mechanization of mathematics
Jeremy Avigad
May 14, 2018 10:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Jeremy Avigad
  
2. The concept of proof
Matthias Baaz
May 14, 2018 11:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Matthias Baaz
  
3. Encounters with infinity
Martin Davis
May 14, 2018 15:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Martin Davis
  
4. On word and divisibility problems for one relator semigroups
Sergei I. Adian
May 14, 2018 16:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Sergei I. Adian
  

May 15, 2018 (Tue)
5. Logic in computer science, computer engineering and mathematics
Yuri Gurevich
May 15, 2018 10:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Yuri Gurevich
  
6. An extension of a theorem of Zermelo
Jouko Väänänen
May 15, 2018 11:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Jouko Väänänen
  
7. Higher types of recursion and low levels of determinacy
Philip Welch
May 15, 2018 15:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Philip Welch
  
8. In pursuit of a medieval model theory
Wilfrid Hodges
May 15, 2018 16:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Wilfrid Hodges
  

May 16, 2018 (Wed)
9. Between model theory and physics
Boris Zilber
May 16, 2018 10:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Boris Zilber
  
10. Universally Baire sets and Borel canonization
Menachem Magidor
May 16, 2018 11:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Menachem Magidor
  

May 17, 2018 (Thu)
11. On the computational content of theorems
Vasco Brattka
May 17, 2018 10:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Vasco Brattka
  
12. The computability via definability in semantic modeling
Sergei S. Goncharov
May 17, 2018 11:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Sergei S. Goncharov
  
13. Logic and complexity
Pavel Pudlák
May 17, 2018 15:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Pavel Pudlák
  
14. The undecidability of various affine Pappian geometries: wrong proofs and new true theorems
Johann A. Makowsky
May 17, 2018 16:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Johann A. Makowsky
  

May 18, 2018 (Fri)
15. HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
Hannes Leitgeb
May 18, 2018 10:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Hannes Leitgeb
  
16. Modal logic meets simplicial sets
Valentin B. Shehtman
May 18, 2018 11:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Valentin B. Shehtman
  
17. Rebuilding epistemic logic
Sergei N. Artemov
May 18, 2018 15:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Sergei N. Artemov
  
18. Connexive conditional logic
Heinrich Wansing
May 18, 2018 16:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Heinrich Wansing
  
19. On constructive versions of independence-friendly logic
Sergei P. Odintsov
May 18, 2018 17:50, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
Sergei P. Odintsov
  
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019