Swansea Algebraic Specification Seminar 03/04

Organiser: Markus Roggenbach

There is a stable group of regular attendees .

Talks

• 3.6.2004: The Z specification language

  Neal Harman

  [Comments of the participants]

• 18.5.2004: Coalgebra in Martin Löf Type Theory, Part II

  Markus Michelbrink

  [Comments of the participants]

• 13.5.2004: Coalgebra in Martin Löf Type Theory

  Markus Michelbrink

  [Comments of the participants]

• 6.5.2004: First order logic of process algebras

  Jan Bergstra

  [Comments of the participants]

• 29.4.2004: Models of Concurrency

  Markus Roggenbach

  [Comments of the participants]

• 11.3.2004: CCC - the CASL Consisteny Checker

  Christoph Lüth, Markus Roggenbach

  [Comments of the participants]

• 4.3.2004: A consistency calculus for CASL

  Markus Roggenbach

  [Comments of the participants]

• 26.2.2004: Structuring Specifications

  Markus Roggenbach

  [Comments of the participants]

• 19.2.2004: Models of Parallelism

  Markus Roggenbach

  [Comments of the participants]

• 5.2.2004: Maude - an introduction

  Neal Harman

  [Comments of the participants]

• 29.1.2004: Algebraic Specification in hardware design

  Neal Harman

  [Comments of the participants]

• 22.1.2004: Sort Generation Constraints

  Markus Roggenbach

  [Comments of the participants]

• 5.12.2003: Naur's Problem

  Markus Michelbrink, Monika Seisenberger

  [Comments of the participants]

• 28.11.2003: Modelling the ep2 System in CSP-CASL

  Markus Roggenbach

  [Comments of the participants]

• 14.11.2003: Why formal specifications? - A practical exercise

  Markus Roggenbach

  [Comments of the participants]

• 7.11.2003: Scope and Limits of Algebraic Specification - Part II

  John Tucker

  [Comments of the participants]

• 31.10.2003: Scope and Limits of Algebraic Specification - Part I

  John Tucker

  [Comments of the participants]

• 24.10.2003: Equivalence and Model Checking - Part II

  Will Harwood

  [Comments of the participants]

• 17.10.2003: Equivalence and Model Checking - Part I

  Will Harwood

  [Comments of the participants]

• 26.9.2003: Systems of CSP Process Equations

  Yoshi Isobe

  [Comments of the participants]

• 19.9.2003 (in cooperation with the Computer Science Colloquia):

  MMiSS - MultiMedia Instruction in Safe Systems

  Arne Lindow

  [Comments of the participants]

• 12.9.2003: The Semantics of CASL Libraries, part II - A simple example illustrating the style of the CASL semantics

  Markus Roggenbach

  [Comments of the participants]

• 5.9.2003: The Semantics of CASL Libraries, part I - A simple example illustrating the style of the CASL semantics

  Markus Roggenbach

  [Comments of the participants]

• 18.7.2003: Proof terms - What they are, why we want them, how to use them

  Uli Berger

  [Comments of the participants]

• 11.7.2003: A first encoding of the CSP Traces Model in Isabelle/HOL

  Yoshi Isobe

  [Comments of the participants]

• 27.6.2003: CASL Tutorial

  Markus Roggenbach

  [Comments of the participants]

• 13.6.2003: Overview on the ep2 System

  Andy Gimblett

  [Comments of the participants]

• 30.5.2003: The CSP Traces Model as Metric Space

  Markus Roggenbach

  [Comments of the participants]

• 23.5.2003: The CSP Traces Model as Complete Partial Order

  Markus Roggenbach

  [Comments of the participants]