Reede, 5. veebruar / Friday, 5 February | ||
| saabumine & suusatamine / arrival & skiing | ||
| 14.00-15.00 | lõunasöök / lunch | |
| 15.00-16.20 | Härmel Nestra | Implementing Global Variables in Functional Programming |
| James Chapman | A biased history of equality in type theory | |
| 16.20-16.50 | paus / break | |
| 16.50-18.35 | Oleg Batrašev | Semi-automatic parallelization of iterative solvers |
| Martin Pettai | Untyped general polymorphic functions | |
| Grigory Fedyukovich | A Coq formalization of an analysis and optimization of While | |
| 18.35-18.50 | Tarmo Uustalu | Interactive seminar: Comefrom considered instructive (part I) |
| 19.00-20.00 | õhtusöök / dinner | |
| 20.00- | saun & diskussioon / sauna & discussion | |
Laupäev, 6. veebruar / Saturday, 6 February | ||
| 08.30-09.30 | hommikusöök / breakfast | |
| 09.30-11.00 | Marino Miculan | A bigraphical framework for protein and membrane interactions |
| Davide Grohmann | Multi-structure frameworks as adhesive fibrations | |
| 11.00-14.30 | suusatamine / skiing | |
| 14.30-15.30 | lõunasöök / lunch | |
| 15.30-16.40 | Andrey Breslav | Automatically introducing templates in Domain-Specific Languages |
| Aivar Annamaa | Modular static analysis for object-oriented programs | |
| 16.40-17.00 | paus / break | |
| 17.00-19.00 | Tarmo Uustalu | Interactive seminar: Comefrom considered instructive (part II) |
| 19.00-20.00 | õhtusöök / dinner | |
| 20.00- | saun & diskussioon / sauna & discussion | |
Pühapäev, 7. veebruar / Sunday, 7 February | ||
| 08.30-09.30 | hommikusöök / breakfast | |
| 09.30-10.40 | Keiko Nakata | Securing class initialization |
| Ilja Tšahhirov | Proving the Correctness of Dependency Graph Transformation | |
| 10.40-11.10 | paus / break | |
| 11.10-12.20 | Sander Sõnajalg | Validating Javascript from Realworld Websites in a Browser-like Environment |
| Jevgeni Kabanov | Retroactive API Extensions Using Bytecode Weaving | |
| 12.30-13.30 | lõunasöök / lunch | |
| suusatamine & ärasõit / skiing & departure | ||
Aivar Annamaa