- About
- Program
- Tutorials and lectures
- Special sessions
- Contributed talks
- Schedule
- Proceedings
- Social program
- Participation
- Sponsors
Special sessions
For now we have the following confirmed special sessions:
Logic and Category Theory
Organized by: S. Abramsky and S. Shapiro
- Steve Awodey
”Type theory and homotopy theory” - Andrej Bauer [slides]
”On fixed points in the effective topos” - Richard Blute
”From linear logic to differential categories” - Colin S. McLarty
”Single-sorting, and first order axioms for the category of categories as foundation”
Computability Theory
Organized by: K. Ambos-Spies and I. Soskov
- Serikzhan Badaev [slides]
”Computable numberings in the hierarchies” - George Barmpalias [slides]
”Randomness notions and partial relativization” - Denis Hirschfeldt [slides]
”Reverse mathematics of Model theory” - Andrei Morozov [slides]
”Some aspects of computability over the reals”
Model Theory, New Directions in Classification Theory
Organized by: E. Hrushovski and M. Otero
- Hans Adler [slides]
”How to determine the value of thorn” - Yevgeniy Vasilyev [slides]
”Linearity and pairs of geometric structures” - Antongiulio Fornasiero [slides]
”Tame structures” - Alf Onshuus [slides]
”On local stability”
Philosophical Logic
Organized by: D. Vakarelov and M. Zakharyaschev
- Philippe Balbiani [slides]
”Complete axiomatizations of modal logics for region-based theories of space” - Roman Kontchakov [slides]
”Spatial logics with connectedness predicates” - Istvan Nemeti [animated slides]
”Back and forth between logic and relativity theory. Part I” - Frank Wolter [slides]
”Mathematical logic for life science ontologies”
Set Theory
Organized by: M. Goldstern and H. Woodin
