AMAST Mail 1996
[Prev][Next][Index]
TAPSOFT'97 CALL FOR PAPER.
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.
In the case you maintain a calendar of events about Computer Science
conferences, I would be grateful if you could add a link to
TAPSOFT'97 HomePage : http://www.lifl.fr/tapsoft97.
Thanks.
--
------------------------------------------------
Marc Tommasi
Laboratoire d'Informatique Fondamentale de Lille
Batiment M3 -- Cite Scientifique
Universite des Sciences et Technologies de Lille
59655 Villeneuve d'Ascq CEDEX
FRANCE
Phone: (+33) 20 43 42 55
Fax: (+33) 20 43 65 66
##########################################################################
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.
[
AMAST Mail 1996
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]