Schedule
All meetings take place in Liivi 2-612 almost every Tuesday at 16:15-18:00. Between your own talks, we have some tutorial presentations as well.
Date | Topic | Deadlines (by end of the week) |
---|---|---|
Introductory Talks | ||
13.02 | Introduction to the seminar. | |
20.02 | Tambet: Overview of MS Autocoder (code) | Consult with us about your topic! |
27.02 | Vesal: Automated Test-Case Generation | Submit primary topic! |
06.03 | No Seminar! | Estonian Winter School in Computer Science |
13.03 | Short presentation of topics | Selecting the two topics for review. |
Student Talks | ||
08.05 | Jake: Privacy Leakage Analysis through Privacy-Enhanced BPMN | |
15.05 | Andre: Gated Graph Sequence Neural Networks | |
22.05 | Dmitry: Learning to Represent Programs with Graphs | |
28.05 | Raman: Automated Bounded Model Checking of API Implementations |