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


Logical Perspectives 2021 (International Conference)
(7–11 июня 2021 г., Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва)

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

Постер

RSS:

Программный комитет
Lev Beklemishev
Stanislav Speranski

Организационный комитет
Lev Beklemishev
Stepan Kuznetsov
Vladimir Podolskii
Stanislav Speranski
Alexey Talambutsa
Daniyar Shamkanov

Докладчики
Samson Abramsky
Steve Awodey
Joan Bagaria
Mai Gehrke
Wesley Holliday
Leon Horsten
Gerhard Jäger
U Kohlenbach
Øystein Linnebo
Sonja Smets
Alasdair Urquhart
Albert Visser
Marat Arslanov
Andrei Voronkov
Denis Hirschfeldt
Andre Scedrov

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)

 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020