-----------------------------------------------------------------------------------------------------
Programme of FLOSS-FM and OpenCert 2008
WEDNESDAY 10 SEPTEMBER 2008
-----------------------------------------------------------------------------------------------------
09:00-09:30 Opening

09:30-10:30 Case Studies and Tool Papers

                   Certification Infrastructure for the Linux Standard Base
                   (LSB)
                   by Vladimir Rubanov and Denis Silakov
                   (OpenCert)

                   Formal Methods for Open Source Components Certification
                   by Alexey Khoroshilov and Vadim Mutilin.
                   (OpenCert)

10:30-11:00 Coffee Break

11:00-12:00 OpenCert Position Papers

                   Position Paper: Open Source Certification
                   by Peter Breuer and Simon Pickin
                   (OpenCert)

                   Incorporating Formal Methods in the
                   Open Source Software Development Process
                   by Antonio Cerone and Siraj Shaikh
                   (OpenCert)

12:00-13:00 Research Papers

                   Extracting and verifying coordination models from
                   source code
                   by Nuno Rodrigues and Luis Barbosa
                   (OpenCert)

                   Certification of Technical Quality of Software
                   José Pedro Correia and Joost Visser
                   (OpenCert)

13:00-14:30 Lunch break

14:30-15:00 FLOSS-FM Position Papers

                   Four Compass Points in the Verification of the Linux Kernel
                   by Peter Breuer and Simon Pickin
                   (FLOSS-FM)

15:00-16:00 Short position papers, Discussion and Closing

16:00-16:30 Coffee Break
-----------------------------------------------------------------------------------------------------