Reede, 4. veebruar / Friday, 4 February | ||||
| saabumine & suusatamine / arrival & skiing | ||||
| 14.00-15.00 | lõunasöök / lunch | |||
| 15.00-16.30 | Peep Küngas | Reverse-Engineering Conference Rankings: What Does it Take to Make a Reputable Conference? | ||
| Siim Karus | Predicting Code Churn from XML Metrics | |||
| Tõnu Tamme | Future of e-mail | |||
| 16.30-17.00 | paus / break | |||
| 17.00-18.30 | Keiko Nakata | Walking through infinite trees constructively via mixed induction-coinduction | Helger Lipmaa | Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments |
| Wolfgang Jeltsch | The Curry-Howard Correspondence between Temporal Logic and Functional Reactive Programming | Madeline González Muñiz | Time-specific Attribute-based Signatures | |
| Marko Kääramees | Model-based Synthesis of Reactive Planning On-line Testers | Sven Laur | Oblivious shuffle finally done right | |
| 19.00-20.00 | õhtusöök / dinner | |||
| 20.00- | saun & diskussioon / sauna & discussion | |||
Laupäev, 5. veebruar / Saturday, 5 February | ||||
| 08.00-09.00 | hommikusöök / breakfast | |||
| 09.00-10.30 | Marc Bezem | A Hard Problem in Max-Algebra, Control Theory, Hypergraphs and Other Areas | ||
| Peeter Laud | Polynomial-time logic and liveness | |||
| 10.30-11.00 | paus / break | |||
| 11.00-12.30 | Mark Fišel | Automatic Translation Error Analysis | ||
| Neeme Kahusk | Semantic analysis of simple sentences: the way to go for Estonian | |||
| Olga Gerassimenko | Spoken interaction modelling: the functions of feedback repetitions in spontaneous dialogue | |||
| 12.30-14.30 | aktiivne ajaviide / activities | |||
| 14.30-15.30 | lõunasöök / lunch | |||
| 15.30-17.00 | Pelle Jakovits | SciCloud: Adapting Scientific computing problems to Cloud | ||
| Artjom Lind | Mobile Friend-to-Friend Computing | |||
| Reina Uba | Clone Detection in Repositories of Business Process Models | |||
| 17.00-17.30 | paus / break | |||
| 17.30-19.00 | Silvio Capobianco | Interactive Seminar: A Colorful Introduction to Cellular Automata | ||
| 19.00-20.00 | õhtusöök / dinner | |||
| 20.00- | diskussioon / discussion | |||
Pühapäev, 6. veebruar / Sunday, 6 February | ||||
| 08.00-09.00 | hommikusöök / breakfast | |||
| 09.00-10.30 | Konstantin Tretjakov | Improved Landmark-based Estimation of Shortest Path Distances in Very Large Graphs | ||
| Meelis Kull | Hypothesis generation in bioinformatics | |||
| Oskar Gross | Creating Mindmaps of Documents - Using an Example of a News Surveillance System | |||
| 10.30-11.00 | paus / break | |||
| 11.00-12.00 | James Chapman | Algebras of Relative Monads | Liina Kamm | Genotype Mining Using Secure Multiparty Computation Techniques |
| Vesal Vojdani | Goblint against automobile racing: Detecting concurrency flaws in interrupt-driven software | Jan Willemson | X-Road Pseudonymization Service | |
| 12.00-13.00 | lõunasöök / lunch | |||
| suusatamine & ärasõit / skiing & departure | ||||
Liina Kamm