Seminar, Computational Mathematics
Wed 01 November - Thu 30 November
-
Seminar, Computational Mathematics
Wednesday 2023-11-15, 13:30 - 14:30
Participating: Loïc Pujet (SU)
Location: 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 (Seminar, Computational Mathematics) Cramer room, Albano (KTH, Stockholm, Sweden)Loïc Pujet: An intro to computer-assisted proofs with Coq (Seminar, Computational Mathematics) -
Seminar, Computational Mathematics
Wednesday 2023-11-29, 13:30 - 14:30
Participating: Sandhya Thekkumpadan Puthiyaveedu (SU)
Location: 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 (Seminar, Computational Mathematics) Cramer room, Albano (KTH, Stockholm, Sweden)Sandhya Thekkumpadan Puthiyaveedu: Fitch Graph Completion (Seminar, Computational Mathematics)