Seminar, Computational Mathematics

Kristoffer Sahlin: Computational methods for analysis of genome and transcriptome sequencing data

11 Mar

Seminar, Computational Mathematics

Wednesday 2020-03-11, 14:00 - 15:00

Participating: Kristoffer Sahlin

Location: 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 (Seminar, Computational Mathematics) Kräftriket, house 5, room 31 (KTH, Stockholm, Sweden)Kristoffer Sahlin: Computational methods for analysis of genome and transcriptome sequencing data (Seminar, Computational Mathematics)

Max Zeuner: Constructive Mathematics and the Computational Content of Proofs

25 Mar

Seminar, Computational Mathematics

Wednesday 2020-03-25, 14:00 - 15:00

Participating: Max Zeuner

Location: 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 (Seminar, Computational Mathematics) https://stockholmuniversity.zoom.us/j/384148555 (KTH, Stockholm, Sweden)Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics)