IF YOU ARE INTERESTED IN ATTENDING THE 14TH WADT NEXT YEAR:
*** PLEASE PRE-REGISTER STRAIGHT AWAY! http://www-lsr.imag.fr/WADT99/
- or at the latest by 12th September THIS year. By pre-registering,
not only are you guaranteed a room at Chateau de Bonas (WITHOUT ANY
COMMITMENT TO ATTEND), but also you help the WADT organizers secure
lower rates !
IF YOU DO NOT REMEMBER WHETHER YOU PRE-REGISTERED:
a list is available on the web (updated every week)
-------- We apologize if you receive multiple copies of this message --------
14th International Workshop on Algebraic Development Techniques
Bonas, France
15-18 September 1999
Sponsored by IFIP WG1.3 (Foundations of System Specification)
and by the LSR-IMAG laboratory, Grenoble, France
Aims and Scope
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.)
The workshop will provide an opportunity to meet colleagues, to present recent
and ongoing work and to discuss new ideas and future trends.
Pre-Registration
WADT'99 will be held at the attractive Chateau de Bonas, near Toulouse, the
week before FM'99 (World Congress on Formal Methods) takes place in Toulouse.
The Chateau is a very attractive location, with modern conference facilities
(including a swimming pool!). The number of places available at the Chateau is
limited. All those who intend to participate in WADT'99 are asked to
pre-register by completing the pre-registration form without delay, and in any
case before:
**** 10th September 1998 (THIS year!) ****
Pre-registered participants are guaranteed a place at the Chateau, and will
later be sent further details concerning final registration for WADT'99.
A high number of pre-registered participants should enable WADT'99 to obtain
particularly-favourable room rates at the Chateau.
Important Dates
Deadline for intention to attend: 10 September 1998
Workshop dates: 15-18 September 1999
WADT Steering Committee
Michel Bidoit (Paris, France)
Hans-Joerg Kreowski (Bremen, Germany)
Peter Mosses, chair (Aarhus, Denmark)
Fernando Orejas (Barcelona, Spain)
Francesco Parisi-Presicce (Rome, Italy)
Donald Sannella (Edinburgh, Scotland)
Andrzej Tarlecki (Warsaw, Poland)
Local Organizers
Didier Bert Christine Choppy
LSR-IMAG IRIN
681, rue de la Passerelle, BP 72 2, rue de la Houssiniere, BP 92208
F-38402 Saint-Martin-d'Heres Cedex F-44322 Nantes Cedex 03
France France
Email: wadt99@imag.fr