9:00 – 10:00 |
|
|
Coffee Break |
10:20 – 11:20 |
- Vitaly Perevoshchikov : Decomposition of Weighted Timed Automata
- Parvaneh Babari : A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logics
- Mohamed Abdelaal : Fuzzy Compression Refinement via Curvature Tracking
- Saifullah Khan : Traffic Data Dissemination in Realistic Urban VANETs Environment
- Andreas Tönnis : Packing Secretaries
|
|
Coffee Break |
11:40 – 12:40 |
- Georgel Calin : Lazy TSO Reachability
- Veronika Loitzenbauer : A Hierarchical Sparsification Technique for Faster Algorithms in Graphs and Game Graphs
- Christina Jansen : Generating Abstract Graph-Based Procedure Summaries for Pointer Programs
- Ayrat Khalimov : Tight Fair Cutoffs for Conjunctive Guard Systems
- Thomas Stroeder : Transformational Termination Analysis of Programs with Pointer Arithmetic
|
|
Lunch Break
|
14:00 – 15:00 |
|
|
Coffee Break |
15:20 – 16:20 |
- Christian Dehnert : Fast Debugging of PRISM Models
- Johannes Hölzl : Probability Theory and Markov Processes in Isabelle/HOL
- René Neumann : A verified LTL model checker
- Manuel Gieseking : Trace Refinement of pi-Calculus Processes
- Stefan Schulze Frielinghaus : Inter-procedural Two-Variable Herbrand Equalities are in PTIME
|
|
Coffee Break |
16:40 – 17:40 |
- Markus Teichmann : Regular Context-Free Tree Grammars
- Doreen Heusel : Weighted Unranked Tree Automata over Tree Valuation Monoids
- Nils Erik Flick : Derivation Languages of Graph Grammars and Correctness
- Thomas Weidner : Probabilistic Logic and Regular Expressions on Finite Trees
- Félix Baschenis : From sweeping transducers to one way transducers
|
19:30 |
Conference dinner at Tivoli Football Stadium (VIP Lounge) |