| | | |  | | |  |
| | | 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 |
May 31, 2024 - Friday |
09:30 |
Little Side |
S7 |
32-KTIML |
RNDr. Petr Kučera, Ph.D. |
May 31, 2024, 12:00 AM |
May 31, 2024, 12:00 AM |
|
| The exam is oral, more information on the moodle page of the lecture. |
| detail |
|
|
3/16
|
Decision Procedures and Verification (NAIX094) |
exam |
summer |
Jun 04, 2024 - Tuesday |
09:30 |
Little Side |
S7 |
32-KTIML |
RNDr. Petr Kučera, Ph.D. |
Jun 04, 2024, 12:00 AM |
Jun 04, 2024, 12:00 AM |
|
| The exam is oral, more information on the moodle page of the lecture. |
| detail |
|
|
1/16
|
Decision Procedures and Verification (NAIX094) |
exam |
summer |
Jun 11, 2024 - Tuesday |
09:30 |
Little Side |
S11 |
32-KTIML |
RNDr. Petr Kučera, Ph.D. |
Jun 11, 2024, 12:00 AM |
Jun 11, 2024, 12:00 AM |
|
| The exam is oral, more information on the moodle page of the lecture. |
| detail |
|
|
4/16
|
Decision Procedures and Verification (NAIX094) |
exam |
summer |
Jun 17, 2024 - Monday |
09:30 |
Little Side |
S11 |
32-KTIML |
RNDr. Petr Kučera, Ph.D. |
Jun 17, 2024, 12:00 AM |
Jun 17, 2024, 12:00 AM |
|
| The exam is oral, more information on the moodle page of the lecture. |
|
