Seminarium, Beräkningsmatematik

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Igor Tominec: Stability Aspects of Radial Basis Function Methods for Solving PDEs

  20 sep

  Seminarium, Beräkningsmatematik

  onsdag 2023-09-20, 13.30

  Medverkande: Igor Tominec

  Plats: Cramer room, Albano

  2023-09-20T13:30:00.000+02:00 2023-09-20T13:30:00.000+02:00 Igor Tominec: Stability Aspects of Radial Basis Function Methods for Solving PDEs (Seminarium, Beräkningsmatematik) Cramer room, Albano (KTH, Stockholm, Sweden)Igor Tominec: Stability Aspects of Radial Basis Function Methods for Solving PDEs (Seminarium, Beräkningsmatematik)

• 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)