ISR 2024 – Track C – Advanced Courses
This site provides supporting material for Track C of ISR 2024.
Courses and Lecturers
| Interoperability of Proof Systems using Lambdapi | |
| Frédéric Blanqui | Inria |
| About Randomized Programming and Rewriting | |
| Ugo Dal Lago | University of Bologna |
| Tools in Rewriting | |
| Nao Hirokawa | Japan Advanced Institute of Science and Technology |
| Termination and Complexity in Higher-Order Term Rewriting | |
| Cynthia Kop | Radboud University Nijmegen |
| SAT/SMT Solving and Applications in Rewriting | |
| Sarah Winkler | Free University of Bolzano – Bozen |
The track consists of 20 slots of 90 minutes: 4 slots per course.