Dissertation

Johan Lindberg: Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

16 Dec

Dissertation

Wednesday 2020-12-16, 13:00

Location: Zoom, meeting ID: 656 5606 4762

Doctoral student: Johan Lindberg , Stockholms universitet

2020-12-16T13:00:00.000+01:00 2020-12-16T13:00:00.000+01:00 Johan Lindberg: Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory (Dissertation) Zoom, meeting ID: 656 5606 4762 (KTH, Stockholm, Sweden)Johan Lindberg: Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory (Dissertation)

Approaches to accelerate methods for solving systems of equations arising in nonlinear optimization

18 Dec

Public defences of doctoral theses

Applied and Computational Mathematics, Optimization and Systems Theory

Friday 2020-12-18, 10:00

Location: via Zoom, https://kth-se.zoom.us/j/63180134076, Stockholm (English)

Doctoral student: David Ek , Optimeringslära och systemteori

2020-12-18T10:00:00.000+01:00 2020-12-18T10:00:00.000+01:00 Approaches to accelerate methods for solving systems of equations arising in nonlinear optimization (Public defences of doctoral theses) via Zoom, https://kth-se.zoom.us/j/63180134076, Stockholm (English) (KTH, Stockholm, Sweden)Approaches to accelerate methods for solving systems of equations arising in nonlinear optimization (Public defences of doctoral theses)