| Time | Room | | Course title |
|---|
| Monday 16.02.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 23.02.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 02.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 09.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 16.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 23.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 30.03.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 13.04.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 20.04.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 27.04.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 04.05.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 11.05.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |
| |
| Monday 18.05.2026 |
|---|
| 13:15-15:00 | BC01 | C | CS-643 Formal Mathematics with Lean and AI |