News
DIAMOND technical meeting in Dresden
On March 11, DIAMOND technical meeting took place in DATE conference centre, Dresden. The consortium partners gave presentations about  the methods to be developed in DIAMOND with attention paid to prospective co-operation. In addition, tool integration and benchmark examples were discussed.

Agenda of the meeting:
    10.00 – 10.30    "Introduction" Tallinn, Jaan Raik
    10.30 – 11.10    Bremen, Görschwin Fey: "SAT-Based Debugging"
    11.10 – 11.50    Graz, Robert Königshofer, Georg Hofferek: "Program Diagnosis and Repair in DIAMOND"
    11.50 – 12.30    IBM, Oleg Rokhlenko: "IBM research proposal for Diamond project"

    12.30 – 13.00   Lunch

    13.00 – 13.40   Linköping, Erik Larsson: "Post-Silicon and In-Situ Diagnosis"
    13.40 – 14.20   Testonica, Artur Jutman: "Tools for In-Situ Diagnosis and Defect Management"
    14.20 – 15.00   Tallinn, Jaan Raik: "High-Level Decision Diagram Engines for Debug and Soft-Error Analysis"
    15.00 – 16.00   Concluding discussions, planning.


31. 03. 2010