| Jour | Classe | | Cours |
|---|
| Lundi 16.02.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 23.02.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 02.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 09.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 16.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 23.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 30.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 13.04.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 20.04.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 27.04.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 04.05.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 11.05.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Lundi 18.05.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |