Workshop Program
| 08:50-09:00 | Opening and Welcome |
| Chair: Zoltan Ésik | |
| 09:00-10:00 | 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 |