Robbert Krebbers

Talks

The list below contains some slides of talks that do not have a corresponding conference paper. Slides corresponding to my conference papers can be found in my list of publications.