sessions take place in auditorium 2.
program is also available with abstracts or side by side with other meetings.
09:00-10:30 Session 1
Thomas, Thomas Associates, UK|
talk: Formal methods in
industry: Disease and remedies
Bolignano, Trusted Logic, France|
talk: Experience from applying formal methods to critical security
11:00-12:30 Session 2
14:00-15:30 Session 3
16:00-17:00 Session 4
|16:00 ||David Pearce, European Commission, Belgium|
talk: The EU's future and emerging technologies programme: New themes and
instruments in the 6th framework programme