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

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/

Talks

Mon, 09 January 2017

• 14:00 On Synchronous and Asynchronous Compatibility of Communicating Components by Rolf Hennicker      abstract
• 15:00 Confluence of Graph Rewriting with Interfaces by Filippo Bonchi      abstract slides
• 16:00 A Framework for Static and Runtime Verification of Data- and Control-Oriented Properties by Gerardo Schneider      abstract slides
• 17:00 The Power of (Convex) Algebras by Ana Sokolova      abstract slides

Tue, 10 January 2017

• 09:30 Synthesis and Verification of Embedded and Cyber-Physical Systems by Sabine Glesner      abstract
• 10:30 Compositional Coinduction in Agda by Andreas Abel      abstract slides paper
• 11:30 Multi-view Consistency in UML by Till Mossakowski      abstract slides paper

Wed, 11 January 2017

• 14:00 One Eilenberg Theorem to Rule Them All by Stefan Milius      abstract slides paper
• 15:00 Dynamic and Heterogeneous Timed Systems by José Luiz Fiadeiro      abstract slides paper
• 16:00 Behavioural Metrics - A Coalgebraic Approach by Barbara König      abstract slides
• 17:00 Specification and Analysis in Real-Time Maude by Peter Ölveczky      abstract slides

Thu, 12 January 2017

• 09:30 Guarded vs. Unguarded Iteration by Lutz Schröder      abstract slides
• 10:30 The AGREE approach to graph transformation by Andrea Corradini      abstract slides