|
Accueil
|
Bottin
|
Nous joindre
|
Archives
|
Recherche
|
English
|
Choisir une année, et cliquez sur un mois, une semaine ou un jour
Année
«« 2022
2023
2024 »»
Mois
Janv.
Févr.
Mars
Avril
Mai
Juin
Juill.
Août
Sept.
Oct.
Nov.
Déc.
Janvier 2023
Semaine
d
l
m
m
j
v
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
11 janvier 2023
Séminaires
11 janvier 2023 - 12:30:00 - 13:30:00
Séminaire
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
Site web :
https://dms.umontreal.ca/~clubmath/
haut de page