Reede, 1. veebruar / Friday, 1 February | ||||
| saabumine / arrival | ||||
| 14.00-15.00 | lõunasöök / lunch | |||
| 15.00-16.00 | Sven Laur | Need for Speed | ||
| Abuzer Yakaryilmaz | Quantum alternation | |||
| 16.00-16.30 | paus / break | |||
| 16.30-18.00 | Denis Firsov | Certified normalization of context-free grammars | ||
| Boris Šelajev | Program Verification in Spec# | |||
| Vesal Vojdani | Side-effecting constraint systems: A Swiss army knife for program analysis | |||
| 18.30-19.30 | õhtusöök / dinner | |||
| 19.30- | saun & diskussioon / sauna & discussion | |||
Laupäev, 2. veebruar / Saturday, 2 February | ||||
| 08.00-09.00 | hommikusöök / breakfast | |||
| 09.00-10.00 | Vitali Skachek | Coding Theory: From the Past to the Present | ||
| 10.00-10.30 | paus / break | |||
| 10.30-11.30 | Jürmo Mehine | Unifying NoSQL Data Stores | ||
| Briti Deb | Regular Expression Learning for Mining Links between Gene - Environment Interactions | |||
| 11.30-14.00 | aktiivne ajaviide / activities | |||
| 14.00-15.00 | lõunasöök / lunch | |||
| 15.00-16.30 | Tarmo Uustalu | Coinductive big-step semantics for concurrency | ||
| Wolfgang Jeltsch | Abstract Process Categories | |||
| Niccolò Veltri | Formalization of the Max-flow Min-cut Theorem in Higher Order Logic | |||
| 16.30-17.00 | paus / break | |||
| 17.00-18.30 | Jaak Randmets | SecreC for Sharemind 3 | ||
| Jan Willemson | Secure subset cover computation via a genetic algorithm | |||
| Ago-Erik Riet | On some simple additive combinatorics | |||
| 18.30-19.30 | õhtusöök / dinner | |||
| 19.30- | saun & diskussioon / sauna & discussion | |||
Pühapäev, 3. veebruar / Sunday, 3 February | ||||
| 08.00-09.00 | hommikusöök / breakfast | |||
| 09.00-10.30 | Robin Cockett | Complexity as Computability over Timed Sets | ||
| James Chapman | Time Based Art | |||
| 10.30-11.00 | paus / break | |||
| 11.00-12.30 | Abel Armas-Cervantes | Event Structures as a Foundation for Process Model Differencing | ||
| Luciano García-Bañuelos | Discovering Branching Conditions from Business Process Execution Logs | |||
| Fabrizio Maggi | Declarative Process Mining | |||
| 12.30-13.30 | lõunasöök / lunch | |||
| ärasõit / departure | ||||
Liina Kamm