D-CON 2018

D-CON 2018

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.

Dates

  • Workshop: March 1-2, 2018

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

  • Dinner: March 1, 2018, 19:00

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

 

Invited Speakers

  • 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.

Program

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

Venue

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.



Accommodation

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.

Traveling to Darmstadt

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.

Organizers

Sponsored by

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