Synopsis

The Logical Perspectives event series aims at bringing together distinguished logicians 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;
  • logical methods in linguistics.
The LP 2018 conference was held at Euler International Mathematical Institute in Saint Petersburg. The LP 2020 conference was planned, but it was moved to June 2021 in view of the COVID-19 pandemic.

As a replacement for the LP 2020 conference, it has been decided to organize an online event on November 17–18, 2020, which will include several open lectures.

The event is supported by Steklov International Mathematical Center.

Schedule (UTC+3 Moscow)

Tuesday, November 17

16:00–17:15 Anil Nerode:   The Last 70 Years of Logic and Its Applications: A Personal Diary   [abstract]
17:15–17:45 Discussion
17:45–18:00 Break
18:00–19:15 Yuri Gurevich:   Logic and Foundations: A Personal Perspective   [abstract]
19:15–19:45 Discussion

Wednesday, November 18

16:00–17:15 Barbara H. Partee:   Language and Logic: Ideas and Controversies in the History of Formal Semantics   [abstract] + [handout]
17:15–17:45 Discussion

Participation

If you wish to participate in the event, please fill in the Registration Form.

Organizers

Contact

lp2020@mi-ras.ru