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)
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)
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)
16.00-17.30 Eero Vainikko High-performance computing algorithm design and novel computing environments (slides)
Jaak ViloAdvances 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)
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)
14.00-16.00   Closed meeting
Tarmo Uustalu
Last update 22 January 2008