Kolmapäev, 7. jaanuar (L2 - 612) | ||
| 10.15-11.00 | Aivar Annamaa | Ülevaade makrokeeltest |
| 11.00-11.45 | Rein Raudjärv | Ülevaade tavalisest ja üldisest zipperist |
| 11.45-12.30 | Henri Lakk | Astmelisustatud programmeerimine ja MetaML |
| 12.30-14.15 | paus | |
| 14.15-15.00 | Kalmer Apinis | Boole'i kehtestatavusel põhinev programmianalüüs |
| 15.00-15.45 | Sander Sõnajalg | Aktorite mudelil põhinev paralleelprogrammeerimine |
| 15.45-16.30 | Jaak Ristioja | Virtuaalmasinate optimeerimine JavaScript näitel |
Neljapäev, 8. jaanuar (L2 - 612) | ||
| 10.15-11.00 | Raivo Laanemets | Relatsiooniline programmianalüüs binaarsete otsustusdiagrammidega |
| 11.00-11.45 | Maiga Kolk | Konkureeriva ressursitaotluse staatiline otsing Java koodis |
| 11.45-12.15 | paus | |
| 12.15-13.00 | Ain Jahhu | Deforestatsioon puude elimineerimine funktsionaalsetes keeltes |
| 13.00-13.45 | Jaak Randmets | Funktsionaalsed sõltuvused ja tüübipered |