Disputation

Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations

4 okt

Disputation

fredag 2024-10-04, 13.00

Medverkande: Max Zeuner (Stockholm University)

Plats: Lärosal 5, Hus 1, Albano campus, Stockholm Univ.

Respondent: Max Zeuner , Department of Mathematics, Stockholm University

2024-10-04T13:00:00.000+02:00 2024-10-04T13:00:00.000+02:00 Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Disputation) Lärosal 5, Hus 1, Albano campus, Stockholm Univ. (KTH, Stockholm, Sweden)Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Disputation)

Generalized mixed finite element methods: cut elements and virtual elements

25 okt

Disputationer

Tillämpad matematik och beräkningsmatematik, Numerisk analys

fredag 2024-10-25, 14.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Respondent: Erik Nilsson , Numerisk analys, optimeringslära och systemteori, Numerisk analys

2024-10-25T14:00:00.000+02:00 2024-10-25T14:00:00.000+02:00 Generalized mixed finite element methods: cut elements and virtual elements (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Generalized mixed finite element methods: cut elements and virtual elements (Disputationer)