General Information:
- Location: Bamberg
- Time: 03.03.2010 - 05.03.2010
Sessions:
- Nebenläufigkeit und Kausalität von Interaktion offener Systeme (Duisburg-Essen)
- Synchronous and Asynchronous Interaction in Distributed Systems (Braunschweig + Berlin)
- Parallelisation of Decision Procedures (Bamberg)
- Verifizierte Analysen für Nebenläufige Programme (Münster)
- Verifikation von Safety und Livenesseigenschaften verteilter Algorithmen (Berlin)
- From Parallelism of expression to concurrent executions of dataflow functional programs (Bamberg)
- Operational Partial Order Semantics for Relaxed Memory Consistency Models (Saarland + Braunschweig)
Invited Talks:
- Christian Lengauer, Universität Passau: Parallelisierung
- Toni Jussila, OneSpin München: Verification beyond Doubt
D-Con 2010 Protokoll