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


Meeting in Binz (Rügen), Germany, 09 - 12 January 2017

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

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:

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/

Talks

Mon, 09 January 2017

Tue, 10 January 2017

Wed, 11 January 2017

Thu, 12 January 2017