[PVS] Call for Participation: MEMOCODE

[Klaus Schneider <Klaus.Schneider@xxxxxxxxxxxxxxxxxxxx>]

Call for Participation: MEMOCODE

Fifth ACM-IEEE International Conference on Formal Methods and Models
for Codesign (MEMOCODE'2007)

                May 30th-June 1st, Nice, France
              http://memocode.irisa.fr/program.html

The MEMOCODE conferences gather together researchers and practitioners
on hardware-software codesign. MEMOCODE's mission is to explore ways
in which future design methods can benefit from new results on formal
methods. 
 
This year, the fifth edition of the conference will be held in a nice
location on the beautiful French Riviera in Nice. Previous editions
of MEMOCODE have taken place in Mt. Saint-Michel (France), San Diego
(California, USA), Verona (Italy), and Napa Valley (California, USA).

This year's program contains presentations on timed models of
computation, abstraction and analysis, system synthesis/design,
comparison of modeling levels, HW/SW codesign, timing issues as
well as symbolic techniques. Further, there are three exciting
keynotes held by Byron Cook (Microsoft Research), Xavier Leroy
(INRIA), and Bertrand Meyer (ETH Zuerich). Free tutorials are
given on system-level design in the SHE/POOSL methodology
(presented by Bart Theelen, Technical University Eindhoven) and
on the proof assistant COQ (presented by Yves Bertot and Pierre
Casteran, INRIA). 

Moreover, the third International Workshop on Formal Methods for
Globally Asynchronous Locally Synchronous Design, FMGALS'07,
is co-located with MEMOCODE on Tuesday, May 29th.