AMAST Mail 1996
[Prev][Next][Index]

12th WADT and Euroconf. Alg. Develop. Techn.


*********************************************************

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

Kindly forward this announcement to your colleagues.

*********************************************************


First Euroconference on ALGEBRAIC DEVELOPMENT TECHNIQUES

                  and

 12th Workshop on ABSTRACT DATA TYPES

June  3 1997 -- June 7 1995

Call for 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 and other approaches to formal specification;
 - structuring principles in system specifications;
 - specification languages and methods;
 - term rewriting and proof systems;
 - systems (concepts, tools, etc.) for specification development .

The (tentative) list of invited speakers includes C.Jones and U.Montanari.

The proceedings, consisting of a selection of the presented talks which
will undergo  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, n. 332,534,655,785,906...).

The event will take place at the Grand Hotel Helios in Tarquinia Lido, a town
on the coast 100 km north of Roma.  The workshop starts just after
lunch-time Tuesday June 3 1997, and lasts till Saturday evening June 7.
Before the workshop a meeting of the IFIP WG 1.3 (Foundations of Systems
Specifications) will be held at the same place starting Monday June 3 .
The workshop will provide an opportunity to meet colleagues, to present
recent and ongoing work and to discuss new ideas and future trends.

The organizing committee of the workshop is chaired by Francesco Parisi
Presicce of the Dipartimento di Scienze dell'Informazione of the Università
di Roma  "La Sapienza".


Please note:
as there is a limited number of slots for talks, REGISTER NOW!
We will accept speakers essentially in the order of arrival date of their
registrations (a corrective mechanism is organized in order to guarantee
visibility of as many sites as possible).  So if you plan to have a talk
please let us know as soon as possible (communication via e-mail or WWW is
suggested).


Location
The workshop will be held at the Grand Hotel Helios in Tarquinia Lido. The
site is easily reachable by train in 1 hour from the main train station in
Roma and in approximately 90 minutes from the airport.  A shuttle will be
organized from the Tarquinia train station to the Hotel.The dates for the
event have been chosen so that participants can make use of reduced
airfares  (PEX, APEX).
The hotel itself is modern with good conference facilities and access to a
swimming pool and a private beach.


Accommodation
According to the tradition, the workshop is planned on a residential base,
so participants are required to stay at the Grand Hotel Helios.
Normal arrival is expected Tuesday June 3 after lunch, and departure
on Sunday June 8 after breakfast, with the possibility of extending
the stay in both directions. Participants to the IFIP WG 1.3 meeting are
expected to arrive Sunday  June 1.

We have reserved a number of rooms, both single and double, and expect to
be able to accommodate everybody registering BEFORE MARCH 1.  We will try
to accommodate people registering by May 1, depending on room
availability.

        Deadline for registration is the FIRST of MARCH 1997

Please note: the single rooms will be assigned essentially following a FIFO
principle;  thus if you want a single room, book it now.


Prices
We have an agreement with the hotel for a special price for full board during
the workshop. For a single room this amounts to 125 000 IT lire per day,
and to 100 000 per day per person in a double room.  The accomodation costs
85 000 at half-board in double room.


Registration fee
As usual a reasonable fee will be required at the registration desk, to
cover expenses like proceedings publication, social events and so on.  The
precise amount has still to be established, depending on the real costs
and the funds that can be raised to cover them.

Other information
More organizational details will follow, and registered participants will
be kept informed. Updated information will also be available on the
World-Wide Web (WWW) at URL:
                      http://www.dsi.uniroma1.it/~wadt97/

THE NUMBER OF PLACES AVAILABLE FOR THE WORKSHOP IS LIMITED
                                REGISTER EARLY!

We will accept participants in the order of arrival of the enclosed
registration form


Please return the registration form (by e-mail or surface mail) 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-8509
fax:       +39 6 8541842
 WWW:    http://www.dsi.uniroma1.it/~wadt97/

           12th ADT Workshop

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

I am a member of IFIP WG 1.3   ... yes   ... no


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


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





........................................................................
Prof.Dr. Francesco Parisi Presicce
Dipartimento Scienze dell'Informazione    tel: ++39 6 4991 8361 (ans.mach.)
Università di Roma "La Sapienza"               ++39 6 4991 8509
Via Salaria 113                           fax: ++39 6  8541842 / 8841964
I-00198 ROMA (Italy)                   e-mail: parisi@dsi.uniroma1.it
........................................................................
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]