Kamil Ciosek spricht über sein IDP zum Thema Reelle Quantoreneliminierung in Isabelle/HOL und stellt seine Beweisproduzierende Entscheidungsprozedur vor. Zeit: 13.1.09, 15 Uhr Ort: MI 00.11.038 ("John v. Neumann")