Arvutiteaduse instituut
  1. Kursused
  2. 2025/26 sügis
  3. Programmeerimiskeelte uurimisseminar (MTAT.03.271)
EN
Logi sisse

Programmeerimiskeelte uurimisseminar 2025/26 sügis

  • Main
  • Schedule
  • Miné's Course
  • Miné's Notes
  • Previous

Programming Languages Research Seminar

  • ÕIS data: MTAT.03.271, 3 ECTS.
  • Time: Mondays 14:15-16:00 (starting September 8)
  • Place: Delta-2029.
  • Language English.
  • Contact: Vesal Vojdani (feat. Ahman, Apinis, Nester).

The seminar will focus on abstract interpretation, following Antoine Mine's course.

More details will be provided soon; we start on September 8.

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.
  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Courses’i keskkonna kasutustingimused