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 go back to the calendar view.
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