ISR 2024 – Track C – Advanced Courses
This site provides supporting material for Track C of ISR 2024.
Courses and Lecturers
| Applications of Rewriting Theory in Proof Systems Interoperability | |
| 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 | |
| René Thiemann | University of Innsbruck |
Due to private reasons, Sarah Winkler had to cancel her course in track C. René Thiemann takes her place.
The track consists of 20 slots of 90 minutes: 4 slots per course.