[Prev][Next][Index][Thread]
TapSoft'97 : 2nd Call For Paper
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
Please find enclosed the second 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 -- SECOND 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.
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.
--------------------------- Additional informations -------------------------
http://www.lifl.fr/tapsoft97/
ftp://ftp.lifl.fr/pub/tapsoft97
Anne-Cecile.Caron@univ-lille1.fr