Seminar, Computational Mathematics

Reid W. Barton: Condensed type theory and directed univalence

30 Apr

Seminar, Computational Mathematics

Wednesday 2025-04-30, 13:00 - 14:00

Participating: Reid W. Barton

Location: Room Cramer

2025-04-30T13:00:00.000+02:00 2025-04-30T14:00:00.000+02:00 Reid W. Barton: Condensed type theory and directed univalence (Seminar, Computational Mathematics) Room Cramer (KTH, Stockholm, Sweden)Reid W. Barton: Condensed type theory and directed univalence (Seminar, Computational Mathematics)

Sami Aydin: Syncmer Digest: A Lossy Compression Method for Sequencing Similarity

14 May

Seminar, Computational Mathematics

Wednesday 2025-05-14, 13:00 - 14:00

Participating: Sami Aydin

Location: Room Cramer

2025-05-14T13:00:00.000+02:00 2025-05-14T14:00:00.000+02:00 Sami Aydin: Syncmer Digest: A Lossy Compression Method for Sequencing Similarity (Seminar, Computational Mathematics) Room Cramer (KTH, Stockholm, Sweden)Sami Aydin: Syncmer Digest: A Lossy Compression Method for Sequencing Similarity (Seminar, Computational Mathematics)

Nicolas Buchin: Improve the resizing of the Backpack Quotient Filter

28 May

Seminar, Computational Mathematics

Wednesday 2025-05-28, 13:00 - 14:00

Participating: Nicolas Buchin

Location: Room Cramer

2025-05-28T13:00:00.000+02:00 2025-05-28T14:00:00.000+02:00 Nicolas Buchin: Improve the resizing of the Backpack Quotient Filter (Seminar, Computational Mathematics) Room Cramer (KTH, Stockholm, Sweden)Nicolas Buchin: Improve the resizing of the Backpack Quotient Filter (Seminar, Computational Mathematics)