Institute of Computer Science
  1. Courses
  2. 2020/21 fall
  3. Programming Language Research Seminar (MTAT.03.271)
ET
Log in

Programming Language Research Seminar 2020/21 fall

  • Main
  • Schedule
  • POPL 2020
  • PLDI 2020
  • Previous
  • Next

Schedule

Date Topic Comments
08.09 First Meeting: Introduction
15.09 Topic Assignment Topics Overview
22.09 No Seminar Thesis Defense / Meeting: SV-COMP discussions
29.09 No Seminar Meeting: ICS Day preparations
13.10 WP Calculi for Probabilistic Programs I Kaminski's PhD Thesis
21.10 WP Calculi for Probabilistic Programs II Lead by Mirjam
28.10 WP Calculi for Probabilistic Programs III Lead by Mirjam
03.11 No Seminar GobCon Meeting
  • Institute of Computer Science
  • Faculty of Science and Technology
  • University of Tartu
In case of technical problems or questions write to:

Contact the course organizers with the organizational and course content questions.
The proprietary copyrights of educational materials belong to the University of Tartu. The use of educational materials is permitted for the purposes and under the conditions provided for in the copyright law for the free use of a work. When using educational materials, the user is obligated to give credit to the author of the educational materials.
The use of educational materials for other purposes is allowed only with the prior written consent of the University of Tartu.
Terms of use for the Courses environment