Young Researchers Conference

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)
Bookmark the permalink.