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.
|