Reede, 4. veebruar | ||
| saabumine & suusatamine | ||
| 14.30-15.30 | lõunasöök | |
| 15.30-17.00 | Jaak Vilo | Bioinformatics of Gene Regulation |
| Triinu Tasa | Position weight matrices for representing signals in sequences | |
| 17.00-17.30 | paus | |
| 17.30-19.00 | Mart Anton | Balancing an underwater inverted pendulum with EAP artificial muscles |
| David Pugal | Design and construction of an underwater robot | |
| Madis Listak | Recognizing seaweed species from robot footage | |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Laupäev, 5. veebruar | ||
| 08.30-09.30 | hommikusöök | |
| 09.30-11.00 | Andres Löh | Generic Haskell - adding structural polymorphism to the Haskell language |
| Ando Saabas | Program proofs and compilation | |
| 11.00-14.30 | suusatamine | |
| 14.30-15.30 | lõunasöök | |
| 15.30-17.00 | Tarmo Uustalu | Essence of dataflow programming? |
| Juhan Ernits | Programmijooksudest temporaalsete omaduste automaatne tuletamine ehk testidest spetsifikatsioonini | |
| Emilia Käsper | Multilingual and cross-lingual news topic tracking | |
| 17.00-17.30 | paus | |
| 17.30-19.00 | Adam Eppendahl | Data distribution and Knot Theory |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Pühapäev, 6. veebruar | ||
| 08.30-09.30 | hommikusöök | |
| 09.30-10.30 | Kalle Kaarli | Võrede kongruentsidest ja nende kommuteeruvusest |
| 10.30-11.00 | paus | |
| 11.00-12.30 | Ahto Buldas | Hash Functions that Avoid Computational Shortcuts |
| Peeter Laud | Tüübisüsteem arvutuslikult turvalise infovoo jaoks | |
| Helger Lipmaa | Tugevamad turvanõuded designeeritud verifitseerijaga signatuuriskeemidele | |
| 13.00-14.00 | lõunasöök | |
| suusatamine / ärasõit | ||
Peeter Laud