Programming Languages Research Seminar
- ÕIS data: MTAT.03.271, 3 ECTS.
- Time: Mondays 14:15-16:00 (starting September 8)
- Place: Delta-2045.
- Language English.
- Contact: Vesal Vojdani (feat. Ahman, Apinis, Earnshaw, Nester).
The seminar will focus on abstract interpretation, following Antoine Mine's course.
Requirements
You will host one seminar (90 minutes including discussions) and serve as a friendly opponent asking interesting questions for another seminar.
- The material is difficult, and we aim to understand all the details! A student will pass if they show sufficient mastery of the material to host an interesting seminar.
- You can use existing slides by Antoine Miné, so you should focus more on working through examples and exercises.
- Both the host and the opponent should work through at least one such exercise (assigned by the instructor) and submit in written form before the talk. You may work together on this!
- You will receive help to prepare, and during the seminar we will help you understand the material even deeper, but you should have put in significant effort, so that you can meaningfully lead the discussions.