This one of the courses at the Lipa Summer School.

Stephan Kreutzer

Algorithmic meta-theorems

Videos: 1, 2, 3, 4

Abstract TBA