Logical Perspectives 2018 (May 14–18, 2018, Euler International Mathematical Institute, 10 Pesochnaya nab., Saint 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 independencefriendly logic Sergei P. Odintsov May 18, 2018 17:50, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.





