Program
Monday 15 September
Informal meet up at 67 Kapitali around 20.30 for a drink and a chat.
Tuesday 16 September
| Time | Activity |
|---|---|
| 08.30-09.00 | welcome |
| 09.00-10.00 | Invited talk Mailbox Types: From Processes to Programming |
| 10:00-10:30 | break |
| 10.30-11.00 | Accepted paper The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation |
| 11.00-11.30 | Accepted paper Parallelizable Feynman-Kac models for universal probabilistic programming |
| 11.30-12.00 | Accepted paper The Complexity of Generalized HyperLTL with Stuttering and Contexts |
| 12:00-13:30 | break |
| 13.30-14.00 | Accepted paper Generalised Reachability Games Revisited |
| 14.00-14.30 | Accepted paper Sound Value Iteration for Simple Stochastic Games |
| 14.30-15.00 | Accepted paper How Concise are Chains of co-Büchi Automata? |
| 15.00-15.30 | Accepted paper Automaton-based Characterisation of First Order Logic over Infinite Trees |
| 16:00-20:00 | Beach Excursion (packed lunch will be provided) |
Wednesday 17 September
| Time | Activity |
|---|---|
| 09.00-10.00 | Invited talk Quantitative Algebraic Reasoning |
| 10:00-10:30 | break |
| 10.30-11.00 | Accepted paper Metric Equational Theories |
| 11.00-11.30 | Accepted paper The Complexity of Pure Strategy Relevant Equilibria in Concurrent Games |
| 11.30-12.00 | Accepted paper Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL) |
| 12.00-12.10 | closing |