Capacity | Course | Type | Semester | Date | Time | Building | Room | Guarantor | Teacher | Cancel before | Registration until | Registration from | |||
detail | 0/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 | 5/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 | 2/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 | 6/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. |
Results 1-4 of 4 1