ANR 12IS02001
PACE meeting, november 10th and 11th, 2016, Shanghai
*
The meeting will take place at the hotel where the european
participants stay, Hengshan Picardie.
Thursday, november 10th
- 13h00-13h15 Yuxi Fu, Daniel Hirschkoff, Welcome speech
- 13h15-14h00 Yuxin Deng, Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
- 14h00-14h45 Ugo Dal Lago, Context Equivalences and Metrics in Probabilistic Lambda-Calculi
- 14h45-15h15 Valeria Vignudelli, Up-to Techniques for Generalized Bisimulation Metrics
- 15h15-15h45 Tea Break
- 15h45-16h30 Chaodong He, The Complexity of Bisimilarity Checking for BPA
- 16h30-17h00 Qiang Yin, Two Lower Bounds for BPA
- 17h00-17h15 Tea Break
- 17h15-18h00
Paul Brunet,
The Equational Theory of Positive Relation Algebra
- 18h30-21h00 Dinner
Friday, november 11th
- 9h00-9h45 Yuxi Fu, Decidability Issues of PDA’s
- 9h45-10h30 Jean-Marie Madiot, Top-to-Bottom Verification of Well Synchronized C Programs on Weakly Consistent Machines
- 10h30-11h00 Tea Break
- 11h00-12h00 Pierre-Louis Curien, Cyclic Operads, Unrooted Trees, and Coherence
- 12h00-13h30 Lunch
- 13h30-14h45 Davide Sangiorgi, Adrien Durier, Bisimulations and unique solutions
- 14h45-15h00 Tea Break
- 15h00-15h45 Ying Jiang, Complementation: A Bridge between Finite and Infinite Proofs
- 15h45-16h30 Xiaojuan Cai, Well-Structured Pushdown Systems
- 16h30-16h45 Tea Break
- 16h45-17h15 Mingzhang Huang, Some Complexity Results about Vector Addition System
- 17h15-18h00 Frank Valencia, Of Knowledge, Beliefs, Lies and other Utterances