Seminar, Computational Mathematics
Thu 19 March - Thu 31 December
-
25MarSeminar, Computational MathematicsWednesday 2020-03-25, 14:00 - 15:00Lecturer: Max Zeuner2020-03-25T14:00:00.000+01:00 2020-03-25T15:00:00.000+01:00 Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics) Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics)
-
15AprSeminar, Computational MathematicsWednesday 2020-04-15, 14:00Lecturer: Chun-Biu LiLocation: Zoom, Meeting ID: 682 028 753 102020-04-15T14:00:00.000+02:00 2020-04-15T14:00:00.000+02:00 Chun-Biu Li: How do molecular motors face stochasticity? Challenges and chances (Seminar, Computational Mathematics) Chun-Biu Li: How do molecular motors face stochasticity? Challenges and chances (Seminar, Computational Mathematics)
-
22AprSeminar, Computational MathematicsWednesday 2020-04-22, 14:00Lecturer: Stefano Ottolenghi2020-04-22T14:00:00.000+02:00 2020-04-22T14:00:00.000+02:00 Stefano Ottolenghi: Towards tackling ice sheets-ocean interactions with Finite Element Methods (Seminar, Computational Mathematics) Stefano Ottolenghi: Towards tackling ice sheets-ocean interactions with Finite Element Methods (Seminar, Computational Mathematics)
-
20MaySeminar, Computational MathematicsWednesday 2020-05-20, 14:00 - 14:45Lecturer: Christian Helanow, Stockholms universitetLocation: Zoom, meeting ID: 619 6390 93942020-05-20T14:00:00.000+02:00 2020-05-20T14:45:00.000+02:00 Christian Helanow: Finite element approximations of the p-Stokes equations for ice-sheet models (Seminar, Computational Mathematics) Christian Helanow: Finite element approximations of the p-Stokes equations for ice-sheet models (Seminar, Computational Mathematics)
-
3JunSeminar, Computational MathematicsWednesday 2020-06-03, 14:00 - 14:45Lecturer: Anders Mörtberg, Stockholms universitetLocation: Zoom, meeting ID: 637 3645 90542020-06-03T14:00:00.000+02:00 2020-06-03T14:45:00.000+02:00 Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations (Seminar, Computational Mathematics) Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations (Seminar, Computational Mathematics)