TIME 2016

23rd International Symposium on Temporal Representation and Reasoning

October 17-19, 2016, Technical University of Denmark

TIME 2016 Home
Accepted Papers
Call for papers
Important Dates
Invited Speakers
- Monday
- Tuesday
- Wednesday


Background of TIME

Wonderful Copenhagen


All sessions take place in:

Building 101A, Meeting Room 1
Technical University of Denmark (DTU)
Anker Engelundsvej 1, 2800 Kgs. Lyngby

Building 101 is the main building at DTU, and Meeting Room 1 is upstairs, next to Faculty Club. See monitors at entrance 101A.

Monday, October 17, 2016

9:00 - 9:30 Registration and opening

Hybrid Systems
Session Chair - Michael R. Hansen
9:30 - 10:00 Shota Matsumoto and Kazunori Ueda
Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic
10:00 - 10:30 Mahmoud A. A. Mousa, Sven Schewe and Dominik Wojtczak
Optimal Control for Simple Linear Hybrid System

Coffee Break

Invited Presentation
Chair - Michael R. Hansen
11:00 - 12:00 Kim Guldstrand Larsen
Automatic Verification, Performance Analysis, Synthesis and Optimization of Timed Systems

Lunch in the Glass Hall in the main canteen

Specification and Verification I
Session Chair - Benoît Delahaye
13:00 - 13:30 Christian Herrera and Bernd Westphal
The Model Checking Problem in Networks with Quasi-Equal Clocks
13:30 - 14:00 Daniel Kernberger and Martin Lange
Model Checking for the Full Hybrid Computation Tree Logic
14:00 - 14:30 Yong Li, Lei Song, Yuan Feng and Lijun Zhang
Verify LTL with Fairness Assumptions Efficiently

Coffee Break

Domain Specific Approaches
Session Chair - Jef Wijsen
15:00 - 15:30 Raphaël Fournier-S'niehotta, Philippe Rigaux and Nicolas Travers
Querying Music Notation
15:30 - 16:00 Runa Gulliksson and John J. Camilleri
A Domain-Specific Language for Normative Texts with Timing Constraints
16:00 - 16:30 Raúl Pardo, Ivana Kellyérová, César Sánchez and Gerardo Schneider
Specification of Evolving Privacy Policies for Online Social Networks

Social event at DTU Brewery from 17 - 18. Arranged by DTU Food, Building 222.

Tuesday, October 18, 2016

Temporal Planning
Session Chair - Mark Reynolds
9:00 - 9:30 Massimo Cairo, Carlo Comin and Romeo Rizzi
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks
9:30 - 10:00 Massimo Cairo and Romeo Rizzi
Dynamic Controllability of Conditional Simple Temporal Networks is PSPACE-complete
10:00 - 10:30 Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer and Andrea Orlandini
Timelines are Expressive Enough to Capture Action-Based Temporal Planning

Coffee Break

Invited Presentation
Chair - Fabio Grandi
11:00 - 12:00 Angelo Montanari
Interval temporal logics model checking

Lunch in the Glass Hall in the main canteen

Specification and Verification II
Session Chair - Kim Guldstrand Larsen
13:00 - 13:30 Etienne Andre and Benoit Delahaye
Consistency in Parametric Interval Probabilistic Timed Automata
13:30 - 14:00 S. Akshay, Loic Helouet and Ramchndra Phawade
Combining Free Choice and Time in Petri Nets
14:00 - 14:30 John McCabe-Dansted, Mark Reynolds and Tim French
Modelling Systems over General Linear Time

Excursion and Dinner from 14:45 - 20:30.
A bus leaves 14.45 from DTU's main entrance (Building 101) for a guided walk in the city center of Copenhagen. The walk ends at CAP HORN, Nyhavn 21, 1051 København K, where the dinner starts at 17:30.

Wednesday, October 19, 2016

Temporal Databases
Session Chair - Paolo Terenziani
9:00 - 9:30 Zouhaier Brahmia, Fabio Grandi and Rafik Bouaziz
tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework
9:30 - 10:00 Jan Chomicki and Jef Wijsen
Consistent Query Answering for Atemporal Constraints over Temporal Databases
10:00 - 10:30 Curtis Dyreson and Venkata A. Rani
Translating Temporal SQL to Nested SQL

Coffee Break

Invited Presentation
Chair - Curtis Dyreson
11:00 - 12:00 Paolo Terenziani
The Impact of the Telic\Atelic Dichotomy on Temporal Databases

Lunch in the Glass Hall in the main canteen

Session Chair - Angelo Montanari
13:00 - 13:30 David Jakobsen and Peter Øhrstrøm
Conceptual and Metaphysical Origins and Relevance of Temporal Logic
13:30 - 14:00: Valentin Goranko and Louwe B. Kuijer
On the length and depth of temporal formulae distinguishing non-bisimilar transition systems
14:00 - 14:30 Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco
On the Complexity of Fragments of Horn Modal Logics
14:30 - 15:00 Mattias Tiger and Fredrik Heintz
Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models

                    time2016.compute.dtu.dk | email: time2016(at)compute.dtu.dk | © DTU Compute, 2016