Beschreibung
Im Jahr 2014 findet das Treffen der deutschen Wissenschaftler im Bereich Nebenläufigkeitstheorie vom 6. bis 7. März im Kloster Drübeck statt. Ausgerichtet wird die Veranstaltung vom Institut für Programmierung und Reaktive Systeme der TU Braunschweig durch Ursula Goltz und Stephan Mennicke.
Programm
05.03.2014 |
---|
ab 19:00 Uhr | Dinner in der Tonmühle | |
06.03.2014 |
---|
bis 09:00 Uhr | Frühstück | |
| Raum 1 | Raum 2 |
09:00 Uhr | Begrüßung |
09:15 Uhr | Lazy TSO Reachability Georgel Calin |
09:45 Uhr | Kaffeepause | |
10:30 Uhr | Construction of the Lattices of Prime Event Structures Evgeny Erofeev | Deciding Robustness against Power Egor Derevenetc |
11:15 Uhr | Wachsende Kausalität und Asymmetrische Nebenläufigkeit David Karcher | Memory Model-aware Testing -- a Unified Complexity Analysis Florian Furbach |
12:00 Uhr | Mittagspause | |
14:00 Uhr | Invited Talk Pawel Sobocinski |
15:00 Uhr | Kaffeepause | |
15:45 Uhr | Failure Semantics for Modal Transition Systems Ferenc Bujtor | Abstraction refinement based on unsatisfiability cores and SMT solving Grigory Markin |
16:30 Uhr | Learning Transparent Data Automata Normann Decker | States in Process Calculi Christoph Wagner |
ab 18:15 Uhr | Abendessen | |
07.03.2014 |
---|
bis 09:00 Uhr | Frühstück | |
| Raum 1 | Raum 2 |
09:15 Uhr | A Framework for the Analysis of Well-structured Graph Transformation Systems Jan Stückrath |
10:00 Uhr | Kaffeepause | |
10:30 Uhr | On the Step Branching Time Closure of Free Choice Petri Nets Stephan Mennicke | Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions Henning Kerstan |
11:15 Uhr | Monitoring Modulo Theories Daniel Thoma | Computing Language Equivalence for Weighted Automata Coalgebraically Sebastian Küpper |
12:00 Uhr | Mittagspause | |
14:00 Uhr | Business-Meeting der GI-Fachgruppe "Concurrency Theory" |
15:00 Uhr | Verabschiedung / Kaffeepause / Abreise |