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 independence-friendly logic Sergei P. Odintsov May 18, 2018 17:50, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
|
|
|
|
|
|