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 |