Accepted papers

• S. Akshay, Loic Helouet and Ramchndra Phawade.
  Combining Free Choice and Time in Petri Nets

• Etienne Andre and Benoit Delahaye.
  Consistency in Parametric Interval Probabilistic Timed Automata

• Zouhaier Brahmia, Fabio Grandi and Rafik Bouaziz.
  tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework

• Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco.
  On the Complexity of Fragments of Horn Modal Logics

• Massimo Cairo, Carlo Comin and Romeo Rizzi.
  Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

• Massimo Cairo and Romeo Rizzi.
  Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete

• Jan Chomicki and Jef Wijsen.
  Consistent Query Answering for Atemporal Constraints over Temporal Databases

• Curtis Dyreson and Venkata A. Rani.
  Translating Temporal SQL to Nested SQL

• Raphaël Fournier-S'niehotta, Philippe Rigaux and Nicolas Travers.
  Querying Music Notation

• Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer and Andrea Orlandini.
  Timelines are Expressive Enough to Capture Action-Based Temporal Planning

• Valentin Goranko and Louwe B. Kuijer.
  On the length and depth of temporal formulae distinguishing non-bisimilar transition systems

• Runa Gulliksson and John J. Camilleri.
  A Domain-Specific Language for Normative Texts with Timing Constraints

• Christian Herrera and Bernd Westphal.
  The Model Checking Problem in Networks with Quasi-Equal Clocks

• David Jakobsen and Peter Øhrstrøm.
  Conceptual and Metaphysical Origins and Relevance of Temporal Logic

• Daniel Kernberger and Martin Lange.
  Model Checking for the Full Hybrid Computation Tree Logic

• John McCabe-Dansted, Mark Reynolds and Tim French.
  Modelling Systems over General Linear Time

• Yong Li, Lei Song, Yuan Feng and Lijun Zhang.
  Verify LTL with Fairness Assumptions Efficiently

• Shota Matsumoto and Kazunori Ueda.
  Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

• Mahmoud A. A. Mousa, Sven Schewe and Dominik Wojtczak.
  Optimal Control for Simple Linear Hybrid System

• Raúl Pardo, Ivana Kellyérová César Sánchez and Gerardo Schneider.
  Specification of Evolving Privacy Policies for Online Social Networks

• Mattias Tiger and Fredrik Heintz.
  Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models