Arvutiteaduse instituut
  1. Kursused
  2. 2024/25 kevad
  3. Programmeerimiskeelte uurimisseminar (MTAT.03.271)
EN
Logi sisse

Programmeerimiskeelte uurimisseminar 2024/25 kevad

  • Main
  • Schedule
  • Topics
  • Previous

Programming Languages Research Seminar

  • ÕIS data: MTAT.03.271, 3 ECTS.
  • Time: Mondays 14:15-16:00.
  • Place: Delta-2010.
  • Language English.
  • Contact: Kalmer Apinis (feat. Ahman, Nester, Vojdani).
  • Zulip (log into courses to see link)

This semester, the seminar is centered around the Iris framework (tutorial). The goal is to understand all provided lectures/topics. Tutorial lectures are listed on the Topics page. (We may skip some if they are not essential.)

I recommend working in pairs. Pick two topics such that you are working in pairs for both. In the lecture, one student presents the first half of the topic, and the other presents the second half.

If you decide to not work in pairs, you may choose the same topic twice.

As there are not too many students, we will allow some "spillage" into the next lecture. We try to complete 0.7 to 1 topics per week.

Ph.D. students can also present their own work.

Requirements

You must explain your (part of the) topic during the seminar. Either two parts of two topics or one whole topic. You must write a brief report on your (parts of the) topic. You must actively participate in the seminars throughout the semester.


Deadline for choosing the topic and presentation slot: 25.02.2025.

Each report will document your engagement with the material. In practice this means that you need to work through pen-and-paper or Rocq/Iris proofs, experiment by modifying example code snippets, invariants etc.


Deadline for submitting the report: a day before your talk.

You can register your chosen chapter presentation slots by sending a timely message to Kalmer via the course Zulip or by e-mail.

If you are presenting your own work, your writing counts as the report and you only need to give the two 40 min talks. The first talk should present the background to your research in a way that everybody understands, and you should use this to brush up on your foundational knowledge; in particular, tutorial papers and introductory sections from "Handbook of ..." may be appropriate material.

  • 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