Wed, September, 25

17:30 Welcoming Reception

Day 1 (Thu, September 26th)

9:00--10:00 Invited talk

James Allen : Rethinking Logics of Action and Time

10:00-10:30 Coffee Break

10:30-12:00 Session 1: Temporal constraint networks

10:30-11:00 Jean-François Condotta and Souhila Kaci. Minimal Consistency Problem of Temporal Qualitative Constraint Networks

11:00-11:30 Romeo Rizzi and Roberto Posenato. Optimal Design of Consistent Simple Temporal Networks

11:30-12:00 Luke Hunsberger.A Faster Execution Algorithm for Dynamically Controllable Simple Temporal Networks with Uncertainty

12:00-14:30 Lunch Break

14:00-15:30 Session 2: Temporal Planning and Deduction Systems

14:00-14:30 Martin Cooper, Frédéric Maris and Pierre Régnier. Relaxation of Temporal Planning Problems

14:30:15:00 Carlos Caleiro, Luca Viganò and Marco Volpe. A Labeled Deduction System for the Logic UB

15:00-15:30 Viktor Schuppan. Extracting Unsatisfiable Cores for LTL via Temporal Resolution

15:30-16:00 coffee break

16:00-17:00 Panel: TIME 20 years later

17:00- Social Event

17:00 Board Trolley for Tour and Dinner at Pensacola Beach

17:30 Tour Ft. Pickens with Tour Guide

19:00 Dinner at the Grand Marlin

Day 2 (Fri, September 27th)

9:00-10:00 Invited talk

Ouri Wolfson: Spatio-temporal Competition for Transportation Resources

10:00-10:30 coffee break

10:30-12:00 Session 3: Temporal logics

10:30-11:00. Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari and Guido Sciavicco. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders

11:00-11:30 Mark Reynolds. A New Metric Temporal Logic for Hybrid Systems

11:30-12:00 Tim French, John Mccabe-Dansted and Mark Reynolds. An algebraic system for linear orders

12:00-13:30 Lunch break

13:30-15:00 Session 4: Satisfiability and model checking

13:30-14:00 Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Vardi and Jifeng He. LTL Satisfiability Checking Revisited

14:00-14:30 Marcello M. Bersani, Matteo Rossi and Pierluigi San Pietro. A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic

14:30-15:00 John Mccabe-Dansted, Mark Reynolds and Tim French. Model Checking for Compositional Models of General Linear Time is PSPACE-Complete

15:00-15:30 coffee break

15:30-17:00 Sharon Heis: Current Research at IHMC

Visit to the IHMC Robotics Lab

17:00-18:00 Business Meeting

Day 3 (Sat, September 28th)

9:00-10:00 Invited talk

Aaron Bradley: Incremental, Inductive Model Checking

10:00-10:30 coffee break

10:30-12:00 Session 5: Transition systems and Spatio-temporal Databases

10:30-11:00 Kais Klai, Naïm Aber and Laure Petrucci. A New Approach To Abstract Reachability State Space of Time Petri Nets

11:00-11:30 Elie Fares, Jean-Paul Bodeveix and Mamoun Filali-Amine. Event Algebra for Transition Systems Composition - Application to Timed Automata

11:30-12:00 Piero Campalani, Dimitar Misev, Alan Beccati and Peter Baumann. Making Time Just Another Axis in Geospatial Services

12:00-12:15 closing session