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/