| Jour | Classe | | Cours |
|---|
| Mardi 20.02.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 22.02.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 27.02.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 29.02.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 05.03.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 07.03.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 12.03.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 14.03.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 19.03.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 21.03.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 26.03.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 28.03.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 09.04.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 11.04.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 16.04.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 18.04.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 23.04.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 25.04.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 30.04.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 02.05.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 07.05.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 14.05.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 16.05.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 21.05.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 23.05.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |
| |
| Mardi 28.05.2024 |
|---|
| 09:15-12:00 | INM201 | C | CS-628 Interactive Theorem Proving CS |
| |
| Jeudi 30.05.2024 |
|---|
| 14:15-17:00 | INM203 | T | CS-628 Interactive Theorem Proving CS |