Advance Logics (2022)
This course invites you to discover the close links existing between certain logical formalisms, automata and game theory. Discussed topics include, on the side of logics, second-order monadic logic, Presburger arithmetic and linear time logic. We will see how these can be compiled to automata, such as finite automata, Büchi automata and tree automata, yielding effective decision procedures.
News
- Jan 24: The web-page will be filled continuously with course material over the semester.
- Mar 30: Please follow moodle for announcements and to drop of exercises
Schedule
| Date | Contents | Material |
| — | course overview | (slides) |
| 28/03 | finite automata | (slides) |
| 29/03 | alternating finite automata | (slides, exercises, video) |
| 04/04 | weak monadic second order logic | (slides, exercises) |
| 12/04 | MONA | (slides) |
| 25/04 | L* Algorithm | (slides, exercises) |
| 02/05 | infinite words, Büchi automata | (slides, exercises) |
| 09/05 | LTL | (slides, exercises, whiteboard) |
Grading
- 1/4 mini projects
- 1/4 exercises
- 1/2 final exam
Contact
Martin Avanzini ( (martinyavanzinixinriayfr)[x ↦ @, y ↦ .] ) Etienne Lozes ( (etienneylozesxuniceyfr)[x ↦ @, y ↦ .] )