| 8.00 | - | 9.00: | | Registration + Continental Breakfast |
|
|
| 9.00 | - | 10.00: | | Arnaud Gotlieb: Constraint-Based Reachability (invited talk) |
|
|
| 10.00 | - | 10.30: | | Lukasz Fronc: Effective Marking Equivalence Checking in Systems with Dynamic Process Creation (Regular paper) |
|
|
| 10.30 | - | 11.00: | | Coffee break |
|
|
| 11.00 | - | 12.00: | | Ganesh Gopalakrishnan: Formal Correctness Methods at the Million CPU Scale (Invited Talk) |
|
|
| 12.00 | - | 12.30: | | Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine and Alejandro Quintero: On Consistency of Operational Transformation Approach (Regular paper) |
|
|
| 12.30 | - | 14.00: | | Lunch |
|
|
| 14.00 | - | 15.00: | | Parosh Aziz Abdulla: Augmenting Petri Nets with Time and Weight (Invited Talk) |
|
|
| 15.00 | - | 15.30: | | Gilles Geeraerts, Alexander Heußner and Jean-Francois Raskin: Queue-Dispatch Asynchronous Systems (Presentation) |
|
|
| 15.30 | - | 16.00: | | Coffee break |
|
|
| 16.00 | - | 17.00: | | Peter Habermehl: On the complexity of automatic structures (Invited Talk) |
|
|
| 17.00 | - | 17.30: | | Anjelika Votintseva, Andreas Ulrich and Stefanie Goetzfried: Overcoming Overall Analysis Complexity via Integration (Presentation) |
|
|