Due to doubt every registered partipant will attend the conference with Covid-19, some lecturers accept to put the slides of their conference online.
Natasha Alechina (Utrecht University, Netherlands) State of the Art in Logics for Verification of Resource-Bounded Multi-Agent Systems
Arnon Avron (Tel Aviv University) Why Predicative Sets?
Bruno Courcelle (LaBRI, CNRS and Bordeaux University, France) Betweenness in order-theoretic trees slides
Yijia Chen (Fudan University, China) Parallel Computing and First-Order Logic
Martin Davis (Courant Institute, New York University) Seventy Years of Computer Science
Costas Dimitracopoulos (University of Athens) End extensions of models of Σ1-collections
Wilfrid Hodges (England) Medieval Arabic notions of algorithm: some further raw evidence
Katarzyna Wiesława Kowalik (Warsaw, Poland) The Cohesiveness Principle in Reverse Mathematics without Σ1 induction
Salma Kuhlmann (Universität Konstanz, Germany) Strongly NIP almost real closed fields
Johann A. Makowsky (Technion - Israel Institute of Technology) After dinner speach
Mojtaba Moniri (Normandale Community College, USA) An additive-vs.-multiplicative glance at integer parts in three settings: subrecursivity, maximality, and near-linearity
Eugenio Omodeo (University of Trieste, Italy) Reductions of Hilbert's 10th problem to undecidable fragments of set theory - Abstract - slides
Alexander Rabinovich (Tel Aviv University, Israel) The Expressive Power of Temporal and First-Order Metric Logics
Peter Schmitt (Karlsruhe, Germany) Two First-Order Theories of Ordinals
Paul Schupp (University of Illinois, USA) Coarse computability, the density metric and the Hausdorff distance between Turing degrees
Alexander Shen (University of Montpellier, France) Randomness tests: theory and practice abstract
Jerzy Tyszkiewicz (University of Warsaw, Poland) The Power of Spreadsheet Computations
Mikhail Volkov (Ural Federal University, Federation of Russia) Identities of the Kauffman Monoid K4 and of the Jones monoid J4 abstract
Alexander Zapryagaev (Moscow, Russia) Interpretation of Linear Orderings in Presburger Arithmetic and Visser's Conjecture