About
Program
- Tutorials and lectures
- Special sessions
- Contributed talks
- Schedule
- Proceedings
- Social program
Participation
- Registration
- Accommodation
- Visas
- Venue
- Transportation
- Sofia
Sponsors

Tutorials and lectures

The program consists of a mixture of tutorials, invited plenary talks, special sessions, contributed talks and a Gödel lecture.

Gödel lecture

Richard A. Shore (Cornell University) [slides]
”Reverse Mathematics: the Playground of Logic”

Tutorials

Ulrich Kohlenbach (Technische Universität Darmstadt) [slides]
”Applied Proof Theory: Proof Interpretations and Their Use in Mathematics”
Andre Nies (University of Auckland) [slides] [paper version]
”Applying randomness to computability”
Ralf Schindler (Universität Münster) [slides 1, 2 and 3]
”The evolution of inner models”

Plenary talks

Elisabeth Bouscaren (Université Paris-Sud 11)
”Ranks in model theory and definable groups”
S. Barry Cooper (University of Leeds) [slides]
”Definability in the Real Universe”
Thierry Coquand (University of Gothenburg) [slides]
”Infinite objects in constructive mathematics”
Ilijas Farah (York University) [slides]
”Ultrapowers of operator algebras”
Valentina S. Harizanov (George Washington University) [slides]
”Four notions of degree spectra”
Stephan Kreutzer (Oxford University) [slides]
”Algorithmic meta-theorems: upper and lower bounds”
David W. Kueker (University of Maryland) [slides]
”Abstract elementary classes”
Benjamin Miller [slides]
”Forceless, ineffective, powerless proofs of descriptive set-theoretic dichotomy theorems”
Itay Neeman (University of California Los Angeles)
”Forcing with ultrafilters”
Dana S. Scott (Carnegie Mellon University) [slides]
”Mixing modality and provability”
Katrin Tent (University of Munster)
”Computable functions on the reals”
Jouko Väänänen (University of Amsterdam) [slides]
”Dependence logic”

Special sessions

The special sessions are listed on a separate page.