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
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
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
Hartmut Ehrig A Decade of TAPSOFT: Progress and Prospects
Christiane Floyd Theory and Practice of Software Development:
Steps in an Unfolding Dance
Marie-Claude Gaudel Testing can be Formal too!
Joseph Goguen Reconciling Social and Technical Aspects of
Dexter Kozen New Results on Set Constraints
Vaughan Pratt Rational Mechanics.
SATELLITE MEETINGS Facilities will be provided for holding short
specialized workshops and other meetings in conjunction with TAPSOFT'95.
Please contact the TAPSOFT organisers as soon as possible, if interested.
DATES 15 Oct 1994 Deadline for receipt of submissions
1 Dec 1994 Notification of acceptance sent
1 Feb 1995 Final paper due
PAPERS ARRIVING LATE MAY BE REJECTED IMMEDIATELY, WITHOUT REFEREEING!
Full information about TAPSOFT'95 is available for electronic access using
World Wide Web: file://ftp.daimi.aau.dk/pub/TAPSOFT/README.html
and anonymous FTP: ftp ftp.daimi.aau.dk, cd pub/TAPSOFT, get README.
This information can also be obtained by sending a request marked TAPSOFT'95
BRICS -- TAPSOFT'95 E-mail: firstname.lastname@example.org
Dept. of Computer Science Fax: +45 8942 3255
University of Aarhus
Ny Munkegade, Bldg. 540
DK-8000 Aarhus C, Denmark