CFP: TAPSOFT'95 (short reminder)

[Since it is clearly relevant, I am distributing this conference
announcement to types.  -- Philip Wadler, moderator, Types Forum.]

[The full CFP was sent previously to the same mailing list,   22 June 1994.]

CALL FOR PAPERS                                              CALL FOR PAPERS
                                 TAPSOFT'95
22--26 MAY 1995                                              AARHUS, DENMARK

>>>>>>>>>>>>>>>>> DEADLINE FOR SUBMISSION: 15 OCTOBER 1994 <<<<<<<<<<<<<<<<<

TAPSOFT'95 is  the Sixth  International Joint Conference  on the  Theory and
Practice of  Software Development.   It  will be held  at the  University of
Aarhus, Denmark.   TAPSOFT is traditionally divided into three sections:

     CAAP:           Colloquium on Trees in Algebra and Programming
                     -- covering a wide range of topics in theoretical
                     computer science

     FASE:           Colloquium on Formal Approaches in Software Engineering
                     -- with the emphasis on practical applicability

     Invited talks:  on a variety of relevant topics.

TOOLS   In  recognition of  the importance  of support  tools for  practical 
use of  formal  approaches, TAPSOFT'95  will also have a session where tools  
are demonstrated.

INVITED SPEAKERS