Choose a year and click on a month, a week or a day


Year
««   202220232024   »»

Month
Jan. Feb. March April
May June July Aug.
Sept. Oct. Nov. Dec.

January 2023
Week
s m t w t f s
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4


January 11, 2023

Seminars

January 11, 2023 - 12:30:00 - 13:30:00

Seminar
Salle Z-300 du pavillon Claire McNicoll de l'Université de Montréal

Formalisation des mathématiques avec l'assistant de preuves Lean

Frédéric Dupuis, professeur agrégé, département d'informatique et de recherche opérationnelle, Université de Montréal

Web site : https://dms.umontreal.ca/~clubmath/

back to top