- Logiques de programmes : quand la machine raisonne sur ses logiciels Présentation
- 04 mars 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
- 04 mars 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
- 11 mars 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
- 11 mars 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
- 18 mars 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
- 18 mars 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
- 25 mars 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
- 25 mars 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
- 01 avril 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
- 01 avril 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
- 08 avril 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
- 08 avril 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy
- 15 avril 2021 09:30 11:00 Cours Logiques de programmes : quand la machine raisonne sur ses logiciels Xavier Leroy
- 15 avril 2021 11:15 12:15 Séminaire En relation avec le sujet du cours Xavier Leroy