Seminarium, Beräkningsmatematik

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Stefano Ottolenghi: Towards tackling ice sheets-ocean interactions with Finite Element Methods

  22 apr

  Seminarium, Beräkningsmatematik

  onsdag 2020-04-22, 14.00

  Medverkande: Stefano Ottolenghi

  Plats: Zoom: stockholmuniversity, Meeting ID: 65341844109

  2020-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 (Seminarium, Beräkningsmatematik) Zoom: stockholmuniversity, Meeting ID: 65341844109 (KTH, Stockholm, Sweden)Stefano Ottolenghi: Towards tackling ice sheets-ocean interactions with Finite Element Methods (Seminarium, Beräkningsmatematik)

• Christian Helanow: Finite element approximations of the p-Stokes equations for ice-sheet models

  20 maj

  Seminarium, Beräkningsmatematik

  onsdag 2020-05-20, 14.00 - 14.45

  Medverkande: Christian Helanow, Stockholms universitet

  Plats: Zoom, meeting ID: 619 6390 9394

  2020-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 (Seminarium, Beräkningsmatematik) Zoom, meeting ID: 619 6390 9394 (KTH, Stockholm, Sweden)Christian Helanow: Finite element approximations of the p-Stokes equations for ice-sheet models (Seminarium, Beräkningsmatematik)

• Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations

  3 jun

  Seminarium, Beräkningsmatematik

  onsdag 2020-06-03, 14.00 - 14.45

  Medverkande: Anders Mörtberg, Stockholms universitet

  Plats: Zoom, meeting ID: 637 3645 9054

  2020-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 (Seminarium, Beräkningsmatematik) Zoom, meeting ID: 637 3645 9054 (KTH, Stockholm, Sweden)Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations (Seminarium, Beräkningsmatematik)