Reede, 30. jaanuar / Friday, 30 January | ||
| saabumine & suusatamine / arrival & skiing | ||
| 14.00-15.00 | lõunasöök / lunch | |
| 15.00-16.30 | Sungwoo Park | A judgmental formulation of modal logic |
| Mohamed El-Zawawy | On the relationship between Priestley and stably compact spaces | |
| 16.30-17.00 | paus / break | |
| 17.00-19.00 | Margus Freudenthal | Comparison of document-verification languages |
| Siim Karus | Designing Maintainable XML Transformations | |
| Riina Maigre | Stratified Composition of Web Services | |
| Peep Küngas | Towards Semantic Interoperability of Information Systems | |
| 19.00-20.00 | õhtusöök / dinner | |
| 20.00-20.30 | Enn Tyugu | Grigori Mints and Computer Science |
| 20.30- | saun & diskussioon / sauna & discussion | |
Laupäev, 31. jaanuar / Saturday, 31 January | ||
| 08.30-09.30 | hommikusöök / breakfast | |
| 09.30-11.00 | Silvio Capobianco | Surjectivity and reversibility in cellular automata: A review |
| Peeter Normak | Compactness properties of acts over semigroups | |
| Hellis Tamm | Bideterministic automata | |
| 11.00-14.30 | suusatamine / skiing | |
| 14.30-15.30 | lõunasöök / lunch | |
| 15.30-17.30 | Meelis Kull | Scientific data formats |
| Raivo Kolde | Robust Rank Aggregation and Its Applications in Bioinformatics | |
| Oleg Batrašev | Concurrent programming with dataflow variables | |
| Ulrich Norbisrath | Inferato - don' t search, inferate! An introduction to Scenario Based Search | |
| 17.30-18.00 | paus / break | |
| 18.00-19.30 | Dan Bogdanov | Interactive seminar: Private computations on humans |
| 19.30-20.30 | õhtusöök / dinner | |
| 20.30- | saun & diskussioon / sauna & discussion | |
Pühapäev, 1. veebruar / Sunday, 1 February | ||
| 08.30-09.30 | hommikusöök / breakfast | |
| 09.30-11.00 | Keiko Nakata | Reasoning about non-terminating programs |
| Makoto Hamana | Inductive Cyclic Data Structures | |
| James Chapman | Order Preserving Embeddings | |
| 11.00-11.30 | paus / break | |
| 11.30-13.00 | Aivo Jürgenson | Attack Trees: semi-adaptive model |
| Margus Niitsoo | Exact Reductions and Lower Bounds to Reduction Efficiency in Cryptology | |
| Andres Ojamaa | Pareto-Optimal Situaton Analysis for Selection of Security Measures | |
| 13.30-14.30 | lõunasöök / lunch | |
| suusatamine & ärasõit / skiing & departure | ||
Liina Kamm