This day was a combination of:
The third DAESD associated team workshop
The first Shanghai LIAMA Open Day
The Opening Ceremony of LIAMA Shanghai Center
Presentations:
- Jifeng He: “A Clock-based Framework for Modelling Hybrid Systems”
- Yuxi Fu: “Checking Equality and Regularity for Normed BPA with Silent moves”
- Huibiao Zhu: “Linking Operationnal Semantics and Algebraic Semantics for a Probalistic Timed Shared-variable Language“
- Jianwen Li: “On the Relationship between LTL Normal Forms and Buchi Automata“
- Eric Madelaine: “Designing, Programming, Verifying Distributed Systems”
- Robert de Simone: “A Compositional Semantics for a Clock Constraint Specification Language in Terms of Bucchi Automata“
- Ludovic Henrio: “Verification of CCSL specifications“