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 | |

Last update 22 January 2008