REMINDER - 12th WADT Workshop on Alg.Develop.Techn.

[wadt97@dsi.uniroma1.it (12th Workshop on Alg.Develop.Techn.)]

[CASL: The CoFI Algebraic Specification Language, will be presented 
in the tutorial I'll be giving at WADT.  As CoFI overall coordinator,
I would like to encourage further presentations on particular aspects
of CASL at WADT.  Would those wishing to give such presentations
kindly let me know straight away, so that this may be coordinated?
Thanks. --PDM]

I apologize if you receive more than one copy of this message.

 Kindly forward this announcement to your colleagues.

 ---------------
 R E M I N D E R
 ---------------

 12th WADT   WORKSHOP on ALGEBRAIC DEVELOPMENT TECHNIQUES
                June  3 - 7 1997

 Call for Papers and Participation

The algebraic approach to system specification and development, born as a
formal method for abstract data types, encompasses today the formal design
of integrated hardware and software systems, new specification frameworks
and programming paradigms (such as object oriented, logic and higher-order
functional programming)  and a wide range of application areas (including
information systems, concurrent and distributed systems).

The topics of the workshop include, but are not limited to:
 - algebraic specifications;
 - 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.

The workshop will provide an opportunity to meet colleagues, to present
recent and ongoing work and to discuss new ideas and future trends.
The scientific program will consist of keynote presentations (the
(tentative) list of invited speakers includes Cliff Jones and Ugo
Montanari), about 20 to 30 short presentations of recent results
according to submitted titles/abstracts,a panel discussion,
a tutorial by Peter Mosses and informal evening sessions.
The 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 the Springer-Verlag (see e.g. the Recent
Trends in Data Type Specifications series, nos. 332, 534, 655, 785, 906,
1130).

As there is a limited number of slots for talks, REGISTER NOW!
We will accept speakers in the order of arrival date of their
registrations.

        Deadline for registration is the 1st of MARCH 1997

        WADT STEERING COMMITTEE
Michel Bidoit (Paris, France)
Hans-Jorg Kreowski (chair) (Bremen, Germany)
Peter Mosses (Aarhus, Denmark)
Fernando Orejas (Barcelona, Spain)
Francesco Parisi-Presicce (Rome, Italy)
Donald Sannella (Edinburgh, Scotland)
Andrzej Tarlecki (Warsaw, Poland)

LOCATION
The workshop will be held at the Grand Hotel Helios in Tarquinia Lido
on the shore, near the lovely small town of Tarquinia (about 100 Km north
of Rome) easily reachable by train from the airport and from the main train
station in Rome. Participants are expected to arrive on Tuesday June 3 and
to depart on Sunday June 8, with the possibility of extending their stay in
both directions.

Other information is available on the  World-Wide Web (WWW) at URL
http://www.dsi.uniroma1.it/wadt97/wadt.html
or by writing at  wadt97@dsi.uniroma1.it

THE NUMBER OF PLACES AVAILABLE FOR THE WORKSHOP IS LIMITED

Please return the registration form (by e-mail or fax) to the following
address.

    ADT'97 Organization
   Dipartimento di Scienze dell'Informazione
   Università di Roma La Sapienza
   Via Salaria 113       I-00198  ROMA     Italy

e-mail: wadt97@dsi.uniroma1.it
phone:  +39 6 4991 -8361/-8509         fax:    +39 6 8541842
 WWW:    http://www.dsi.uniroma1.it/wadt97/wadt.html

           12th WADT

Registration form         One form for each participant, please!

Last Name     ........................................................
First Name  ........................................................
Institution     ........................................................
Mailing address ........................................................
                ........................................................
                ........................................................
                ........................................................
                ........................................................

E-mail    ........................................................
Fax       ........................................................
Telephone ........................................................


I will attend the workshop     ... yes   ... no
I intend to give a talk        ... yes   ... no

If yes, provisional title ..............................................
                ........................................................
                ........................................................

I prefer        ... single room         ... double room
I would like to share the room with ................................

Special meal requirements (please specify): ............................

I will arrive      ..........................
I will depart      ..........................

Name of accompanying non-participants ..................................
for which I need   ...... additional single rooms and
                   ...... additional double rooms


Signature  .............................................................




        WADT'97 Organization
        Dip. di Scienze dell'Informazione
        Universita' di Roma La Sapienza
        Via Salaria 113
        I-00198  ROMA     Italy

e-mail: wadt97@dsi.uniroma1.it
phone:     ++39 6 4991-8509
fax:       ++39 6 8541842
 WWW:    http://www.dsi.uniroma1.it/~wadt97/