Time

Speaker

Title

9 - 9:35

Opening

9:35 - 10:10

Multi-Server Coded Caching

10:10 - 10:45

Break

10:45 - 11:20

Graph Partitions with Prescribed Patterns

11:20 - 11:55

Sound and Music Computing for Exercise and Rehabilitation

11:55 - 12:30

Formal Verification of Quantum Communication Protocols

12:30 - 14

Launch

14 - 14:35

All-or-Nothing Approach to Protect a Distance Bounding

Protocol against Terrorist Fraud Attack

for Low-Cost Devices

14:35 - 15:10

Gait Measurement Systems

15:10 - 15:45

Application of stochastic models in evaluating the performability of grid systems

15:45 - 16:20

Break

16:20 - 16:55

Relationship between Structure and Dynamics in Directed Complex Networks

16:55 - 17:30

From Verification to Specification Inference

17:30 - 18:05

Breaking Lander-Waterman’s Coverage Bound