Reede, 3. oktoober |
| | saabumine |
| 15.00-16.00 | lõunasöök |
| 16.00-17.45 |
Peeter Laud | E-äri protokollide üle arutlemine mittetäielikult
usaldatud kolmandate osapoolte olemasolul |
| Ando Saabas | A framework for design and implementation of visual languages |
| Tarmo Uustalu | Normaliseerimine väärtustamise kaudu
finitaarse tüübitud lambda-arvutuse jaoks |
| 17.45-18.15 | paus |
| 18.15-19.25 |
Jaak Vilo | Studying gene regulation by data mining approaches |
| Meelis Kull | Suure andmehulga ligikaudne hierarhiline klasterdamine |
| 19.30-20.30 | õhtusöök |
| 20.30- | saun & diskussioon |
| |
Laupäev, 4. oktoober |
| 08.00-09.00 | hommikusöök |
| 09.00-10.45 |
Mati Pentus | NP-completeness of Lambek calculus and
multiplicative noncommutative linear logic |
| Sven Laur | Paljastavad küsimused ehk ligikaudne otsing |
| 10.45-11.15 | paus |
| 11.15-13.00 |
Helger Lipmaa | On diophantine complexity and statistical
zero-knowledge arguments |
| Vesal Vojdani | Using widenings/narrowings in Data Flow Analyses |
| Härmel Nestra | Programmi slitseerimine |
| 13.00-14.00 | lõunasöök |
| 14.00-16.00 | välitegevused |
| 15.00-15.45 | Töökindlate
Arvutisüsteemide Uurimise Keskuse nõupidamine (lahtine) |
| 16.00-17.45 |
Jaakko Hollmén | Data analysis of 0-1 data by combining frequent
sets and mixture models |
| Eero Vainikko | GMRES meetod ja selle rakendamine
paralleelarvutitel |
| 17.45-18.15 | paus |
| 18.15-19.25 |
Enn Tõugu, Jaan Penjam | Arvutiteadus Eestis eile, täna, homme |
| 19.30-20.30 | õhtusöök |
| 20.30- | saun & diskussioon |
| |