IFIP Logo
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

Aims

To support and promote the systematic development of the fundamental mathematical theory of systems specification. To investigate the theory of formal models for systems specification, development, transformation and verification.

Meetings

London Colocated with WADT 2018, followed by the FLoC conferences (in Oxford).

Accommodation will be either in the college or, if asked for, in a hotel. Registration will open in May and will be available over the WADT webpage.

Travel should be easy: there is a short connection to Heathrow (between 10 - 20 mins by taxi).

The meeting with starts on the 5th at 2pm, it will end on the 7th with lunch at 12.00 noon.

The rough time plan is as follows:

Thursday

14:00-15:20 2 Talks
15:20-15:50 Coffee
15:50-17:10 2 Talks
Dinner

Friday

9:30-10:50 2 Talks (by observers)
10:50-11:10 Coffee
11:10-12:30 2 Talks (by observers)
12:30 - 14:00 Lunch
14:00-15:45 2 Talks
15:30 Coffee
16:00 -- 18:00 Business Meeting
18:15 Walk through Windsor Park
20:00 Banquet

Saturday

9:30-10:50 2 Talks
10:50-11:10 Coffee
11:10-12:30 2 Talks
12:30 Lunch

Sponsored Activities

Cofi
A voluntary organisation founded in 1995 as an open collaborative effort to produce a Common Framework for Algebraic Specification and Development, including CASL, the Common Algebraic Specification Language.

Sponsored Events

Fonseca WADT 2012: 21st International Workshop on Algebraic Development Techniques
Salamanca, Spain, June 7-10, 2012

Related Activities and Events

The European Joint Conferences on Theory and Practice of Software

16 - 24 March 2013,
Rome, Italy

Etapslogo

Scope

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.

Publications

THE CASL COLLECTION

Reference Manual
edited by Peter Mosses, March 2004

Caslr


User Manual
by Michel Bidoit and Peter Mosses, January 2004

Caslu

The IFIP State-of-the-Art Report on

Algebraic Foundations of Systems Specification

edited in 1999 by
Egidio Astesiano,
Hans-Jörg Kreowski,
and Bernd Krieg-Brückner

Springer

THE WADT SERIES

Algebraic Development Techniques

latest volume edited in 2011 by
Till Mossakowski and Hans-Jörg Kreowski

Wadt10

THE CALCO SERIES

Algebra and Coalgebra in Computer Science

latest volume edited in 2011 by
Andrea Corradini, Bartek Klin, Corina Cîrstea

Calco11

THE ICGT SERIES

Graph Transformations

latest volume edited in 2010 by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg and Andy Schürr

Icgt10

THE CMCS SERIES

Coalgebraic Methods in Computer Science

latest volume edited in 2010 by Bart Jacobs, Milad Niqui, Jan Rutten, Alexandra Silva

Entcs