WADT'99
    14th International Workshop on Algebraic Development Techniques
 
                              Bonas, France
                          15-18 September 1999
                     http://www-lsr.imag.fr/WADT99/
 
 
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 specification
   -   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 present recent and ongoing
work, to meet colleagues, and to discuss new ideas and future trends.

 
Location 
======== 
WADT'99 will be held at the Château de  Bonas, near Toulouse, the week
before  FM'99   (World Congress on   Formal   Methods) takes  place in
Toulouse.   The  Château is  a very  attractive  location, with modern
conference facilities.  

The    number of   rooms    available  at  the   Château  is  limited.
Pre-registered   participants  will be  offered   a  room,  as much as
possible (see the  pre-registration  page). Details  concerning  final
registration for WADT'99 will be  made available in June.  Information
will also be available on the web.

Invited Speakers (titles are tentative)
=======================================
  Michel BIDOIT (LSV, CNRS & ENS Cachan, France) 
      "From requirements to software in CASL"
  Manfred BROY (TU Muenchen, Germany):        
      "From States to Histories"
  Bart JACOBS (University of Nijmegen, Netherlands): 
      "Reasoning about Java"
  Natarajan SHANKAR (SRI International, Menlo Park, USA):       
      "PVS: Principles and Pragmatics"
 
**********************************************************************
************************** Important Dates ***************************
**********************************************************************
*      Deadline for abstracts:            26 May, 1999               *
*      Notification sent to authors:      21 June, 1999              *
*      Final abstract due:                13 July, 1999              *
*      Workshop dates:                    15-18 September, 1999      *
********************************************************************** 

Submissions 
===========  
Those  who  wish  to give  talks   at WADT'99 are   invited  to submit
abstracts (up  to one page long).  Abstract must be  sent by e-mail to
wadt99@imag.fr (preferably in plain text) by the deadline:

    26 May 1999.

After the workshop,  selected authors will be  invited to  submit full
papers for the refereed proceedings, which is expected to be published
as a volume of Lecture Notes in Computer Science, Springer.
 

WADT Steering Committee
=======================
       Michel Bidoit             (Cachan, 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)

Sponsors
========
The  workshop  is organized by  the  IFIP WG1.3 (Foundations of System
Specification)

It receives funds or support from: 
    - CoFI WG (Common Framework Initiative), ESPRIT. 
    - CNRS (Centre National de la Recherche Scientifique).
    - IMAG Institute, Grenoble, France.
    - LSR (Laboratoire Logiciels, Système, Réseaux), Grenoble, France.

Local Organizers
================
            Didier Bert                        Christine Choppy
             LSR-IMAG,                      LIPN, Institut Galilée,
             Grenoble                        Université Paris XIII
 
Email: wadt99@imag.fr
----------------------------------------------------------------------