Seminarium, Beräkningsmatematik
Lö 25 januari - To 31 december
-
Seminarium, Beräkningsmatematik
onsdag 2020-02-19, 14.00 - 15.00
Medverkande: André Löfgren
Plats: Kräftriket, house 5, room 31
2020-02-19T14:00:00.000+01:00 2020-02-19T15:00:00.000+01:00 André Löfgren: Towards a stable ice sheet solver (Seminarium, Beräkningsmatematik) Kräftriket, house 5, room 31 (KTH, Stockholm, Sweden)André Löfgren: Towards a stable ice sheet solver (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2020-02-26, 14.00 - 15.00
Medverkande: Busra Tas
Plats: Kräftriket, house 5, room 31
2020-02-26T14:00:00.000+01:00 2020-02-26T15:00:00.000+01:00 Busra Tas: Statistical Learning and Stochastic Modeling of Molecular Motor - Embarking on the Journey (Seminarium, Beräkningsmatematik) Kräftriket, house 5, room 31 (KTH, Stockholm, Sweden)Busra Tas: Statistical Learning and Stochastic Modeling of Molecular Motor - Embarking on the Journey (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2020-03-11, 14.00 - 15.00
Medverkande: Kristoffer Sahlin
Plats: Kräftriket, house 5, room 31
2020-03-11T14:00:00.000+01:00 2020-03-11T15:00:00.000+01:00 Kristoffer Sahlin: Computational methods for analysis of genome and transcriptome sequencing data (Seminarium, Beräkningsmatematik) Kräftriket, house 5, room 31 (KTH, Stockholm, Sweden)Kristoffer Sahlin: Computational methods for analysis of genome and transcriptome sequencing data (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2020-03-25, 14.00 - 15.00
Medverkande: Max Zeuner
Plats: https://stockholmuniversity.zoom.us/j/384148555
2020-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 (Seminarium, Beräkningsmatematik) https://stockholmuniversity.zoom.us/j/384148555 (KTH, Stockholm, Sweden)Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2020-04-15, 14.00
Medverkande: Chun-Biu Li
Plats: Zoom, Meeting ID: 682 028 753 10
2020-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 (Seminarium, Beräkningsmatematik) Zoom, Meeting ID: 682 028 753 10 (KTH, Stockholm, Sweden)Chun-Biu Li: How do molecular motors face stochasticity? Challenges and chances (Seminarium, Beräkningsmatematik) -
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) -
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) -
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)