| Montag, 14.07 |
14:00 SR8: Oberseminare und sonstige Vorträge Arthur Bartels: "Trimming and orthants (sections 8 and 9)" mehr 16:15 SR4: Oberseminare und sonstige Vorträge Eva Glasmachers: "Notwendige und hinreichende Kriterien für verschwindende topologische Entropie auf einem zweidimensionalen Riemannschen Torus" Oberseminar Differentialgeometrie mehr |
| Dienstag, 15.07 |
14:15 SR4: Oberseminare und sonstige Vorträge Frederick Magata "Klassifikation der isoparametrischen Hyperflächen" mehr 14:15 SR 1: Oberseminar Angewandte Mathematik Jan Pietschmann (Universität Münster): Trend to Equilibrium in Nonlinear Fokker-Planck Equations mehr 15:15 SFB: Oberseminare und sonstige Vorträge Mario Paschke: Connes' spectral characterization of manifolds IV. Oberseminar C*-Algebren. mehr 16:15 SR 7: Oberseminare und sonstige Vorträge Oberseminar p-adische Arithmetik - The cohomology of p-adic symmetric spaces Tobias Schmidt: "Extensions of generalized Steinberg representations" mehr |
| Mittwoch, 16.07 |
10:15 SR 2: Oberseminare und sonstige Vorträge Oberseminar p-adische Arithmetik - The cohomology of p-adic symmetric spaces Christian Kappen: "Duality Theorem" mehr 16:15 M5: Kolloquium der angewandten Mathematik Malwina Luczak, London: Random subgraphs of the 2D Hamming graph: the supercritical phase mehr |
| Donnerstag, 17.07 |
16:00 SR5: Sonstige Vorträge Sylvain Maillot: The Ricci flow on open 3-manifolds of positive scalar curvature. mehr 16:15 M4: Oberseminare und sonstige Vorträge Christian Bartsch: Multitype Galton-Watson-Prozesse und verzweigende Markov-Ketten - Oberseminar Mathematische Stochastik mehr 16:30 M3: Kolloquium FB10 und Sondervorträge Lev Beklemishev (Moskau): "Kripke models for provability logic GLP" mehr 17:20 M3: Kolloquium FB10 und Sondervorträge Wilfried Buchholz (München): "(Co)recursion and notations for infinitary derivations" mehr 18:00 SFB: Sonstige Vorträge SFB Sommerfest mehr |
| Freitag, 18.07 |
09:00 M5: Kolloquium FB10 und Sondervorträge Tim Carlson (Columbus, OH): "Progress on Patterns of Embeddings" mehr 10:00 M5: Kolloquium FB10 und Sondervorträge Laura Crosilla (Leeds): "Explicit Constructive Set Theory I" mehr 10:50 M5: Kolloquium FB10 und Sondervorträge Andrea Cantini (Firenze): "Explicit Constructive Set Theory II" mehr 12:00 M5: Kolloquium FB10 und Sondervorträge Gerhard Jäger (Bern): "Operations and Sets" mehr 15:30 M1: Kolloquium FB10 und Sondervorträge Solomon Feferman (USA): "The proof theory of classical and constructive inductive definitions: A forty year saga" mehr 17:15 M1: Kolloquium FB10 und Sondervorträge Michael Rathjen (Leeds): "The emergence of infinitary impredicative proof theory" mehr 18:00 M1: Kolloquium FB10 und Sondervorträge Arnold Beckmann (Swansea): "Proof theory and weak arithmetics" mehr |
| Samstag, 19.07 |
09:00 M5: Kolloquium FB10 und Sondervorträge Reinhard Kahle (Coimbra): "The Universal Set and Diagonalization" mehr 10:00 M5: Kolloquium FB10 und Sondervorträge Robert Lubarsky (Boca Raton, FL): "ITTM Oracles for Well-Foundedly Many Convergence Questions" mehr 10:50 M5: Kolloquium FB10 und Sondervorträge Arnon Avron (Tel-Aviv): "Syntactically Safety and Predicative Set Theory" mehr 12:00 M5: Kolloquium FB10 und Sondervorträge Helmut Schwichtenberg (München): "Computational content of proofs" mehr 15:00 M5: Kolloquium FB10 und Sondervorträge Monika Seisenberger (Swansea): "New ways of extracting algorithms from proofs" mehr 15:50 M5: Kolloquium FB10 und Sondervorträge Thomas Strahm (Bern): "Primitive recursive selection functions for existential assertions over abstract algebras" (joint work with with Jeffery I. Zucker) mehr 17:00 M5: Kolloquium FB10 und Sondervorträge Stan Wainer (Leeds): "Pointwise Induction and Slow Growing Bounds" mehr |
| Sonntag, 20.07 |
|