-----Original Message----- From: owner-ifip_tcchairs@ifip.or.at [mailto:owner-ifip_tcchairs@ifip.or.at]On Behalf Of Dorothy Hayden Sent: sexta-feira, 21 de Fevereiro de 2003 08:53 To: MS&ED Subject: [IFIP] Calls for Papers - FORTE & CHARME, Sep/Oct 2003

Dear Member Societies and Editors,

Please find enclosed Calls for Papers related to IFIP events. For full details please visit the conference websites below.

Best regards, Dorothy

P.S. Information about IFIP events is posted at http://www.ifip.or.at/cal_even.htm

**** Call for Papers

The 23rd IFIP TC6/WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE 2003

29 September - 2 October 2003, Berlin, Germany

http://www.forte2003.de.vu

FORTE denotes a series of international working conferences on formal description techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE / PSTV in 1996. Two years ago the conference changed the name to its current form. FORTE provides a forum for researchers and users to review, discuss, and learn about new approaches, concepts, and experiences in the field of formal description techniques and their application.

FORTE 2003 is especially dedicated to the application of formal description techniques to practice, especially in the Internet domain. The conference will consist of tutorial sessions on the first day, followed by presentations of reviewed and invited papers, tool demonstrations, and panel and working sessions.

Submission deadline for regular papers and tutorials : 17 March 2003

**** CALL FOR PAPERS

Working Conference on Correct Hardware Design and Verification Methods - CHARME 2003

21-24 October 2003 in L'Aquila, Italy

http://www.di.univaq.it/charme2003/

CHARME 2003 is the twelfth in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and verification of hardware and systems. It has been the aim of the conference to expand its interest to software as well when the technology is related. Previous conferences have been held in Darmstadt, Edinburgh, Grenoble, Glasgow, Leuven, Torino, Arles, Frankfurt, Montreal, Bad Herrenalb and Edinburgh. It is the biennial counterpart of FMCAD, which takes place every even year in the USA. It is co-sponsored by IFIP WG10.5.

The aim of CHARME 2003 is to bring together researchers and users from academia and industry working in this active area of research. The conference will cover original research results, case studies, use of technologies across application domains, and reports on practical experiments. Papers describing original work in all aspects of formal hardware and system design and verification methods are invited. Papers related to formal modeling and verification of concurrent software are also welcome.

Deadline for paper submission: 11 April 2003

For more detailed information kindly visit the conference websites above.

------------------------- IFIP Secretariat Hofstrasse 3 A-2361 Laxenburg, Austria Tel: +43 2236 73616 Fax: +43 2236 736169 www: http://www.ifip.or.at/