Seminarium, Beräkningsmatematik
Sö 1 mars - Ti 31 mars
-
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)