ISR 2024
Track C

ISR 2024Track 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.