IFIP WG 2016 - IFIP WG 1.3 Foundations of System Specification

The aim of the working group is to support and promote the systematic development of the fundamental mathematical theory of systems specification, and to investigate the theory of formal models for systems specification, development, transformation and verification. The meeting will address 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. Participation is by invitation only.
Organizers: Lutz Schroder, Markus Roggenbach