Swansea Algebraic Specification Seminar 03/04

Organiser: Markus Roggenbach

The Swansea Algebraic Specification Seminar provides a regular forum to discuss the theory of data types and its applications. Currently, the main focus is the combination of specifications techniques for reactive systems with algebraic specification. This covers talks on industrial case studies, on tool development, as well as on question of theoretical nature.

There is a stable group of regular attendees .

Talks


Markus Roggenbach last update June 10, 2005.