Conference Information

MEMOCODE will bring together a wide body of researchers and developers, to advance the science and practice of enterprise systems development. The program will consist of presentations on almost every aspect of high-performance enterprise systems, including worklow management, scalability, security, modeling and design, configuration management, portability, file systems and communications.

• Conference Charter
  To access the Conference Charter, please click here.

• Monday Tutorials
  • "Sequential equivalence checking" by Anmol Mathur, Masahiro Fujita, Andrea Fideli
  • "Using Esterel for System-Level Design" by Stephen Edwards, Satnam Singh, Gérard Berry

• Affiliated Workshop
  Second international workshop on Globally Asynchronous and Locally Synchronous Design (FMGALS’2005) — July 15, 2005.

Previous Editions

• MEMOCODE’03 Mont Saint-Michel
• MEMOCODE’04 San Diego

Program Overview

• Monday 11th July 2005
  Morning and afternoon: tutorials

• Tuesday 12th July 2005
  Official opening of the conference which will last for the whole day
  At 6:00 p.m. Welcoming cocktail at Polo Zanotto (University of Verona)

• Wednesday 13th July 2005
  Morning and afternoon: conference works
  At 6:00 p.m. Social dinner in Valpolicella.

• Thursday 14th July 2005
  Morning and afternoon: conference works
  At 5:00 p.m. Tour of Verona
  At 9.00 p.m. Performance of “Aida” by Giuseppe Verdi at the Arena di Verona (optional)

• Friday 15th July 2005
  GALS 2005: Formal Methods For Globally Asynchronous Locally Synchronous Architecture

Réalisation Axome - Création de sites Internet