Logical Perspectives 2018

Conferences

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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:	https://www.pdmi.ras.ru/EIMI/2018/LP

Photogallery

Program

Рoster

Abstracts

Program Committee
Lev Beklemishev
Stanislav Speranski

Organizing Committee
Stanislav Speranski (Chairman)
Lev Beklemishev (Vice-chairman)
Aleksandr Gerasimov
Maxim Vsemirnov
Aleksandr Zapryagaev
Natalia Kirshner
Tat`yana Vinogradova
Nadezhda Zalesskaya

Institutions
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.


2.	The concept of proof Matthias Baaz May 14, 2018 11:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


3.	Encounters with infinity Martin Davis May 14, 2018 15:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


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.


	*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.


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.


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.


8.	In pursuit of a medieval model theory Wilfrid Hodges May 15, 2018 16:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


	*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.


10.	Universally Baire sets and Borel canonization Menachem Magidor May 16, 2018 11:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


	*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.


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.


13.	Logic and complexity Pavel Pudlák May 17, 2018 15:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


14.	The undecidability of various affine Pappian geometries: wrong proofs and new true theorems J. A. Makowsky May 17, 2018 16:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


	*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.


16.	Modal logic meets simplicial sets Valentin B. Shehtman May 18, 2018 11:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


17.	Rebuilding epistemic logic Sergei N. Artemov May 18, 2018 15:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


18.	Connexive conditional logic H. Wansing May 18, 2018 16:30, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.


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.

Registration to the website

Logotypes