Atlas home || Conferences | Abstracts | about Atlas
Host: Chateau de Bonas
Sponsor: IFIP WG1.3
Homepage: http://www-lsr.imag.fr/WADT99/
Email: wadt99@imag.fr
Organizers: Michel Bidoit, Hans-Jörg Kreowski, Peter Mosses, chair, Fernando Orejas, Francesco Parisi-Presicce, Donald Sannella, Andrzej Tarlecki, Didier Bert, Christine Choppy
Description:
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.
The WADT'99 official languages are french and english.
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.