703302 VO Automata and Logic
winter semester 2025/2026 | Last update: 16.01.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 2025-10-06
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-10-13
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-10-20
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-10-27
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-11-03
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-11-10
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-11-17
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-11-24
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-12-01
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2025-12-15
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2026-01-12
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2026-01-19
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2026-01-26
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Mon 2026-02-02
|
08.30 - 10.00 | HSB 9 HSB 9 | Barrier-free | |
|
Thu 2026-02-26
|
09.00 - 10.30 | HSB 6 HSB 6 | Barrier-free | |
| Group | Booking period | Date of exam | |
|---|---|---|---|
|
703302-0
703302-0 |
2026-08-11 00:00 - 2026-09-01 23:59 |
2026-09-15
08:30 - 10:00
HSB 3
|
|
|
Note: 3rd exam |
Middeldorp A. | ||