Conference schedule
The registration desk will open at 8:45 and close at 16:00 (12:30 on Wednesday).
If you are a speaker, please read the Speakers information page.
Click here to reveal further information.
Slides of talks are available from the detailed program page.
Monday 23
-
Opening ceremony9:00 — 9:15Room 3
-
Plenary talk
-
Coffee break
-
Tutorial
-
Plenary talk
-
Lunch
-
Special sessions14:30 — 16:00
-
Computability theoryRoom 1
-
Lowness and computable metric spacesJohanna Franklin14:30 — 15:15
-
Takayuki Kihara15:15 — 16:00
-
-
Model theoryRoom 2
-
Gabriel Conant14:30 — 15:15
-
Adrien Deloro15:15 — 16:00
-
-
Philosophy of Logic and MathematicsRoom 3
-
Nicole Wyatt14:30 — 15:15
-
Benedict Eastaugh15:15 — 16:00
-
-
-
Coffee break
-
Contributed papers16:30 — 18:30View program
-
Room B
-
José Martínez Fernández16:30 — 16:50
-
Garik Petrosyan16:50 — 17:10
-
Harold Hodes17:10 — 17:30
-
Cyrus F. Nourani17:30 — 17:50
-
Ramanathan S. Thinniyam17:30 — 17:50
-
-
Room C
-
The torsion free part of the Ziegler spectrum of orders over Dedekind domainsCarlo Toffalori16:30 — 16:50
-
Abelian regularization of rings and modulesSonia L'Innocente16:50 — 17:10
-
Junguk Lee17:10 — 17:30
-
Gabriel Lehéricy17:30 — 17:50
-
Gianluca Paolini17:50 — 18:10
-
-
Room D
-
Christian Retoré — Léo Zaradzki16:30 — 16:50
-
Do deviant logicians speak a different language? And does it matter?Pavel Arazim16:50 — 17:10
-
Léo Zaradzki17:10 — 17:30
-
The different ways that logic is said to be revisableSanderson Molick17:30 — 17:50
-
The necessity of reforming modern modal logicJoachim Mueller-Theys17:50 — 18:10
-
-
Room F
-
Ibrahim Senturk16:30 — 16:50
-
Tommaso Moraschini16:50 — 17:10
-
Sándor Jenei17:10 — 17:30
-
Diego Valota17:30 — 17:50
-
David Fernández Duque — Christian Retoré17:50 — 18:10
-
-
Room I
-
Marta Fiori Carones16:30 — 16:50
-
Wei Wang16:50 — 17:10
-
Ruslan Kornev17:10 — 17:30
-
Computability and cheap non-standard analysisSabrina Ouazzani17:30 — 17:50
-
Paul Shafer17:50 — 18:10
-
-
Room B
Tuesday 24
-
Plenary talk
-
Coffee break
-
Tutorial
-
Gentilini prize11:30 — 11:45Room 3
-
Plenary talk
-
Lunch
-
Special sessions14:30 — 16:00
-
Descriptive set theory and dynamical systemsRoom 1
-
Universal minimal flows relative to a URSTodor Tsankov14:30 — 15:15
-
Measure Equivalence, Superrigidity, and Weak Pinsker EntropyRobin Tucker-Drob15:15 — 16:00
-
-
Proof Theory and ConstructivismRoom 2
-
Alessandra Palmigiano14:30 — 15:15
-
Chuangjie Xu15:15 — 16:00
-
-
Temporal and Multivalued LogicsRoom 3
-
Agi Kurucz14:30 — 15:15
-
Daniele Mundici15:15 — 16:00
-
-
-
Coffee break
-
Contributed papers16:30 — 18:30View program
-
Room B
-
Svetlana Aleksandrova16:30 — 16:50
-
Marina Dorzhieva16:50 — 17:10
-
Sergei Ospichev17:10 — 17:30
-
Manat Mustafa17:30 — 17:50
-
-
Room C
-
Jouko Väänänen16:30 — 16:50
-
Yong Cheng16:50 — 17:10
-
Stamatis Dimopoulos17:10 — 17:30
-
Monroe Eskew17:30 — 17:50
-
Radek Honzik17:50 — 18:10
-
Jerzy Krol18:10 — 18:30
-
-
Room D
-
Mirko Engler16:30 — 16:50
-
Fedor Pakhomov16:50 — 17:10
-
Kenji Miyamoto17:10 — 17:30
-
Serena Delli17:30 — 17:50
-
Bartosz Wcisło17:50 — 18:10
-
-
Room F
-
Tommaso Moraschini16:30 — 16:50
-
Michael Fourman16:50 — 17:10
-
Alberto Policriti17:10 — 17:30
-
Michał Wrocławski17:30 — 17:50
-
Statistical Model-Checking Uncertain Responses written in LTL with ConfidenceFarn Wang17:50 — 18:10
-
-
Room I
-
Cezary Cieśliński16:30 — 16:50
-
Alexander Jones16:50 — 17:10
-
Abilio Rodrigues17:10 — 17:30
-
Notes on the Semantic Refractions of the Intuitionistic LogicNunzia Cosmo17:30 — 17:50
-
Emanuele Frittaion17:50 — 18:10
-
-
Room B
Wednesday 25
-
Gödel lecture
-
Coffee break
-
Tutorial
-
Tutorial
Thursday 26
-
Plenary talk
-
Coffee break
-
Tutorial
-
Plenary talk
-
Lunch
-
Special sessions14:00 — 15:30
-
Computability theoryRoom 1
-
Topology and parallelized Weihrauch reducibilityLinda Brown Westrick14:00 — 14:45
-
Keng Meng Ng14:45 — 15:30
-
-
Model theoryRoom 2
-
Nadja Hempel14:00 — 14:45
-
Classification theory and the construction of PAC fieldsNick Ramsey14:45 — 15:30
-
Gianluca Paolini14:45 — 15:30
-
-
Philosophy of Logic and MathematicsRoom 3
-
Gil Sagi14:00 — 14:45
-
Brice Halimi14:45 — 15:30
-
-
-
Coffee break
-
Contributed papers16:00 — 18:00View program
-
Room C
-
Silvia Barbina16:00 — 16:20
-
Quentin Lambotte16:20 — 16:40
-
Adi Jarden16:40 — 17:00
-
Piotr Błaszczyk17:00 — 17:20
-
Hereditary β-cosemantic Jonsson theoriesAibat Yeshkeyev17:20 — 17:40
-
Alexander Rabinovich17:40 — 18:00
-
-
Room D
-
Nikolay Bazhenov16:00 — 16:20
-
Margarita Marchuk16:20 — 16:40
-
Dino Rossegger16:40 — 17:00
-
Luca San Mauro17:00 — 17:20
-
Maxim Zubkov17:20 — 17:40
-
Russell Miller17:40 — 18:00
-
-
Room F
-
Artur Khamisyan16:00 — 16:20
-
A step towards a coordinate free version of Gödel's Second TheoremBalthasar Grabmayr16:20 — 16:40
-
Two relevant doctrines for constructive topologySamuele Maschio16:40 — 17:00
-
Johan Lindberg17:00 — 17:20
-
Linear Perspective in RenaissanceRyszard Mirek17:20 — 17:40
-
-
Room I
-
Benedict Eastaugh16:00 — 16:20
-
Completeness and decidability of the tense logic of integers periodsXiaoxuan Fu16:20 — 16:40
-
Nicola Gigante16:40 — 17:00
-
Stefania Boffa17:00 — 17:20
-
Davide Catta17:20 — 17:40
-
Eduardo Hermo Reyes17:40 — 18:00
-
-
Room C
Friday 27
-
Plenary talk
-
Coffee break
-
Tutorial
-
Plenary talk
-
Lunch
-
Special sessions14:00 — 15:30
-
Descriptive set theory and dynamical systemsRoom 3
-
Orbit equivalence of Toeplitz flows is Borel completeJulien Melleray14:00 — 14:45
-
Realizing abstract systems of congruencesClinton Conley14:45 — 15:30
-
-
Proof Theory and ConstructivismRoom 2
-
Univalent mathematics at workMartin Escardó14:00 — 14:45
-
Ryota Akiyoshi14:45 — 15:30
-
-
Temporal and Multivalued LogicsRoom 1
-
Expressive-completeness and Deciability of Metric Temporal Logics: Recent ProgressParitosh K. Pandya14:00 — 14:45
-
Amanda Vidal14:45 — 15:30
-
-
-
Coffee break
-
Contributed papers16:00 — 18:00View program
-
Room C
-
Filippo Calderoni16:00 — 16:20
-
Filippo Cavallari16:20 — 16:40
-
Countable-to-one uniformization at arbitrary projective levelVladimir Kanovei16:40 — 17:00
-
Assaf Shani16:40 — 17:00
-
Anja Komatar17:00 — 17:20
-
Higher indescribabilityDenis I. Saveliev17:20 — 17:40
-
-
Room D
-
Franco Parlamento16:00 — 16:20
-
Luiz Carlos Pereira16:20 — 16:40
-
Soundness and completeness of a high probabilities sequent calculusMarija Boričić16:40 — 17:00
-
Anna Horská17:00 — 17:20
-
Annika Kanckos17:20 — 17:40
-
-
Room F
-
Alberto Molinari16:00 — 16:20
-
Caterina Viola16:20 — 16:40
-
Furio Honsell16:40 — 17:00
-
William Stafford17:00 — 17:20
-
Andrei Sipoş17:20 — 17:40
-
-
Room I
-
Satoru Niki16:00 — 16:20
-
Kaibo Xie16:20 — 16:40
-
Gergely Székely16:40 — 17:00
-
Basic quasi-Boolean extensions of relevant logicsJosé M. Méndez17:00 — 17:20
-
Giulia Battilotti17:20 — 17:40
-
-
Room C
Saturday 28
-
Plenary talk
-
Coffee break
-
Plenary talkOn the Significance of Mathematical Hierarchies10:30 — 11:30Room 3
-
Plenary talk