703302 VO Automata and Logic
winter semester 2026/2027 | Last update: 07.10.2026 | Place course on memo list703302
VO Automata and Logic
VO 2
4,5
weekly
annually
English
In-depth understanding in the field of finite automata and logic; students have a full command of the concepts and theoretical tools underlying computational verification and can also develop these independently if necessary.
(deterministic, non-deterministic, alternating) finite automata; regular expressions; (weak) monadic second-order logic; Presburger arithmetic; (alternating) Büchi automata; linear-time temporal logic
written exam
Extensive slides. Accompanying literature will be linked from the course website.
None.
The course is taught in English.
see dates
- Faculty of Mathematics, Computer Science and Physics
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Mon 2026-10-05
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-10-12
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-10-19
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-11-09
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-11-16
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-11-23
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-11-30
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-12-07
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2026-12-14
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2027-01-11
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2027-01-18
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2027-01-25
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | 1st exam (extra room) |
|
Mon 2027-02-01
|
08.30 - 10.00 | HS 11 HS 11 | Barrier-free | |
|
Mon 2027-02-22
|
08.00 - 10.00 | SR 13 SR 13 | Barrier-free | 2nd exam |
| Group | Booking period | Date of exam | |
|---|---|---|---|
|
703302-0
703302-0 |
2026-09-01 08:00 - 2027-01-31 23:59 | Book course | |
| Middeldorp A. | |||
|
703302-0
703302-0 |
2026-12-21 00:00 - 2027-01-11 23:59 |
2027-01-25
8:30 - 10:00
HSB 9
|
|
|
Note: 1st exam |
Middeldorp A. | ||
|
703302-0
703302-0 |
2027-01-18 00:00 - 2027-02-08 23:59 |
2027-02-22
8:30 - 10:00
SR 13
|
|
|
Note: 2nd exam |
Middeldorp A. | ||
|
703302-0
703302-0 |
2027-04-16 00:00 - 2027-05-07 23:59 |
2027-05-21
13:00 - 14:30
HSB 3
|
|
|
Note: 3rd exam |
Middeldorp A. | ||