Department of Mathematics and Systems Analysis

Current

Lectures, seminars and dissertations

* Dates within the next 7 days are marked by a star.

Yaël Dillies
TBA
* Monday 29 July 2024,   11:00,   M3 (M234)

Yaël Dillies
(Lean formalization tutorials)
* Tuesday 30 July 2024,   14:00,   M3 (M234)
ForAlli Lean tutorials

Yaël Dillies
(Lean formalization tutorials)
Thursday 01 August 2024,   14:00,   M3 (M234)
ForAlli Lean tutorials

Show the events of the past year

Page content by: webmaster-math [at] list [dot] aalto [dot] fi