Joachim Cuntz speaks about defining the k-homology of m-algebras and locally convex algebras
Svjetlana Terzic talks about geometrically formal manifolds and manifolds which are formal but not geometrically formal.
Eric Leichtnam speaks about Denniger's program for using laminations to study zeta functions and trace formulas from number theory.
Paolo Piazza explains various index theorems on manifolds with boundary.
Walking back from lunch: S. Goette, P. Michor, F. Kamber, D. Kotschick
At a cafe: H. Moriyoshi, S. Goette, K. Richardson, P. Piazza, P. Michor, F. Kamber
H. Moriyoshi and P. Piazza talk about eta invariants in the ESI lounge during the cookie hour.
We stopped in this church on the way back from lunch. It is the Servietenkirche, which is a very early Baroque structure - (~1680 CE).
This is the elaborate ceiling of the church --- skylights, paintings, carvings.