9:00 -  9:10  Opening

9:10 -  9:45  Aspects of OSS Certification 
              (B. Aichernig, TU Graz, Austria)

9:45 - 10:30  Towards a Quality Model for OSS 
              (S.A. Shaikh & A. Cerone, UNU-IIST, Macao)

10:30 - 11:00 Coffee Break

11:00 - 11:45 A System to Understand Programs Written in C Language by 
              Code Annotation 
              (M. Beron, B. Henriques, Univ. of Minho; M. Varanda, 
               Polytechnic Inst. Braganca, Portugal; 
               R. Uzal, Univ. of San Luis, Argentina)

11:45 - 12:30  Slicing Techniques and Program Calculi in OSS Certification 
              (N. Rodrigues, L. Barbosa, J.N. Oliveira Univ. Minho, Portugal) 

12:30-14:00 Lunch Break

14:00-14:45 Linux Certification 
            (A.K. Petrenko, ISPRAS, Russia)

14:45-15:30 OSS Operating Systems for Critical Avionics Infrastructure:
            A survey on quality and security certification
            (D. von Oheimb, Siemens, Germany)

15:30 - 16:00 Coffee Break

16:00 - 16:45 Position Talk on the OSS Certification Process
              (P.T. Breuer & S. Pickin, Univ. Carlos III Madrid, Spain)

16:45 - 17:30 A Perspective on OSS Certification
                                (J. Visser, SIG, The Netherlands)
17:30 - 18:30 Short Position Statements and Discussion