Seminarium, Beräkningsmatematik

Ivan Di Liberti: \vdash vs \models

5 okt

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)

Sandhya Thekkumpadan Puthiyaveedu: k-Median Graphs

19 okt

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)

Marc Hellmuth: Explicit Modular Decomposition

2 nov

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)

Axel Ljungström: Introduction to Agda

16 nov

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)

Marina Herrera Sarrias: Studies of mutation dynamics in evolution

30 nov

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)

Busra Tas: A Data-driven Fuzzy Clustering Based on Density Peaks Using Graph Distance

14 dec

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)