INFINITY '12 -- General Schedule


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)