In 2018, the annual D-CON meeting of German scientists working in the area of Concurrency Theory is coming to Darmstadt. For information on previous editions of D-CON, see the website of the GI working group Concurrency Theory.

• Workshop: March 1-2, 2018

• Informal dinner: Februar 28, 2018, 19:00

  • Location: Restaurant Ban Thai, Hügelstraße 21, 64283 Darmstadt

• Dinner: March 1, 2018, 19:00

  • Location: Restaurant Sitte, Karlstraße 15, 64283 Darmstadt

Both restaurants are located downtown and can be reached from the venue by a short walk or tram ride.

• Mohammad Mousavi (University of Leicester, UK)

  Model-Based Testing Cyber-Physical Systems: Theory and Practice

   

  Cyber-physical systems are the results of the tight integration of computation, control, and communication. Hence, their mode-based design involves hybrid and multi-disciplinary models addressing discrete behaviour, integrated with continuous dynamics along with (often asynchronous) communication. In this talk, we focus on model-based conformance testing of such systems and present an overview of the theories of conformance testing adapted to this domain. Then, we present some of our ongoing research results towards a practical framework for model-based testing cyber-physical systems. 

  Based on joint work with:  A. Aerts (TU Eindhoven, NL), H. Araujo (F.U. Pernambuco, Brazil), G. Carvalho (F.U. Pernambuco, Brazil),  N. Khakpour (Linneaus U., Sweden), M. Mohaqeqi (Uppsala, Sweden), M.A. Reniers (TU Eindhoven, NL), A. Sampaio (F.U. Pernambuco, Brazil), M. Taromi Rad (Halmstad, Sweden)

   

• Andrea Corradini (University of Pisa, Italy)

  Domains and Event Structures for Fusions (Joint work with Paolo Baldan and Fabio Gadducci)

  Stable event structures, and their duality with prime algebraic domains (arising as partial orders of configurations), are a landmark of concurrency theory, providing a clear characterisation of causality in computations. They have been used for defining a concurrent semantics of several formalisms, from Petri nets to linear graph rewriting systems, which in turn lay at the basis of many visual frameworks. Stability however is restrictive for dealing with formalisms where a computational step can merge parts of the state, like graph rewriting systems with non-linear rules, which are needed to cover some relevant applications (such as the graphical encoding of calculi with name passing). We characterise, as a natural generalisation of prime algebraic domains, a class of domains that is well-suited to model the semantics of formalisms with fusions. We then identify a corresponding class of event structures, that we call connected event structures, via a duality result formalised as an equivalence of categories.We show that connected event structures are exactly the class of event structures that arise as the semantics of nonlinear graph rewriting systems. Interestingly, the category of general unstable event structures coreflects into our category of domains, so that our result provides a characterisation of the partial orders of configurations of such event structures.

The program schedule can be found here or can be downloaded as PDF.

D-CON 2018 will be held in the Fraunhofer IGD, on the campus of the Technical University of Darmstadt in the city centre.

The sessions take place in the rooms 072 and 073, directly at the main entrance.

How to reach the venue

Parking is available in the car park of the Darmstadtium, just a few meters from the venue.

For the participants of D-CON 2018, we have reserved rooms in the Welcome Hotel, located about 300 m from the venue. These rooms can be booked individually until January 24, 2018, using the booking code which will be communicated by mail.

Of course, there is a large variety of further hotels available in Darmstadt which you might consider, e.g.:

• Maritim Hotel
  • In case of interest, contact us before booking on how to get the university guest rate.
  • Located directly at the main railway station and approx. 2 km from the venue, which can be reached by tram or with a 30 minutes walk.
• IntercityHotel
  
  • In case of interest, contact us before booking on how to get the university guest rate.
  • Located directly at the main railway station and approx. 2 km from the venue, which can be reached by tram or with a 30 minutes walk.
• Hotel Bockshaut
  • A historical hotel, located downtown, about 500 m from the venue and also close to the dinner locations.

For more budget options, you might also consider searching on Airbnb or Booking.com.

Darmstadt is located centrally in Germany, in direct proximity to Frankfurt a.M. and is easily approachable by air, rail and car. Detailed arrival information can be found on the website of the university.

• Malte Lochau
• Lars Luthmann
• Géza Kulcsár
• Stephan Mennicke (TU Braunschweig)

Gesellschaft für Informatik e.V. (GI), Fachgruppe Concurrency Theory