Swansea Algebraic Specification Seminar

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.

The 2003/4 series.

Talks

Forthcoming Talks


Markus Roggenbach last update June 10, 2005.