Seminarium, Beräkningsmatematik

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Marc Hellmuth: The Mathematics of Horizontal Gene Transfer and Fitch's Xenology Relation

  4 okt

  Seminarium, Beräkningsmatematik

  onsdag 2023-10-04, 13.30 - 14.30

  Medverkande: Marc Hellmuth (SU)

  Plats: Cramer room, Albano

  2023-10-04T13:30:00.000+02:00 2023-10-04T14:30:00.000+02:00 Marc Hellmuth: The Mathematics of Horizontal Gene Transfer and Fitch's Xenology Relation (Seminarium, Beräkningsmatematik) Cramer room, Albano (KTH, Stockholm, Sweden)Marc Hellmuth: The Mathematics of Horizontal Gene Transfer and Fitch's Xenology Relation (Seminarium, Beräkningsmatematik)

• Loïc Pujet: An intro to computer-assisted proofs with Coq

  15 nov

  Seminarium, Beräkningsmatematik

  onsdag 2023-11-15, 13.30 - 14.30

  Medverkande: Loïc Pujet (SU)

  Plats: Cramer room, Albano

  2023-11-15T13:30:00.000+01:00 2023-11-15T14:30:00.000+01:00 Loïc Pujet: An intro to computer-assisted proofs with Coq (Seminarium, Beräkningsmatematik) Cramer room, Albano (KTH, Stockholm, Sweden)Loïc Pujet: An intro to computer-assisted proofs with Coq (Seminarium, Beräkningsmatematik)

• Sandhya Thekkumpadan Puthiyaveedu: Fitch Graph Completion

  29 nov

  Seminarium, Beräkningsmatematik

  onsdag 2023-11-29, 13.30 - 14.30

  Medverkande: Sandhya Thekkumpadan Puthiyaveedu (SU)

  Plats: Cramer room, Albano

  2023-11-29T13:30:00.000+01:00 2023-11-29T14:30:00.000+01:00 Sandhya Thekkumpadan Puthiyaveedu: Fitch Graph Completion (Seminarium, Beräkningsmatematik) Cramer room, Albano (KTH, Stockholm, Sweden)Sandhya Thekkumpadan Puthiyaveedu: Fitch Graph Completion (Seminarium, Beräkningsmatematik)