Reede, 1. oktoober | ||
| saabumine | ||
| 15.00-16.00 | lõunasöök | |
| 16.00-17.15 | Ago Kuusik | The ILP approach to layered graph drawing |
| 17.15-17.45 | paus | |
| 17.45-19.30 | Adam Eppendahl | Uniformity for program semantics |
| Varmo Vene | Build, augment and destroy, universally | |
| Tarmo Uustalu | Partiality is an effect | |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Laupäev, 2. oktoober | ||
| 08.00-09.00 | hommikusöök | |
| 09.00-10.45 | Jerzy Karczmarczuk | Differential algebra in functional sauce |
| Hellis Tamm | Bideterministic automata and minimal representations of regular languages | |
| 10.45-11.15 | paus | |
| 11.15-13.00 | Helger Lipmaa | An oblivious transfer protocol with log-squared communication |
| Sven Laur | Privaatne otsing: indeksid ning alternatiivid | |
| Peeter Laud | Universaalselt komponeeritavast ajatembeldusest | |
| 13.00-14.00 | lõunasöök | |
| 14.00-16.00 | aktiivne ajaviide | |
| 16.00-17.15 | Tarvo Raudvere | Design and verification in the ForSyDe methodology |
| Jüri Vain | On the synthesis of provably correct discrete controllers | |
| 17.15-17.45 | paus | |
| 17.45-19.30 | Sven Laur | Krüpto? ... See on imelihtne! (seminar) |
| 19.30-20.30 | õhtusöök | |
| 20.30- | saun & diskussioon | |
Pühapäev, 3. oktoober | ||
| 08.00-09.00 | hommikusöök | |
| 09.00-10.45 | Jerzy Karczmarczuk | Implementing quantum abstractions |
| Härmel Nestra | Transfinite semantics for program slicing | |
| 10.45-11.15 | paus | |
| 11.15-13.00 | Kristo Käärmann | Inferring parental genomes from offspring's DNA |
| Hendrik Nigul | Approximate string matching using suffix tries | |
| Meelis Kull | Speeding up clustering | |
| 13.00-14.00 | lõunasöök | |
| ärasõit | ||
Peeter Laud