Invited Speakers
- Dominique Bourn (Univ. du Littoral Côte d'Opale, Calais, France)
New aspects of the Schreier-Mac Lane's extension theorem
- Bob Coecke (Univ. of Oxford, UK)
Quantum physics as it is practised in the lab
- Marcelo Fiore (Univ. of Cambridge, UK)
Towards a mathematical theory of substitution
- Marino Gran (Univ. du Littoral Côte d'Opale, Calais, France)
On Galois structures in algebraic categories
- Dirk Hofmann (Univ. de Aveiro, Portugal)
Topological spaces, categorically
- Martin Hyland (Univ. of Cambridge, UK)
Fibrations in Logic
- F. William Lawvere (Univ. at Buffalo, New York, USA)
A strong Nullstellensatz for Euler continua in a cohesive topos
- Jiří Rosický (Masaryk Univ., Brno, Czech Republic)
Combinatorial model categories