|
|
Room 1
|
Room 2
|
Room 3
|
|
11.40-12.00
|
Guido Gherardi
|
Luca Carai
|
Paolo Maffezioli
|
|
|
Computability of the Whitney Extension Theorems
|
A calculus for modal compact Hausdorff spaces
|
Consequentia mirabilis as strong stability
|
|
12.00-12.20
|
Gian Marco Osso
|
Thomas Agotnes
|
Miguel Martinis
|
|
|
The Galvin-Prikry theorem in the Weihrauch lattice
|
Non-Monotonic Modal Logics: The Interpolation Rule
|
Bi-Intermediate Logics of Co-Trees: Local Finiteness and Decidability
|
|
12.20-12.40
|
Manlio Valenti
|
Giulia Battilotti
|
|
|
|
Quotients in the Weihrauch degrees
|
Psychoanalytic Theory and Logic
|
|
|
|
|
|
|
|
|
|
|
|
|
14.30-14.50
|
Luca San Mauro
|
Stefano Bonzio
|
Cipriano J Cioffo
|
|
|
Decision problems of group and semigroups as equivalence relations
|
On the structure of balanced residuated posets
|
Fibrations, quotient completions and descents in foundations of constructive mathematics
|
|
14.50-15.10
|
Vittorio Cipriani
|
Fosco Loregian
|
Michele Contenente
|
|
|
Learning isomorphism problems with countably many isomorphism types
|
The fibration of algebras
|
On the Compatibility of Constructive Predicative Theories with Weyl's Classical Predicativity
|
|
15.10-15.30
|
Andrea Volpi
|
Sebastian Speitel
|
Pietro Sabelli
|
|
|
Reverse mathematics and dimension of posets
|
Logic, Logicality, and Arithmetical Determinacy
|
A topological reading of (co)inductive definitions
|
|
15.30-15.50
|
Gabriele Buriola
|
Matteo Spadetto
|
Iosif Petrakis
|
|
|
Ordinal Analysis of Well-Ordering Principles
|
Higher dimensional semantics of propositional theories of dependent types
|
Constructive Stone representations for separated swap and Boolean algebras
|
|
15.50-16.10
|
Valentino Delle Rose
|
Simone Ramello
|
--
|
|
|
On the complexity of some topological properties in highly computable graphs
|
Valued difference fields beyond surjectivity
|
|
