[M2] ================================================ AMAST Links 02 02

        Theory And Practice of Software Development, TAPSOFT'95
        6th Int'l Joint Conf., 22-26 May 1995, Aarhus, Denmark

   *Update* of information in [SIAN04p2-1]
   Abbreviated version of the _Preliminary Programme_ available at
URL: http://www.cs.utwente.nl/data/amast/links/v02/i02/full/TAPSOFm.txt
   *Deadline for reduced fees: 15 March 1995*

  TAPSOFT brings 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.
Includes CAAP, FASE, TOOLS.
  *Satellite Meetings:*
TACAS : Workshop on Tools and Algorithms for Construction and Analysis
    of Systems, 19-20 May
TPA : Workshop on Types for Program Analysis, 26-27 May
COMPASS : ESPRIT Basic Research  WG, 26-27 May
  *Invited Speakers:* H. Ehrig, C. Floyd, M.-C. Gaudel, J. A. Goguen,
D. Kozen, V. Pratt.
  *CAAP: Colloquium on Trees in Algebra and Programming*
  _Programme Committee:_ A. Arnold, B. Courcelle, J. Diaz, V. Diekert,
H. Ehrig, J. Karhumaki, J. W. Klop, U. Montanari, M. Nielsen (chair),
C. Stirling, W. Thomas, S. Tison.
  *FASE: Colloquium on Formal Approaches in Software Engineering*
  _Programme Committee:_ E. Astesiano, D. Basin, V. Donzeau-Gouge,
M.-C.Gaudel, B. Jonsson, P. Klint, B. Mahr, F. Orejas, D. Sannella,
M. I. Schwartzbach (chair), B. Steffen, R. Wilhelm.
  *TOOLS*
Demonstration of support tools for practical use of formal approaches.
  *Local organisation chair:*  P. D. Mosses. 
  *Information:* Preliminary programme, abstracts of talks, and
registration form _obtainable electronically_ at
URL: http://www.brics.aau.dk/tapsoft/
   FTP: ftp.brics.aau.dk, name: ftp, get pub/TAPSOFT/README
   E-mail: tapsoft@brics.aau.dk .  Fax: +45 8942 3255
   BRICS - TAPSOFT '95, Dept. of Computer Science, Univ. of Aarhus
   Ny Munkegade Bldg. 540, DK-8000 Aarhus C, Denmark