******************** * CHARME '97 * ******************** IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods organized by the Groupe interuniversitaire en architecture des ordinateurs et VLSI (GRIAO) Montreal, Quebec, Canada 16 - 18 October 1997 OBJECTIVES __________ CHARME 97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. Previous meetings were held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), and Frankfurt (1995). This conference series is sponsored by IFIP, and is organized in cooperation with IFIP WG 10.5. Formal verification is increasingly recognized as an appropriate tool for design acceptance (i.e., establishing correctness), and for detecting design errors and specification ambiguities. The validation of functional and timing behaviour is a major bottleneck in current VLSI design systems. Once an academic area, formal design and verification techniques are now beginning to attract serious attention from industry. Given this general increase in activity, our aim is to bring together researchers and users >From both communities. To achieve this, we will devote special sessions to the application of formal validation tools to real-life verification problems, as well as to the presentation of new research results. This working conference will focus on the integration of various verification technologies---identifying ideal subdomains of application for each---, and on the possibility of creating hybrid verification tools and approaches. Another important goal is articulating the interrelationships among formal specification, verification and automated synthesis. We encourage papers on the application of formal methods to the design of protocol engines, ATM switches, advanced processor architectures, multimedia engines, etc. Topics include, but are not limited to: - design methodologies for high-confidence systems - abstraction and compositional techniques - model checking - verification of hybrid systems - correctness aspects in hardware/software co-design - diagnosis and correction of design errors - correctness-preserving transformations - use of theorem provers - verification methods based on commercial hardware-description languages - formal synthesis methods - verification of protocol refinements and resource issues PAPER SUBMISSION ---------------- Electronic submission of PostScript files is preferred. Since we will use Adobe Acrobat PDF to minimize interoperability problems, papers may also be submitted electronically in Portable Document Format. Prospective authors should submit one electronic copy of their paper, not to exceed fifteen (15) pages in length, to the following address: charme97@iro.umontreal.ca All submissions will be acknowledged promptly by e-mail. Hardcopy (i.e., non-electronic) submissions should be negotiated with the program chair. If a hardcopy submission is agreed to, then five (5) copies of the paper should be sent directly to the program chair. We will publish the proceedings in book form after the conference. More information about the conference is available at the URL: http://griao.iro.umontreal.ca/CHARME97/homepage.html AUTHORS' SCHEDULE ----------------- May 1, 1997 : Deadline for paper submissions June 10, 1997 : Notification of acceptance July 15, 1997 : Camera-ready papers POSTER SESSIONS AND DEMONSTRATIONS __________________________________ It is our intention to have several poster sessions, as well as a (possibly integrated) session for the demonstration of verification tools. PROGRAM COMMITTEE _________________ Francois Anceau (CNAM, France) Dominique Borrione (TIMA, France) Paolo Camurati (Politecnico di Torino, Italy) Luc Claesen (IMEC/Kath. Univ. Leuven, Belgium) Edmund Clarke (Carnegie Mellon University, USA) Francisco Corella (Hewlett-Packard, USA) Werner Damm (University of Oldenburg, Germany) Hans Eveking (University of Darmstadt, Germany) Ganesh Gopalakrishnan (University of Utah, USA) Mark Greenstreet (University of British Columbia, Canada) Steven Johnson (Indiana University, USA) Carlos Delgado Kloos (University Carlos III, Spain) Thomas Kropf (University of Karlsruhe, Germany) Michel Langevin (Nortel, Canada) Hon F. Li (Concordia University, Canada) Tiziana Margaria (University of Passau, Germany) Matthias Mutz (University of Passau, Germany) Laurence Pierre (Universite de Provence, France) Paolo Prinetto (Politecnico di Torino, Italy) Xiaoyu Song (Universite de Montreal, Canada) Jorgen Staunstrup (Technical University of Denmark, Lyngby) CONFERENCE CHAIR ---------------- Eduard Cerny Dep. d'informatique et de recherche operationnelle (IRO) Universite de Montreal Pavillon Andre-Aisenstadt, Bureau 3243 2900, boul. Edouard-Montpetit C.P. 6128, Succ. Centre-Ville Montreal, Que., Canada H3C 3J7 Tel: (514) 343-7472 Fax: (514) 343-5834 E-mail: cerny@iro.umontreal.ca PROGRAM CHAIR ------------- David K. Probst Department of Computer Science, Room LB-941-9 Concordia University 1455 de Maisonneuve West Montreal, Que., Canada H3G 1M8 Tel: (514) 848-3023 Fax: (514) 848-2830 E-mail: probst@iro.umontreal.ca -- conference e-mail address probst@vax2.concordia.ca -- alternate e-mail address PUBLICITY CHAIR --------------- El Mostapha Aboulhamid Dep. d'informatique et de recherche operationnelle (IRO) Universite de Montreal Pavillon Andre-Aisenstadt, Bureau 3251 2900, boul. Edouard-Montpetit C.P. 6128, Succ. Centre-Ville Montreal, Que., Canada H3C 3J7 Tel: (514) 343-6822 Fax: (514) 343-5834 E-mail: aboulham@iro.umontreal.ca PUBLICATION CHAIR ----------------- Hon F. Li Department of Computer Science, Room LB-941-3 Concordia University 1455 de Maisonneuve West Montreal, Que., Canada H3G 1M8 Tel: (514) 848-3020 Fax: (514) 848-2830 E-mail: hfli@vlsi.concordia.ca LOCAL ARRANGEMENTS, REGISTRATION CHAIR -------------------------------------- Denise St-Michel GRIAO-IRO Pavillon Andre-Aisenstadt, Bureau 3227 Universite de Montreal 2900, boul. Edouard-Montpetit C.P. 6128, Succ. Centre-Ville Montreal, Que., Canada H3C 3J7 Tel: (514) 343-7052 Fax: (514) 343-5834 E-mail: stmichel@iro.umontreal.ca