## Talks by section

Speakers are shown in bold.
Click on a title to show the abstract. You can also download a

book of abstracts.

### Plenary talks

### Invited Special Session talks

#### Set Theory Session

Heike Mildenberger, Saharon Shelah
#### Model Theory Session

#### Reflection Principles and Modal Logic Session

#### Proof Theory and Proof Complexity Session

#### Computability Session

Laurent Bienvenu, Barbara Csima, Matthew Harrison-Trainor
Wesley Calvert, Douglas Cenzer, Valentina Harizanov
#### Foundations of Geometry Session

### Contributed talks

#### Set Theory

#### Model Theory

Jan Hubička, Matěj Konečný, Jaroslav Nešetřil
David M. Evans, Jan Hubička, Matěj Konečný, Yibei Li
Andrés Aranda, David Hartman
Dmitry Emelyanov, Beibut Kulpeshov, Sergey Sudoplatov
Inessa Pavlyuk, Sergey Sudoplatov
Sergey Davidov, Senik Alvrtsyan, Davit Shahnazaryan
Alice Medvedev, Alexander Van Abel
Michael Lieberman, Jiří Rosický, Sebastien Vasey
Thomas Kucera, Marcos Mazari-Armida
Junguk Lee, Daniel Max Hoffmann
#### Reflection Principles and Modal Logic

Mahfuz Rahman Ansari, A V Ravishankar Sarma
Larisa Maksimova, Veta Yun
Joseph Boudou, Martínn Diéguez, David Fernández-Duque
Sergey Drobyshevich, Sergei Odintsov
Amirhossein Akbar Tabatabai
#### Proof Theory and Proof Complexity

José M. Méndez, Gemma Robles, Francisco Salto
Satoru Niki, Peter Schuster
Marta Gawek, Agata Tomczyk
Luiz Carlos Pereira, Edward Hermann Haeusler
Guillermo Badia, Petr Cintula, Andrew Tedder
Paolo Baldi, Petr Cintula, Carles Noguera
Anahit Chubaryan, Artur Khamisyan
Anahit Chubaryan, Garik Petrosyan, Sergey Sayadyan
Amirhossein Akbar Tabatabai, Raheleh Jalali
Mattias Granberg Olsson, Graham Leigh
José Espírito Santo, Gilda Ferreira
Franco Parlamento, Flavio Previale, Federico Munini
#### Computability

Julia Knight, Alexandra Soskova, Stefan Vatev
Rumen Dimitrov, Valentina Harizanov, Andrey Morozov, Paul Shafer, Alexandra Soskova, Stefan Vatev
Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev
Nikolay Bazhenov, Manat Mustafa, Mars Yamaleev
Svetlana Aleksandrova, Nikolay Bazhenov
Marta Fiori Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà
Michal Tomasz Godziszewski, Dino Rossegger, Luca San Mauro
Nikolay Bazhenov, Dino Rossegger, Luca San Mauro, Maxim Zubkov
Patrick Lutz, James Walsh
Alexey Ryzhkov, Alexey Stukachev, Marina Stukacheva
Manat Mustafa, Sergey Ospichev
Andrey Morozov, Jamalbek Tussupov
#### Foundations of Geometry

Davit Harutyunyan, Aram Nazaryan, Victor Pambuccian
Tatyana Ivanova, Tinko Tinchev
Philippe Balbiani, Tinko Tinchev
Marlena Fila, Piotr Blaszczyk
#### General

Alexandre Madeira, Manisha Jain, Manuel Martins
Ryota Akiyoshi, Andrew Arana
Francisco Martinez Herrera
Meha Mishra, A.V. Ravishankar Sarma
Ricardo Nicolás-Francisco, Luis Estrada-González
Luis Estrada-González, Claudia, Lucía Tanús-Pimentel
Thomas Macaulay Ferguson, Elisangela Ramirez-Camara
Vedran Čačić, Marko Doko, Marko Horvat
Vedran Čačić, Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoć