[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.
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 .

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