Program
All talks will take place in room BA024 of the Bahen Centre (directions).
| 8:20-8:45 | Breakfast | |
| 8:45-8:50 | Opening | |
| 8:50-9:20 | Approximate Behavioral Equivalences: A Historical Perspective | |
| Franck van Breugel and Scott Smolka | ||
| 9:20-9:50 | On the Use of Approximate Equivalences in Model-Based Development | |
| Shiva Nejati | ||
| 9:50-10:20 | Break | |
| 10:20-11:05 | Approximating Labelled Markov Processes | |
| Prakash Panangaden | ||
| 11:05-11:50 | Approximating Stochastic Biochemical Processes (slides) | |
| David Thorsley | ||
| 11:50-12:30 | Game Refinement Relations and Metrics | |
| Vishwanath Raman | ||
| 12:30-14:20 | Lunch | |
| 14:20-15:05 | Approximate Bisimilarity between Quantum Processes | |
| Mingsheng Ying | ||
| 15:05-15:50 | Behavioural Equivalences: Abstraction, Approximation and Estimation | |
| Herbert Wiklicky | ||
| 16:00-16:30 | Break | |
| 16:30-17:00 | Symbolic Methods for Equivalence Computation in Partition Refinement Algorithms | |
| Salem Derisavi | ||
| 17:00-17:05 | Closing | |
| 17:30-19:30 | CONCUR reception |
