Seminarium, Beräkningsmatematik
To 10 mars - Lö 31 december
-
Seminarium, Beräkningsmatematik
onsdag 2022-10-05, 13.00
Medverkande: Ivan Di Liberti
Plats: Albano, Cramer room
2022-10-05T13:00:00.000+02:00 2022-10-05T13:00:00.000+02:00 Ivan Di Liberti: \vdash vs \models (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden)Ivan Di Liberti: \vdash vs \models (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2022-10-19, 13.30
Medverkande: Sandhya Thekkumpadan Puthiyaveedu
Plats: Albano, Cramer room
2022-10-19T13:30:00.000+02:00 2022-10-19T13:30:00.000+02:00 Sandhya Thekkumpadan Puthiyaveedu: k-Median Graphs (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden)Sandhya Thekkumpadan Puthiyaveedu: k-Median Graphs (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2022-11-02, 13.30
Medverkande: Marc Hellmuth (SU)
Plats: Albano, Cramer room
2022-11-02T13:30:00.000+01:00 2022-11-02T13:30:00.000+01:00 Marc Hellmuth: Explicit Modular Decomposition (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden)Marc Hellmuth: Explicit Modular Decomposition (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2022-11-16, 13.30 - 14.15
Medverkande: Axel Ljungström
Plats: Albano, Cramer room
2022-11-16T13:30:00.000+01:00 2022-11-16T14:15:00.000+01:00 Axel Ljungström: Introduction to Agda (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden)Axel Ljungström: Introduction to Agda (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2022-11-30, 13.30
Medverkande: Marina Herrera Sarrias
Plats: Albano, Cramer room
2022-11-30T13:30:00.000+01:00 2022-11-30T13:30:00.000+01:00 Marina Herrera Sarrias: Studies of mutation dynamics in evolution (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden) Marina Herrera Sarrias: Studies of mutation dynamics in evolution (Seminarium, Beräkningsmatematik) -
Seminarium, Beräkningsmatematik
onsdag 2022-12-14, 13.30
Medverkande: Busra Tas
Plats: Albano, Cramer room
2022-12-14T13:30:00.000+01:00 2022-12-14T13:30:00.000+01:00 Busra Tas: A Data-driven Fuzzy Clustering Based on Density Peaks Using Graph Distance (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden)Busra Tas: A Data-driven Fuzzy Clustering Based on Density Peaks Using Graph Distance (Seminarium, Beräkningsmatematik)