!! The schedule is now online !!
D-CON 2017 in Paderborn
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:
Libori Galerie,Kamp 30-32,
- Dinner at 19:00 on March 9, 2017 at:
Neuer Platz 7
- A map showing both locations can be found below
The conference will be held on Campus of Paderborn University:
Building O, Hörsaal O2, Room O1.258 und O1.252
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.
Directions/ Campus Map
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)
Phone: +49 (0) 5251 89207700
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
Phone: +49 (0) 5251 128-0
Fax: +49 (0) 5251 128-806
Distance to venue: approx. 2,4 km
Ibis Hotel Paderborn City**:
Phone: +49 (0) 5251 124-5
Fax: +49 (0) 5251 124-888
Distance to venue: approx. 2.5 km
Welcome Hotel Paderborn ****:
Phone: +49 (0) 5251 2880-0
Fax: +49 (0) 5251 2880-100
Distance to venue: approx. 3,1 km
A selection of hotels can be found here.