Final Workshop of CDC 2002-2007: Programme
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 |
| |
Tarmo Uustalu
Last update 22 January 2008
