New Year's Working Day at the Mathematics Institute
02.01.2014
Zeit und Ort
Donnerstag 02.01.2014, Raum B 349.
Talks
- Ulrich Berger 14:00-14:45: Schemate for proof rules and realizers
- Josef Berger 14:45-15:30: On Separation Axioms
- Monika Seisenberger 15:45-16:30: Extraction of Verified Decision Procedures
- Hans-Christoph Kotzsch 16:30-17:15: Topos Semantics for Higher-Order Modal Logic
- Davide Rinaldi 17:30-18:15: A finite version of the Density Theorem
- Peter Schuster 18:15-19:00: Folding up
Dinner
Cafe Puck, Türkenstrasse 33
Letzte Änderung
30. Dezember 2013