International Conference on
Formal Methods and Models for Codesign (MEMOCODE'2005)

July 11-14 -- Verona, Italy

General Co-Chairs:
Manfred Broy (TU Munich, Germany) Jean-Pierre Talpin (INRIA-IRISA, France)

Program Co-Chairs:
Connie Heitmeyer (NRL, USA)
John O'Leary (Intel, USA)

Local Arrangement Chair: Franco Fummi
Panels Chair: Tevfik Bultan
Tutorial Chair:
Sandeep Shukla
Chair: James Hoe, Klaus Schneider
Publication Chair:
Elisabeth Leonard

Program Committee:
Arvind, MIT (U.S.)   
Brian Bailey, Independent Consultant (U.S.)
Twan Basten, TU Eindhoven (Netherlands)
Gerard Berry, Esterel Technologies (France)
François Bodin, U. Rennes, IRISA (France)
Forrest Brewer, UC, Santa Barbara  (U.S.)
Geoffrey Brown, Indiana U. (U.S.)
Manfred Broy, TU-Munich (Germany)
Tevfik Bultan, UC-Santa Barbara (U.S.)
Edmund Clarke, Carnegie Mellon U. (U.S.)
Robert De Simone, INRIA (France)                  
Doug Edwards, U. Manchester (U.K.)
Stephen Edwards, Columbia U. (U.S.)
Hans Eveking, U. Darmstadt (Germany)           
Harry Foster, Jasper Design Automat. (U.S.)
Masahiro Fujita, U. Tokyo (Japan)               
Franco Fummi, U. Verona (Italy)               
Ganesh Gopalakrishnan, U. Utah (U.S.)
Mike Gordon, Cambridge U. (U.K.)               
Rajesh Gupta, U. Cal., San Diego (U.S.)
Jason Hickey, Cal. Tech. (U.S.)
James Hoe, Carnegie Mellon U. (U.S.)           
Axel Jantsch, Royal Inst. Tech. (Sweden)         
Daniel Kroening, Carnegie Mellon U. (U.S)
Marta Kwiatkowska, U. Birmingham (U.K.)       
Luciano Lavagno, U. Torino (Italy)
Paul Le Guernic, INRIA-IRISA (France)            
Insup Lee, U. Pennsylvania (U.S.)
Elizabeth Leonard, Naval Research Lab (U.S.)
John Matthews, Galois Connections (U.S.)      
Anmol Mathur, Calypto Design Syst. (U.S.)
Jens Palsberg, UCLA (U.S.)
Zebo Peng, U. Linköping (Sweden)           
Carl Pixley, Synopsys (U.S.)                   
Klaus Schneider, U. Kaiserslautern (Germany)
R. K. Shyamasundar, TIFR (India)                   
Sandeep Shukla, Virginia Tech (U.S.)   
Victoria Stavridou, Intel (U.S.)                        
Jean-Pierre Talpin, INRIA-IRISA (France)

Steering Committee:
Arvind (MIT, USA)
Masahiro Fujita (Uni. Tokyo, Japan)
Rajesh Gupta (UC San Diego,  USA)
Paul Le Guernic (INRIA-IRISA, France)
Sandeep   Shukla (Virginia Tech, USA)
Jean-Pierre Talpin (INRIA-IRISA, France)




MEMOCODE 2003, Mont Saint-Michel

MEMOCODE 2004, San Diego

Common trends and common problems have emerged lately in the hardware and software industries. In the hardware industry, the growing complexity of hardware components (e.g., systems-on-chip), the challenge of design verification, and the need to meet the competing objectives of performance/power/time-to-market have made it essential to increase the level of abstraction in the hardware design process. The response has been increased use of high-level modeling, using variants of traditional hardware description languages (System Verilog) or general-purpose programming languages (SystemC, SpecC). Similar pressures exist in the software industry: the increasing complexity of software systems coupled with the need for increased performance and lower cost have led important sectors of the industry, e.g., avionics companies, to adopt model-based approaches to software development and to increase usage of modeling languages such as UML.  In both software and hardware, the availability of standard IP components has produced an urgent need for new methods to adapt and integrate these components to build reliable, cost-effective systems. The abstract models, languages, and analysis techniques produced by formal methods research provide a sound methodological basis for the high-level modeling, design, and development of both hardware and software and for adapting and integrating existing components to meet new requirements.
The goal of MEMOCODE 2005, the third in a series of international conferences, is to gather together software and hardware researchers and practitioners to explore ways in which software and hardware design can exploit research results in formal methods.  Papers, panel proposals, and tutorial proposals are invited on topics relevant to the application of formal methods to hardware and software design.  These topics include formal specification languages and their use in modeling hardware and software systems, formal methods for performance/power analysis and optimization, design verification approaches using model checking and theorem proving, specification-based testing, design methodologies based on formal methods, and rigorous approaches (e.g., refinement) to transforming a hardware or software specification into a reliable, efficient implementation.

NEW TO MEMOCODE 2005 One new feature is a special panel session organized by Manfred Broy to discuss the role of formal methods and co-design in the automobile industry.  This session will focus on current problems, hot topics (such as model-based design), and trends in hardware design and software development in the automotive sector.  A second new feature, inspired by D.A. Patterson’s Dec. 2004 CACM article on “The Health of Research Conferences and the Dearth of Big Idea Papers,” is a special technical session of papers which present either big ideas or new directions in formal methods.  More details about the special session will be available soon.

NOTE Best papers of MEMOCODE 2003 and MEMOCODE 2004 have been published in special issues of international journals such as the ACM TECS and Springer's FMSD.


Abstract submission deadline:                            March 11, 2005
Final submission deadline:                                 March 15, 2005
Deadline for panel and tutorial proposals:             March 15, 2005
Notification sent to authors:                                May 5, 2005
Camera-ready copies due:                                  May 27, 2005