Contributed talks

This list contains accepted talks where at least one author has already registered for the colloquium.

Click on a title to show the abstract.

Foundations of Geometry
Marlena Fila, Piotr Blaszczyk
Limits of diagrammatic reasoning
Davit Harutyunyan, Aram Nazaryan, Victor Pambuccian
The Hajja-Martini inequality in a weak absolute geometry
David Pierce
Apollonian proof
General
Joseph Boudou, Martínn Diéguez, David Fernández-Duque
A Complete Intuitionistic Temporal Logic for Topological Dynamics
Luis Estrada-González, Claudia, Lucía Tanús-Pimentel
Content-sharing in relevant mathematics
David M. Evans, Jan Hubička, Matěj Konečný, Yibei Li
Simplicity of automorphism groups of generalised metric spaces
Michal Tomasz Godziszewski, Dino Rossegger, Luca San Mauro
Quotient presentations of structures
Jan Hubička, Matěj Konečný, Jaroslav Nešetřil
On Hrushovski properties of Hrushovski constructions
Vedran Čačić, Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoć
Complexity of some fragments of description logics
Robert Lubarsky
Feedback hyperjump
Ryszard Mirek
Euclidean Geometry
Joachim Mueller-Theys
Multi-valued interpretations
José M. Méndez, Gemma Robles, Francisco Salto
Falsity constants for two independent families of quasi-Boolean logics