Session 1: Presentation of the institute and of the scientific project
     08:30 – 08:40     Opening and introduction
                   Dana Petcu
     08:40 – 09:20     The objective of the Institute e-Austria and the role of the scientific
                                       project. Practical and theoretical aspects of program verification.
                   Bruno Buchberger

     09:20 Break

Session 2: Fundamentals of computer-aided verification
     09:40 – 10:10     Formal verification: from challenges to solutions
                   Marius Minea
     10:10 – 10:40   Abstraction of Abstract Data Types
                   Ferucio Laurenţiu Ţiplea
     10:40 – 11:00   Object oriented design in practice. Could/should we do better ?
                   Radu Marinescu

     11:00 Break

Session 3: Challenges of system verification in industry
     11:20 – 12:50     Panel discussion
     12:50 Lunch break

Session 4: Automated Reasoning
     14:30 – 14:45     Functional program verification with Theorema
                   Adrian Crăciun
     14:45 – 15:00       Program verification using Hoare logic
                   Laura Kovacs
     15:00 – 15:15     Verification Using Weakest Precondition Strategy
                   Nikolaj Popov
     15:15 – 15:40     Imperative program verification with Theorema
                   Tudor Jebelean

     15:40  Break

Session 5: Software verification
     15:55 – 16:10     Software verification with predicate abstraction
                   Marius Minea
     16:10 – 16:25     Verification of communication protocols in SDL
                   Călin Jebelean
     16:25 – 16:40     A language for describing formal analyses
                   Cornel Izbaşa
     16:40 – 16:55     Automatic verification – what we can get
                   Bogdan Rusu
     16:55 – 17:10     Towards an automated approach for quality improvement  in OO design
                   Radu Marinescu

     17:10 Break

Session 6: Petri nets
     17:25 – 17:40     Three level Petri nets
        Toader Jucan, Oana Captarencu
     17:40 – 17:55     Building Petri Nets from Empirical Data
                   Ştefan Măruşter, Laura Măruşter, Silviu Nănău
     17:55 – 18:10      Workflow treatment with colored Petri nets
                   Alexandru Cicortaş, Diana Dubu
     18:10 – 18:25    Parallel and distributed computing in model checking
                   Diana Dubu, Dana Petcu
    18:25 Concluding remarks
   
     18:30 End of the workshop