Call for Papers: IEEE/ACM METHODS and MODELS for CODESIGN (MEMOCODE 2003) Homepage: http://www.irisa.fr/manifestations/2003/MEMOCODE/ Sponsors: IEEE Circuits and System Society ACM Special Interest Group on Digital Automation IEEE Computer Society, Digital Automation Technical Committee Organized at the Relais du Mont Saint-Michel in cooperation with INRIA and IRISA. High-level design and modeling of hardware and embedded hardware-software systems has gained prominence in the face of rising technological complexities and performances, as well as shortened time to market demands for complex electronic equipments. Numerous programming languages, tools and frameworks have been proposed in the past to design, simulate and validate heterogeneous systems within an abstract and rigorously defined mathematical model. Recently, attention has shifted to modeling frameworks based on variants of general purpose programming languages, in response to the growing industry demand for use of higher levels of abstraction in the system design process. Meanwhile, the installed base of existing IP adds further requirements for the adaptation of existing IPs with new services within complex integrated architectures, calling for appropriate methodological approaches. Whereas abstract frameworks are ways to unambiguously model the essence of hardware software systems, help understand the design, implement formal correctness proofs, predict performances and other metrics; general-purpose languages facilitate programming, reuse and gain from the popularity of C, C++ like languages. Still, important gaps need to be filled and bridges to be built between the theory of modeling and the practice of programming. Languages shall benefit the rigorousness of models and models the experience of programming practice. This calls for finding a convergence between both approaches. A focus on formal methods (programming and concurrency models, analysis and verification techniques) for hardware/software codesign is necessary, because language in which system designers work are general-purpose ones, because the only way provably correct systems can be constructed are by technology transfer of research in formal methods. Opening speaker Jose Meseguer (SRI) Invited speakers Ahmed Jerraya (IMAG) Nancy Lynch (MIT) Ken McMillan (Cadence) Program co-chairs Sandeep K. Shukla (Virginia Tech) Jean-Pierre Talpin (INRIA) Program committee Gul Agha (University of Illinois at Urbana-Champaign) Arvind (Massachussets Institute of Technology) Brian Bailey (Mentor Graphics) François Bodin (University of Rennes-IRISA) Forrest Brewer (University of California at Santa Barbara) Stephen Edwards (Columbia University) Hans Eveking (University of Darmstadt) Harry Foster (Verplex Systems) Franco Fummi (University of Verona) Vijay Kumar Garg (University of Texas at Austin) Rajesh Gupta (University of California at San Diego) Connie Heitmeyer (Naval Research Laboratory) James Hoe (Carnegie Mellon University) Alan Hu (University of British Columbia) Marta Kwiatkowska (University of Birmingham) Kim Larsen (Aalborg University) Paul Le Guernic (INRIA-IRISA) Stan Liao (Synopsys) Grant Martin (Cadence) Hillel Miller (Motorola) Zebo Peng (Linköping University) Carl Pixley (Synopsys) Rob Slater (Motorola) Sandeep Kumar Shukla (Virginia Tech) Jean-Pierre Talpin (INRIA-IRISA) Marten Van Hulst (Philips Research) Miroslav Velev (Georgia Tech) Wayne Wolf (Princeton University) Steering committee Masahiro Fujita (University of Tokyo) Vijay Kumar Garg (University of Texas at Austin) Paul Le Guernic (INRIA-IRISA) Rajesh Gupta (University of California at Irvine) Nancy Lynch (Massachussets Institute of Technology)