ISR 2024
ISR 2024
tracks
lecturers
Tracks
A
first-order term rewriting
B
lambda-calculus and type theory
C
advanced courses