!! The schedule is now online !!

In 2017,  the annual D-CON meeting of German scientists working in the area of Concurrency Theory will take place on the 9th and 10th of March at Paderborn University. The meeting is organized by the Department of Computer Science, Specification and Modelling of Software Systems, Prof. Dr. Heike Wehrheim.

Prof. Dr. Roland Meyer, TU Braunschweig - Pointer Race Freedom:
We propose a novel notion of pointer race for concurrent programs manipulating a shared heap. A pointer race is an access to a memory address which was freed, and it is out of the accessor's control whether or not the cell has been re-allocated. We establish two results.
(1) Under the assumption of pointer race freedom, it is sound to verify a program running under explicit memory management as if it was running with garbage collection.
(2) Even the requirement of pointer race freedom itself can be verified under the garbage-collected semantics. We then prove analogues of the theorems for a stronger notion of pointer race needed to cope with performance-critical code purposely using racy comparisons and even racy dereferences of pointers. As a practical contribution, we apply our results to optimize a thread-modular analysis under explicit memory management. Our experiments confirm a speed-up of up to two orders of magnitude.

Prof. Dr. Anne Remke, Universität Münster - Critical Infrastructures:

Critical infrastructures  are (remotely) controlled by ICT networks and subject to cyber and physical failures that pose a serious threat to their dependability and survivability. It is important to be able to quantify the impact of failures on the physical process and to be able to analyse how quickly such systems recover to acceptable levels of service after the occurrence of failures, e.g., leakages or component breakdowns.
The so-called survivability expresses how quickly systems recover to acceptable levels of service, using so-called Given the Occurrence Of Disaster (GOOD) models. We use Stochastic timed  logic (STL) to rigorously define the notion of survivability and evaluate STL formulas using model checking techniques e.g. on Hybrid Petri nets.
This modeling formalism of Hybrid Petri nets incorporates continuous and discrete elements as well as stochastic variables to describe the occurrence of random events, and their fluid dynamics. New efficient techniques are needed to evaluate the evolution of the system over time. Both, symbolic and numeric techniques are currently investigated in order to tackle systems with a large number of stochastic events.

• D-CON: March 9 – 10, 2017
• Informal Dinner at 19:00 on March 8, 2017 at:
  Phoenix
  Libori Galerie,Kamp 30-32,
  33098 Paderborn
• Dinner at 19:00 on March 9, 2017 at:
  KÖ13
  Neuer Platz 7
  33098 Paderborn
• A map showing both locations can be found below

The conference will be held on Campus of Paderborn University:

Paderborn University
Building O, Hörsaal O2, Room O1.258 und O1.252
Pohlweg 51
33098 Paderborn

Paderborn is located in the heart of Germany and can be reached easily by air, car and rail.
You will find all arrival information on the city's website.

Here you can find a map showing the university and the two dinner locations.

Be advised to book your hotel as soon as possible.

To reserve the hotel of your choice, please contact the hotel directly.

Boardinghouse Campus Lounge(ger)

***:

Mersinweg 2
33100 Paderborn
Phone: +49 (0) 5251 89207700
E-Mail: manager@campuslounge.de

Booking(en)

Distance to venue: approx. 0,3 km

B&B Hotel Paderborn

***:

Bahnhofstraße 31, 33102 Paderborn
Phone:  +49 (0) 5251 69300

Distance to venue: approx. 3.2 km
(Located next to the main train station, Hauptbahnhof Paderborn, convenient bus connection to the University)

Best Western Premier Arosa Hotel

****:

Westernmauer 38
33098 Paderborn
Phone:  +49 (0) 5251 128-0
Fax: +49 (0) 5251 128-806
E-Mail: info@arosa.bestwestern.de

Distance to venue: approx. 2,4 km

Ibis Hotel Paderborn City

**:

Paderwall 1-5
33102 Paderborn
Phone:  +49 (0) 5251 124-5
Fax: +49 (0) 5251 124-888
E-Mail: H0718@accor.com

Distance to venue: approx. 2.5 km


Welcome Hotel Paderborn ****:

Fürstenweg 13
33102 Paderborn
Phone:  +49 (0) 5251 2880-0
Fax: +49 (0) 5251 2880-100
E-Mail: info.pad@welcome-hotels.com

Distance to venue: approx. 3,1 km

A selection of hotels can be found here.