Two
keynote events:
July 5, 1999,
18.30 - 19.30
"Using
formal verification methods in an industrial environment for a decade. Conclusions and
perspectives"
Gerard Roucairol (Groupe Bull R&D President)
Moderator: Jean-Pierre
Jouannaud
July 6, 1999,
18.30 - 20.00
Panel on: "Current
trends in research funding in the use of logic and formal methods in computer science"
Ruzena Bajcsy, (NSF,
USA) and Simon Bensasson (European Commission)
Moderator: Alan Bundy
|
