PROGRAM
Days: Tuesday, September 13th Wednesday, September 14th Thursday, September 15th Friday, September 16th
Tuesday, September 13th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: Invited lecture
Chair:
| 09:00 | Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (abstract) |
10:00-10:30 Coffee break
Coffee break
10:30-12:00 Session 2: Process algebra & semantics
Chair:
| 10:30 | On the Axiomatisation of Branching Bisimulation Congruence over CCS (abstract) |
| 11:00 | Non-Deterministic Abstract Machines (abstract) |
| 11:30 | Slimming Down Petri Boxes: Compact Petri Net Models of Control Flows (abstract) |
12:00-14:00 Lunch break
Lunch break
14:00-15:30 Session 3: Stochastic models
Chair:
| 14:00 | On the Sequential Probability Ratio Test in Hidden Markov Models (abstract) |
| 14:30 | Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications (abstract) PRESENTER: David Purser |
| 15:00 | Anytime Guarantees for Reachability in Uncountable Markov Decision Processes (abstract) |
15:30-16:00 Coffee break
Coffee break
16:00-18:00 Session 4: Timed systems
Chair:
| 16:00 | Checking timed Büchi automata emptiness using the local-time semantics (abstract) |
| 16:30 | Simulations for Event-Clock Automata (abstract) |
| 17:00 | History-deterministic Timed Automata (abstract) |
| 17:30 | Decidability of One-Clock Weighted Timed Games with Arbitrary Weights (abstract) PRESENTER: Julie Parreaux |
18:00-20:00 Reception
Reception
Wednesday, September 14th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 5: Invited lecture
Chair:
| 09:00 | Distributed Decision Problems: Concurrent Specifications beyond Binary Relations (abstract) |
10:00-10:30 Coffee break
Coffee break
10:30-12:00 Session 6: Vector addition systems
Chair:
| 10:30 | Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable (abstract) |
| 11:00 | Complexity of Coverability in Depth-Bounded Processes (abstract) |
| 11:30 | Determinization of One-Counter Nets (abstract) |
12:00-14:00 Lunch break
Lunch break
14:00-16:00 Session 7: Games I
Chair:
| 14:00 | Energy Games with Resource-Bounded Environments (abstract) |
| 14:30 | Half-Positional Objectives Recognized by Deterministic Büchi Automata (abstract) |
| 15:00 | Two-player Boudedness Counter Games (abstract) |
| 15:30 | Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions (abstract) |
16:00-19:00 Excursion
Excursion
19:00-22:00 Banquet
Banquet
Thursday, September 15th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 8: Invited lecture
Chair:
| 09:00 | Sequential Decision Making with Information Asymmetry (abstract) |
10:00-10:30 Coffee break
Coffee break
10:30-12:00 Session 9: Verification
Chair:
| 10:30 | Regular Model Checking Upside-Down: An Invariant-Based Approach (abstract) |
| 11:00 | On an Invariance Problem for Parameterized Concurrent Systems (abstract) PRESENTER: Lucas Bueri |
| 11:30 | Towards Concurrent Quantitative Separation Logic (abstract) PRESENTER: Ira Fesefeldt |
12:00-14:00 Lunch break
Lunch break
14:00-15:30 Session 10: Languages & logics
Chair:
| 14:00 | Completeness Theorems for Kleene Algebra with Top (abstract) |
| 14:30 | Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties (abstract) |
| 15:00 | Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages (abstract) |
15:30-16:00 Coffee break
Coffee break
16:00-17:30 Session 11: Test of Time award + Best paper award + Business meeting
Chairs:
| 16:00 | Approximate symbolic model checking of continuous-time Markov chains (CONCUR 1999) (abstract) |
| 16:15 | The Impressive Power of Stopwatches (CONCUR 2000) (abstract) |
| 16:30 | Deriving Bisimulation Congruences for Reactive Systems (CONCUR 2000) (abstract) |
| 16:45 | The Element of Surprise in Timed Games (CONCUR 2003) (abstract) |
Friday, September 16th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 12: Invited lecture
Chair:
| 09:00 | Reachability in Vector Addition Systems by Examples (abstract) |
10:00-10:30 Coffee break
Coffee break
10:30-12:00 Session 13: Concurrency
Chair:
| 10:30 | A Kleene Theorem for Higher-Dimensional Automata (abstract) |
| 11:00 | Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus (abstract) |
| 11:30 | Weak Progressive Forward Simulation is Necessary and Sufficient for Strong Observational Refinement (abstract) |
12:00-14:00 Lunch break
Lunch break
14:00-15:30 Session 14: Games II
Chair:
| 14:00 | Concurrent Games with Multiple Topologies (abstract) |
| 14:30 | Strategies for MDP Bisimilarity Equivalence and Inequivalence (abstract) |
| 15:00 | Pareto-Rational Verification (abstract) |
15:30-16:00 Coffee break
Coffee break
16:00-17:30 Session 15: Session types
Chair:
| 16:00 | Generalised Multiparty Session Types with Crash-Stop Failures (abstract) |
| 16:30 | An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus (abstract) |
| 17:00 | On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (abstract) |