Conference on:“Logic and the Foundations of the Exact Sciences — Hilbert's Heritage” (Bern)
Organised by Tilman Sauer, June 28–30, 2001, sponsored by the Max-and-Else-Baer-Brawand-Fonds