| | | |  | | |  |
| | | Capacity | Course | Type | Semester | Date | Time | Building | Room | Guarantor | Teacher | Cancel before | Registration until | Registration from |
| detail |
|
|
2/12
|
Decision Procedures and Verification (NAIX094) |
exam |
summer |
Jun 04, 2025 - Wednesday |
09:30 |
Malá Strana |
S301 |
32-KTIML |
RNDr. Petr Kučera, Ph.D. |
Jun 04, 2025, 12:00 AM |
Jun 04, 2025, 12:00 AM |
|
| An oral exam, details can be found on the moodle page to each course respectively |
| detail |
|
|
4/12
|
Decision Procedures and Verification (NAIX094) |
exam |
summer |
Jun 09, 2025 - Monday |
09:30 |
Malá Strana |
S301 |
32-KTIML |
RNDr. Petr Kučera, Ph.D. |
Jun 09, 2025, 12:00 AM |
Jun 09, 2025, 12:00 AM |
|
| An oral exam, details can be found on the moodle page to each course respectively |
| detail |
|
|
4/12
|
Decision Procedures and Verification (NAIX094) |
exam |
summer |
Jun 20, 2025 - Friday |
09:30 |
Malá Strana |
S301 |
32-KTIML |
RNDr. Petr Kučera, Ph.D. |
Jun 20, 2025, 12:00 AM |
Jun 20, 2025, 12:00 AM |
|
| An oral exam, details can be found on the moodle page to each course respectively |
| detail |
|
|
12/12
|
Decision Procedures and Verification (NAIX094) |
exam |
summer |
Jun 25, 2025 - Wednesday |
09:30 |
Malá Strana |
S301 |
32-KTIML |
RNDr. Petr Kučera, Ph.D. |
Jun 25, 2025, 12:00 AM |
Jun 25, 2025, 12:00 AM |
|
| An oral exam, details can be found on the moodle page to each course respectively |
|
