Group photos
Category Theory 2000
Como Italy, July 2000
Computability and Complexity in Analysis 2003
Cincinnati USA, August 2003
Domains, Topology and Constructive Logic, 2003
München, November 2003
Ramifications of Category Theory, 2003
Firenze, November 2003
Spatial Representation: Discrete vs. Continuous Computational Models, 2004
Dagstuhl, August 2004
Trends in Constructive Mathematics, 2006
Frauenwörth, June 2006
7th Workshop on Formal Topology
Venice Italy, April 2026
Individual photographs (319 people)
A
B
C
D
G
H
K
L
M
P
R
S
V
W
