Tallinn, Brotherhood of the Blackheads (Pikk 26, map), Olaf's Hall
Monday, 21 January 2008 | ||
| 9.00-10.30 | Ando Saabas | Proof-carrying code and proof-preserving program transformations (slides) |
| Varmo Vene | Goblint: path-sensitive data race analysis (slides) | |
| Tarmo Uustalu | The joy of cats in functional programming (slides) | |
| 10.30-11.00 | Coffee | |
| 11.00-12.30 | Peeter Laud | Dependency graphs and program transformations in the computationally sound analysis of cryptographic protocols (slides) |
| Jan Willemson | Evaluating security against rational attackers (slides) | |
| Ahto Buldas | Does secure time-stamping imply collision-free hash functions? (slides) | |
| 12.30-14.00 | Lunch | |
| 14.00-15.30 | Jaan Penjam/Tarmo Uustalu | Overview of CDC 2002-2007 (slides) |
| Kim G. Larsen | Performance analysis, scheduling and synthesis of embedded systems (slides) | |
| José Nuno Oliveira | Confined separation logic in the pointfree style (slides) | |
| 15.30-16.00 | Coffee | |
| 16.00-17.30 | Eero Vainikko | High-performance computing algorithm design and novel computing environments (slides) |
| Jaak Vilo | Advances in bioinformatics (slides) | |
| Leo Mõtus | Towards proactive computing systems (slides) | |
Tuesday, 22 January 2008 | ||
| 09.00-10.30 | Jaan Raik | Test and verification of digital systems (slides) |
| Gert Jervan | Design for testability and fault tolerance (slides) | |
| Artur Jutman | A multi-layer research and training platform for system-on-chip testing (slides) | |
| 10.30-11.00 | Coffee | |
| 11.00-12.30 | Jüri Vain | Formal methods for developing multi-agent and robotic systems (slides) |
| Pavel Grigorenko / Mait Harf | Cocovila (slides) / Design of a hydraulic-mechanical load-sensing system (slides) | |
| Tanel Alumäe | Advances in Estonian spoken language technology (slides) | |
| 12.30-14.00 | Lunch | |
| 14.00-16.00 | Closed meeting | |
