Reede, 26. jaanuar | ||
| saabumine & suusatamine | ||
| 14.30-15.30 | lõunasöök | |
| 15.30-17.00 | Tarmo Uustalu | Categorical views on bottom-up tree transducers |
| Vesal Vojdani | Completely generic as-path-sensitive-as-necessary multithreaded API analysis | |
| Sven Laur | Two views on cryptographic reductions: Closing the gap between cryptography and program analysis | |
| 17.00-17.30 | paus | |
| 17.30-19.00 | Eero Vainikko | Parallel Solution of PageRank Problem |
| Ulrich Norbisrath | Configuring eHome systems | |
| Rein Prank | Interactive problem solving environment T-algebra | |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Laupäev, 27. jaanuar | ||
| 08.30-09.30 | hommikusöök | |
| 09.30-11.00 | Meelis Kull | Studying Alternative Splicing |
| Kristo Tammeoja | Approximate Search of Regular Expressions Using Bit-Parallel algorithms | |
| Reina Käärik | Generalised edit distance | |
| 11.00-14.30 | suusatamine | |
| 14.30-15.30 | lõunasöök | |
| 15.30-16.30 | Jaanus Pöial | Tüübikontrolli vahendid tüübivabade magasinkeelte jaoks |
| Ando Saabas | Type systems for optimizing stack-based code | |
| 16.30-17.00 | paus | |
| 17.00-19.00 | Härmel Nestra | Algorithms for multi-dimensional search |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Pühapäev, 28. jaanuar | ||
| 08.30-09.30 | hommikusöök | |
| 09.30-10.30 | Helger Lipmaa | Cryptographic techniques in privacy-preserving data-mining |
| 10.30-11.00 | paus | |
| 11.00-12.30 | Dan Bogdanov | Framework for Fast Prototyping of Secure Computations |
| Peeter Laud | Dependency-graph-based protocol analysis II | |
| Jan Willemson | Algorithmic Generation of Path Fragment Covers for Mobile Robot Path Planning | |
| 13.00-14.00 | lõunasöök | |
| suusatamine / ärasõit | ||
Peeter Laud