Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Chairman: L. Schröder      Vice Chairman: M. Roggenbach      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski

Meeting in Swansea, United Kingdom, 06 - 08 September 2005


The meeting was preceded by the 1st Conference on Algebra and Coalgebra in Computer Science (CALCO'05), an event sponsored by WG1.3.