Disputation

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

16 dec

Disputation

onsdag 2020-12-16, 13.00

Plats: Zoom, meeting ID: 656 5606 4762

Respondent: 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 (Disputation) Zoom, meeting ID: 656 5606 4762 (KTH, Stockholm, Sweden)Johan Lindberg: Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory (Disputation)

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

18 dec

Disputationer

Tillämpad matematik och beräkningsmatematik, Optimeringslära och systemteori

fredag 2020-12-18, 10.00

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

Respondent: 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 (Disputationer) 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 (Disputationer)