IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Chairman: M. Roggenbach      Secretary: C. Choppy      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

Ruegen-im-winter DURATION
The meeting will start on January 9, 2017, 2pm.
The meeting will end on January 12, 2017, 12noon.

LOCATION
The meeting will take place in the Haus des Gastes, Heinrich-Heine-Straße 7, 18609 Binz, Germany.

FEES

  • 200 Euro.
  • To be paid in cash at the meeting (Holger will provide you with a proper receipt)
  • We will take a screenshot of the registration page on 20.12.16, that registration will be binding.
  • The fee covers the meeting room, coffee during the breaks, lunches, and one workshop dinner.

HOTELS
There is an abundance of hotels in Binz from which to choose, from youth hostel to 5-star accomodations. Some hotels in Binz are closed in January; the following are open, close to the conference site and recommended:

  • Hotel Loev, Hauptstraße 20-22, 18609 Binz; www.loev.de; +49 38393 390 Rate 79€ per night incl. breakfast (single occupancy)
  • Aparthotel Rialto & Esplanade, Hauptstraße 21, 18609 Binz; www.aparthotel-rialto.de; +49 38393 340 Rate approx. 40€ per night incl. half board (breakfast/dinner) (rates are based on a flat rate of 190€ per 5 nights)
  • Centralhotel Binz, Hauptstraße 13, 18609 Binz; www.centralhotel-binz.de; +49 38393 3460 Rate 49€ per night incl. breakfast
  • Hotel Cerês, Strandpromenade 24, 18609 Binz www.ceres-hotel.de; +49 38393 66670 rates: 163€ per night incl. breakfast
  • There is also the possibility to rent an apartment (no breakfast, no service, no spa, but maybe a magnificent view, and maybe a good deal if you share a 2- or 3-bedroom apartment) e.g. Villa Frigga, Villa Glückspilz, Villa Quisisana, ... Contact e.g. Apartmentvermittlung Ott, +49 38205-782934 www.urlaub-in-binz-auf-ruegen.de, mail@urlaub-in-binz-auf-ruegen.de rates vary between 40€ and 80€ per night and apartment, plus a surcharge for cleaning (between 20€ and 80€).

TRAVEL
Closest airports are in Hamburg and in Berlin.
From the airport you best travel by train to Binz: for obtaining train connections you might want to go to:
https://www.bahn.de/p_en/view/

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