Download mathematical events as PDFEvents
Results (14)
Tuesday October 04, 2022
02:15 PM - 03:15 PM
- Existence of canonical Brakke's mean curvature flow
- Yoshihiro Tonegawa (Tokyo Institute of Technology)
- Einzelveranstaltung
- SFB-Seminar (SFB 1060)
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
Wednesday October 05, 2022
- Exact times and titles: to be announced
- Vasily Golyshev (Moscow) and Duco van Straten (Universität Mainz)
- Einzelveranstaltung
- Number theory lunch seminar
- Vivatsgasse 7, Hörsaal MPI
Thursday October 06, 2022
03:00 PM - 04:00 PM
- Algebras of amenable representation type
- Sebastian Eckert (MPIM, Bonn)
- Einzelveranstaltung
- MPI-Oberseminar
- Vivatsgasse 7, Hörsaal MPI
Tuesday October 11, 2022
02:15 PM - 03:15 PM
- The maximum of log-correlated Gaussian fields in random environments
- Florian Schweiger (Weizmann Institute of Science, Rehovot, Israel)
- Einzelveranstaltung
- SFB-Seminar (SFB 1060)
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
Tuesday October 18, 2022
01:30 PM - 03:00 PM
- Global Math Network Symposium 2022
- Koji Fujiwara (Kyoto University) / Sylvia Serfaty (Courant Institute, New York University)
- Einzelveranstaltung
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
Wednesday October 19, 2022
02:15 PM - 04:00 PM
- Global Math Network Symposium 2022
- Weinan E (Peking University & Princeton University) / Francois Charles (Ecole Normale Supérieure Paris)
- Einzelveranstaltung
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
Thursday October 20, 2022
10:30 AM - 11:30 AM
- tba
- Francois Charles (ENS Paris)
- Einzelveranstaltung
- Seminar Algebraic Geometry (SAG)
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
Tuesday October 25, 2022
02:15 PM - 03:15 PM
- Shape from Metric
- Peter Schröder (California Institute of Technology, Pasadena)
- Einzelveranstaltung
- SFB-Seminar (SFB 1060)
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
Tuesday November 01, 2022
02:00 PM - 03:00 PM
- r-th roots: better negative than positive
- Nitin Kumar Chidambaram (University of Edinburgh)
- Einzelveranstaltung
- Online
Wednesday November 02, 2022
03:15 PM - 05:15 PM
- Introductory lecture on Lean and demonstrations
- Johan Commelin (Universität Freiburg)
- Einzelveranstaltung
- Plücker-Lecture
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
Thursday November 03, 2022
04:15 PM - 08:00 PM
- Formalization of mathematics: Practical sessions on Lean theorem prover
- Johan Commelin (Universität Freiburg)
- Einzelveranstaltung
- Plücker-Lecture
- Endenicher Allee 60, Raum N0.004 (PC-Pool)
Friday November 04, 2022
04:15 PM - 08:00 PM
- Formalization of mathematics: Practical sessions on Lean theorem prover
- Johan Commelin (Universität Freiburg)
- Einzelveranstaltung
- Plücker-Lecture
- Endenicher Allee 60, Raum N0.004 (PC-Pool)
Monday November 07, 2022
05:00 PM - 06:00 PM
- The future of Mathematics
- Kevin Buzzard (Imperial College London)
- Einzelveranstaltung
- Plücker-Lecture
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
Tuesday November 08, 2022
05:00 PM - 06:00 PM
- Theorem provers and modern research
- Kevin Buzzard (Imperial College London)
- Einzelveranstaltung
- Plücker-Lecture
- Endenicher Allee 60, Raum 1.016 (Lipschitz-Saal)
