slides
Some remarks on choice functions in topology: hyperspaces
René Bartsch
**********************************************************************************************************************************************
On the Uniform Computational Content of Ramsey's Theorem
Vasco Brattka
**********************************************************************************************************************************************
Injectivity, hyperconvexity and order
Jurie Conradie
**********************************************************************************************************************************************
Constructions for Identity-Elimination in Explicit Mathematics
Lukas Jaun
**********************************************************************************************************************************************
An intuistionistic justification logic
Michel Marti
**********************************************************************************************************************************************
Some results of structure on near abelian compact groups
Francesco G. Russo
**********************************************************************************************************************************************
Bitopological spaces and the continuity problem
Dieter Spreen
**********************************************************************************************************************************************
On $\Sigma_1$-fixed point statements in Kripke Platek
Silvia Steila
**********************************************************************************************************************************************
Weak applicative theories with types and truth
Thomas Strahm
**********************************************************************************************************************************************
The proof theory of common knowledge
Thomas Studer
**********************************************************************************************************************************************
Remarks on Takahashi convexity in an asymmetric setting
Filiz Yıldız