The full version of this Call for Participation is available, both in plain-text form and in LaTeX form.
The two joint events will take place at Holmenkollen in Oslo. The workshop starts just after lunch-time Tuesday September 19, and lasts till Saturday evening September 23. Before the workshop a meeting of the IFIP WG 14.3 (Foundations of Systems Specifications) will be held at the same place starting just after lunch-time Monday September 18. The workshop will provide an opportunity to meet colleagues, to present recent and ongoing work and to discuss new ideas and future trends.
The workshop is organized by Olaf Owe and Ole-Johan Dahl from the University of Oslo, and Magne Haveraaen from the University of Bergen.
Topics of the workshop include, but are not limited to: algebraic specification; other approaches to formal specification; specification languages and methods; term rewriting and proof systems; specification development systems (concepts, tools, etc.).
It is planned to have a small number of invited talks.
Proceedings, consisting of a selection of the presented talks through the usual referee process, will be published after the workshop probably in the Lecture Notes series of Springer-Verlag -- see e.g. the Recent Trends in Data Type Specification series, n. 332, 534, 655, 785.
Please note the number of slots for talks is limited, register now! We accept speakers in the order of arrival of registrations, so if you plan to have a talk please let us know asap (best via e-mail or WWW).
Details concerning location, accommodation, registration, prices, travel, and the registration form are in the full version of this announcement. Updated information will also be available on the WWW .
As the number of places is limited, register early! We will accept participants in the order of arrival of the registration form, at:
ADT'95 Organization, Institutt for informatikk
Postboks 1080 Blindern, 0316 Oslo, Norway
e-mail: adt95@ifi.uio.no, tel: +47 22 85 24 10, fax: +47 22 85 24 01