(Message inbox:42) Return-Path: Received: from THEORY.CS.CMU.EDU by missing.link.cs.cmu.edu id aa25605; 23 Jul 96 8:22 EDT Received: from listserv.NoDak.edu by THEORY.CS.CMU.EDU id ad14115; 23 Jul 96 8:02:37 EDT Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id 42788D00 ; Tue, 23 Jul 1996 6:57:49 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8b) with spool id 339985 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 23 Jul 1996 06:57:22 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id 2A9C4E10 ; Tue, 23 Jul 1996 6:57:09 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8b) with spool id 339830 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 23 Jul 1996 06:57:00 -0500 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.0a) with SMTP id ED7824F0 ; Tue, 23 Jul 1996 6:55:27 -0500 Received: (from ierardi@localhost) by pollux.usc.edu (8.7.2/8.7.2/usc) id EAA23826 for theory-a@listserv.nodak.edu; Tue, 23 Jul 1996 04:55:21 -0700 (PDT) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199606260802.JAA11466@messina.lifl.fr> Date: Tue, 23 Jul 1996 04:55:20 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , Marc.Tommasi@lifl.fr Sender: TheoryNet List From: Marc.Tommasi@lifl.fr Subject: TAPSOFT 97 : Call for Paper Comments: To: Multiple recipients of list THEORY-A To: Local Distribution Please find enclosed the call for papers for TAPSOFT '97. This call and other information on TAPSOFT '97 is also accessible by WWW at http://www.lifl.fr/tapsoft97. I sincerely apologize if you receive more than one copy of this message. ########################################################################## TAPSOFT'97 -- CALL FOR PAPERS April 14-18, 1997 -- Lille, FRANCE DEADLINE FOR SUBMISSIONS : 13 Oct 1996 TAPSOFT'97 is the Seventh International Joint Conference on the Theory and Practice of Software Development. The TAPSOFT series was started in Berlin in 1985, on the initiative of Hartmut Ehrig and Christiane Floyd (among others). Since then it has been held biennially, in Pisa, Barcelona, Brighton, Orsay and Aarhus. The overall aim of TAPSOFT was formulated as: to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT is traditionally composed of CAAP -- Colloquium on Trees in Algebra and Programming, and FASE -- Colloquium on Formal Approaches in Software Engineering. In recognition of the importance of support tools for practical use of formal approaches, TAPSOFT'97 will also have (at least) a session where TOOLS are demonstrated. The five first editions of CAAP were held in Lille, from 1976 to 1980. CAAP'97 will be the last one thus it comes back to Lille. In 1998, a new joint conference, ETAPS (European joint conferences on Theory and Practice of Software) will be held yearly in Spring. It is the successor of TAPSOFT and CAAP-ESOP-CC. ----------------------------------- CAAP ------------------------------------ Programme Committee: S. Abramsky (UK) A. Arnold (France) G. Ausiello (Italy) C. Boehm (Italy) M. Dauchet (chair, France) J. Diaz (Spain) H. Ehrig (Germany) P. Franchi Zannettacci (France) J.-P. Jouannaud (France) H. Kirchner (France) U. Montanari (Italy) M. Nielsen (Denmark) M. Nivat (France) J.-F. Perrot (France) J.-C. Raoult (France) S. Tison (France) This colloquium series was originally devoted to the algebraic and combinatorial properties of trees, and their role in various fields of Computer Science. Now the scope of CAAP has been extended to other discrete data structures and CAAP'97 will cover algebraic, logical and combinatorial properties of discrete structures and their applications to Computer Science. Contributions on the following topics are especially welcome: -- properties of discrete structures, -- the theory of formal languages, -- syntax and semantics of programming languages, -- algorithms and data-structures, -- logic and formal verification, -- theoretical problems arising in software development. --------------------------------- FASE -------------------------------------- Programme Committee: E. Astesiano (Italy) D. Basin (Germany) M. Bidoit (chair, France) E. Brinskma (The Netherlands) L. Cardelli (USA) A. Finkel (France) J. Fitzgerald (UK) P.G. Larsen (Denmark) T. Henzinger (USA) P. Klint (The Netherlands) P. Mosses (Denmark) F. Orejas (Spain) D. Sannella (UK) B. Steffen (Germany) M. Wirsing (Germany) This colloquium aims at being a forum where different formal approaches to problems of software specification, development, and verification are presented, compared, and discussed. Contributions on the following topics are especially welcome: -- formal concepts for software development, -- software development using formal methods, -- formal approaches for real-time and distributed systems, -- provably correct software and verification methods, -- reports on case studies of applications of formal methods, -- programming languages and type systems, -- tools and environments supporting formal approaches -- possibly in conjunction with demonstrations. --------------------------- INVITED SPEAKERS -------------------------------- E. Astesiano (Italy) J.-P. Jouannaud (France) T. Maibaum (UK) P. Mosses (Denmark) W. Thomas (Germany) F. Vaandrager (The Netherlands) ------------------------ SUBMISSION TO TAPSOFT'97 --------------------------- - Papers: ------ Prospective authors are invited to submit => five copies of a full draft paper, and => an electronic copy by e-mail (plain text or uuencoded gziped PostScript), and => an abstract by e-mail. The final paper should be no more than 15 pages in the Springer-Verlag format for Lecture Notes in Computer Science (the series in which the Proceedings of TAPSOFT'97 should be published); see the back cover of a recent volume for details. Submissions need not adhere to that format, but those that are clearly too long will be rejected immediately. Papers must be unpublished and not submitted for publication elsewhere. Papers that attempt to establish links between different approaches and/or include expository or survey material, as well as presenting original results, will be welcomed. - Tools: ----- Demonstrations of tools supporting formal approaches to software development are welcome. Proposers of demonstrations should submit => five copies of a brief description of the tools, making clear the relevance to TAPSOFT (about four pages), and an electronic copy by e-mail (plain text or uuencoded gziped PostScript). The final abstract of tool demonstrations should be no more than 4 pages in the Springer-Verlag format. => The hardware and software requirements for installing and demonstrating the tools should be specified on a separate page. ---------------------------------- DATES ----------------------------------- 13 Oct 1996 => Deadline for receipt of submissions 9 Dec 1996 => Notification of acceptance 15 Jan 1997 => Final paper due 14-18 Apr 1997 => Presentation at conference Papers arriving late may be rejected immediately, without refereeing. The receipt of all submitted papers will be acknowledged. The address for submissions to CAAP is Max Dauchet (CAAP) Universite de Lille I LIFL -- Bat. M3 59 655 VILLENEUVE D'ASCQ Cedex, FRANCE fax: (+33) 03 20 43 65 66 email: submitcaap@lifl.fr The address for submissions to FASE and Tools is: Michel Bidoit (FASE) LIENS, Ecole Normale Superieure 45, rue d'Ulm 75230 PARIS Cedex 05, FRANCE fax: (+33) 01 44 32 20 80 email: fase97@ens.fr ----------------------------- SATELLITE MEETINGS --------------------------- Facilities will be provided for holding short specialized workshops and other meetings in conjunction with TAPSOFT'97. Please contact the TAPSOFT organisers as soon as possible, if interested. --------------------------- Additional informations ------------------------- http://www.lifl.fr/tapsoft97/ ftp://ftp.lifl.fr/pub/tapsoft97 Anne-Cecile.Caron@univ-lille1.fr TAPSOFT Steering Committee: -------------------------- A. Arnold, P. Degano, H. Ehrig, M.-C. Gaudel, T. Maibaum, U. Montanari, P.D. Mosses, M. Nivat, F. Orejas. TAPSOFT'97 Organising Committee: ------------------------------- A.C. Caron (chair), Y. Andre, F. Bossut, J.L. Coquide, M. Dauchet, R. Gilleron, S. Tison, M. Tommasi.