RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB


Logical Perspectives 2021 (International Conference)
(June 7–11, 2021, Steklov Mathematical Institute, 8 Gubkina St., Moscow)

The Logical Perspectives conference series 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:

  • logical methods in mathematics;
  • logical methods in philosophy;
  • logical methods in computer science.

The first conference was held at Euler International Mathematical Institute in Saint Petersburg in 2018. The Second Logical Perspectives Conference will be held at Steklov Mathematical Institute in Moscow on June 7–11, 2021.

Furthermore, LP 2021 Conference is a part of the broader thematic programme including the following satellite events:

Formal Philosophy 2021 is organized by International Laboratory for Logic, Linguistics and Formal Philosophy at HSE University in Moscow.

Sponsors. The events are supported by:

  • Simons Foundation;
  • Steklov International Mathematical Center.

E-mail:
Website: http://lp2020.mi-ras.ru

Рoster

RSS:

Program Committee
Lev Beklemishev
Stanislav Speranski

Organizing Committee
Lev Beklemishev
Stepan Kuznetsov
Vladimir Podolskii
Daniyar Shamkanov
Stanislav Speranski
Alexey Talambutsa

Speakers
Samson Abramsky
Marat Arslanov
Steve Awodey
Joan Bagaria
Mai Gehrke
Denis Hirschfeldt
Wesley Holliday
Leon Horsten
Gerhard Jäger
U Kohlenbach
Øystein Linnebo
Andre Scedrov
Sonja Smets
Alasdair Urquhart
Albert Visser
Andrei Voronkov

Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center

 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020