Program
Global Schedule
| Mo Sep 5 |
Tue Sep 6 |
Wed Sep 7 |
Thu Sep 8 |
Fr Sep 9 |
Sa Sep 10 |
| QEST Tutorials | QEST | QEST | QEST | TGC | TGC |
| CONCUR | CONCUR | CONCUR | CONCUR | GASICS | |
| EXPRESS | COMPMOD |
||||
| SOS | LAM | ||||
| MLQA | FOCLASA | ||||
| SECCO | YR-CONCUR | ||||
| Reception | Excursion & Banquet |
Monday, September 5: QEST Tutorials, EXPRESS/SOS, MLQA/SECCO
MLQA Super C, 531 & 532 |
SECCO Super C, 430 |
||
| 09:30 – 09:45 Opening | 09:20 – 09:30 Opening | ||
| 09:45 – 10:30 | 09:30 – 10:30 | ||
| Session M1 | Session SE1: Invited Talk | ||
| Jean-Yves Le Boudec ODEs and Discrete Simulation |
Carroll Morgan Shadow- and Hyperdistribution Semantics for Noninterference and Refinement |
||
| 10:30 – 11:00 Coffee Break | |||
| 11:00 – 12:30 | |||
| Session M2 | Session SE2 | ||
|
Vincent Cheval, Stephanie Delaune and Hubert Comon-Lundh A Decision Procedure for Trace Equivalence |
||
| Alessandro Armando and Silvio Ranise Automated Analysis of Infinite State Workflows with Access Control Policies |
|||
| Chenyi Zhang Unwinding Theorems for Conditional Information Flow Policies |
|||
| 12:30 – 14:00 | 12:30 – 14:30 | ||
| Lunch Break | |||
| 14:00 – 15:30 | 14:30 – 15:30 | ||
| Session M3: Invited Talk | Session SE3 | ||
| Verena Wolf Stochastic Hybrid Analysis of Markov Population Models |
|
||
| Session M4 | |||
| Josée Desharnais Approximation of Continuous Space Systems and Associated Metrics and Logics |
|||
| 15:30 – 16:00 Coffee Break | |||
| 16:00 – 17:00 | |||
| Session M5 | Session SE4: Invited Talk | ||
| MLQA Business Meeting |
Catuscia Palamidessi Quantitative Information Flow and Applications to Differential Privacy in a Distributed Perspective |
||
| 17:00 – 18:00 | 17:00 – 17:10 Closing |
||
| Session M6 | |||
| Thematic Small Working Group: Hidden Markov Chains and the Languages/Logics Convened by Flemming Nielson |
|||
