Aims
To support and promote the systematic development of the fundamental mathematical theory of systems specification.
To investigate the theory of formal models for systems specification, development, transformation and verification.


Sponsored Activities

A voluntary organisation founded in 1995 as an open
collaborative effort to produce a Common Framework for
Algebraic Specification and Development, including CASL,
the Common Algebraic Specification Language.


Sponsored Events

WADT 2012: 21st International Workshop on Algebraic Development Techniques
Salamanca, Spain, June 710, 2012



Related Activities and Events
The European Joint Conferences on Theory and Practice
of Software
16  24 March 2013,
Rome, Italy




Scope
The theoretical aspects of the specification and development of computing systems that are based on algebraic and logical concepts, and can be studied systematically within a theory of systems specification.

Publications
THE CASL COLLECTION
Reference
Manual
edited
by Peter Mosses, March 2004

User
Manual
by Michel Bidoit and Peter Mosses, January 2004

The IFIP
StateoftheArt Report
on
Algebraic
Foundations of Systems Specification
edited
in 1999 by
Egidio
Astesiano,
HansJörg
Kreowski,
and Bernd
KriegBrückner


THE WADT SERIES
Algebraic Development Techniques
latest volume edited
in 2011 by
Till Mossakowski and HansJörg Kreowski


THE CALCO SERIES
Algebra and Coalgebra in Computer Science
latest
volume edited
in 2011 by
Andrea Corradini, Bartek Klin, Corina Cîrstea


THE ICGT SERIES
Graph Transformations
latest volume edited
in 2010 by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg and Andy Schürr


THE CMCS SERIES
Coalgebraic Methods in Computer Science
latest volume edited
in 2010 by Bart Jacobs,
Milad Niqui,
Jan Rutten,
Alexandra Silva



