Workshop Program

08:50-09:00 Opening and Welcome
  Chair: Zoltan Ésik

Thomas A. Henzinger: From Boolean to Quantitative System Specifications

10:00-10:30 Coffee break
  Chair: Thomas A. Henzinger
10:30-11:30 Manfred Droste: Weighted Automata and Quantitative Logics
11:30-12:30 Patricia Bouyer: On the Model-Checking of Timed and Weighted Temporal Logics
12:30-14:00 Lunch break
  Chair: Manfred Droste
14:00-15:00 Uli Fahrenberg, Kim G. Larsen, Claus Thrane: A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
15:00-16:00 George Rahonis: Weighted Extended Temporal Logic with Discounting
    20:00 Workshop dinner