Here you can find the video recordings of lectures held in english language.

• Formal Languages (+ Exercises)
• Advanced Logics (+ Exercises)
• Complexity Theory (+ Exercises)
• Efficient Algorithms (+ Exercises)