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 | |