Reede, 25. jaanuar | ||
| saabumine & suusatamine | ||
| 14.00-15.00 | lõunasöök | |
| 15.00-16.30 | Juhan Ernits | Principles of Symmetry Reductions in Verification and Testing |
| Dan Bogdanov | Optimizing execution time in a distributed virtual processor | |
| Jan Willemson | A multiplication protocol for $2n+1$ parties secure against $n$ semi-honest adversaries | |
| 16.30-17.00 | paus | |
| 17.00-19.00 | Phaedra Agius | Typing Staphylococcus aureus using the Protein A gene |
| Andres Ojamaa | Simulation in Cyber Security | |
| Riina Maigre | Web services composition software with visual user interface | |
| Enn Tõugu | Computing and Computer Science in the Soviet Baltic Region | |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Laupäev, 26. jaanuar | ||
| 08.30-09.30 | hommikusöök | |
| 09.30-11.00 | Venanzio Capretta | The Construction of Infinity |
| Hellis Tamm | Transition minimality of bideterministic automata | |
| 11.00-14.30 | suusatamine | |
| 14.30-15.30 | lõunasöök | |
| 15.30-17.00 | Marlon Dumas | Model Transformations for Business Process Analysis and Execution |
| Ulrich Norbisrath | Friend-To-Friend (F2F) Computing | |
| 17.00-17.30 | paus | |
| 17.30-19.30 | Juhan Ernits | Interactive seminar: Writing and Taking Referee Reports |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Pühapäev, 27. jaanuar | ||
| 08.30-09.30 | hommikusöök | |
| 09.30-10.30 | Peeter Laud | Program transformations for cryptographic proofs |
| 10.30-11.00 | paus | |
| 11.00-12.30 | Oleg Mürk | Deductive Verification of C Programs with KeY |
| Jevgeni Kabanov | Generic Memoizing Recursion | |
| Tarmo Uustalu | Intuitionistic propositional logic and proof search: What you could consider knowing | |
| 13.00-14.00 | lõunasöök | |
| suusatamine / ärasõit | ||
Liina Kamm