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
Committees
Important Dates
Submission
Invited Speakers
Programme
- Monday
- Tuesday
- Wednesday
Registration
Accommodation

Venue

Background of TIME

Wonderful Copenhagen

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.

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