WADT'99

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

Version française (Not updated)

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.

The WADT'99 official languages are French and English.

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 (including a swimming pool!). The number of rooms available at the Château is limited. Pre-registered participants will be offered a room on the site, as much as possible.

General Information

Venue:
Participants are expected to arrive on Tuesday September 14th before dinner (e.g. around 7:30 p.m.). Transportation by bus will be organized between Toulouse (station and airport) and Bonas. There will probably be one bus around 4p.m. (to be confirmed). An email will be sent to the registered participants so as to optimize the timing. The distance between Toulouse and Bonas is 100km, and there is no standard public transportation. If you cannot use the WADT bus, the only way is to take a train between Toulouse and Auch, then to take a taxi between Auch and Bonas -24km- = 200FF (300FF on week-ends).

Fees:
WADT fee is: 2400FF (this includes: transportation from and to Toulouse, the full-board conference program, and the Springer volume that will be published with selected papers).

If you want to register (and if you are not on the pre-registration list or did not submit an abstract) then send an email to wadt99@imag.fr preferably before July 20th.

Miscellaneous:
As some of you may know, Toulouse is quite a beautiful city, so you may want to have some time for visiting some of it. The station is about 10mn walk from the center of the town. Some information on Toulouse may be found through: http://www.cert.fr/fm99/

Information about train schedules may be found at: http://www.sncf.fr/indexe.htm (english speaking) and http://www.sncf.fr/ or, quite conveniently, at: http://bahn.hafas.de/bin/query.exe/en.

To search for a phone number in France (e.g. a taxi in Auch ;-) ): http://www.pagesjaunes.fr/wjpm_pages_jaunes.cgi.

Submission

Those who wish to give talks at WADT'99 are invited to submit abstracts, up to one page long. Abstracts must be sent by e-mail to wadt99@imag.fr (preferably in plain text) by the deadline: 26 May 1999. If full papers are avalaible, they can be referred and made accessible on the Web. 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).

Important Dates

Submission deadline: Notification sent: Final abstracts due: Workshop dates:

26 May, 1999 21 June, 1999 13 July, 1999 15-18 September, 1999

Invited Speakers

Michel Bidoit (LSV, CNRS and ENS Cachan, France)

From requirements to software in CASL.

Manfred Broy (TU München, 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.

WADT Steering Committee

Michel Bidoit Hans-Jörg Kreowski Peter Mosses, chair Fernando Orejas Francesco Parisi-Presicce Donald Sannella Andrzej Tarlecki

(Cachan, France) (Bremen, Germany) (Aarhus, Denmark) (Barcelona, Spain) (Rome, Italy) (Edinburgh, Scotland) (Warsaw, Poland)

Sponsors

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

It receives funds or support from:

• CoFI (Common Framework Initiative), ESPRIT Working Group 29432.
• CNRS (Centre National de la Recherche Scientifique = National Center of the Scientific Research).
• IMAG Institute (Informatique et Mathématiques Appliquées de Grenoble = (Institute on) Computer Science and Applied Mathematics of Grenoble).
• INPG (Institut National Polytechnique de Grenoble).
• UJF (Université Joseph Fourier) de Grenoble.
• LSR laboratory (Logiciels, Systèmes, Réseaux = Software, Systems, Networks), depending on INPG, UJF and CNRS.

                 

Local Organizers

Didier Bert LSR-IMAG 681, rue de la Passerelle, BP 72 F-38402 Saint-Martin-d'Hères Cedex France

Christine Choppy LIPN Institut Galilée, Université Paris XIII Avenue Jean-Baptiste Clément F-93430 Villetaneuse France

Email: wadt99@imag.fr

URL of this page: http://www-lsr.imag.fr/WADT99/ The web site is located at the IMAG Institute, Grenoble, France.