The conference starts with a
  • welcome reception on Sunday evening, 7.30pm at Dat Hoghehus.


Sunday, September 11
19.30Welcome Reception
Monday, September 12 Tuesday, September 13 Wednesday, September 14
09:30 Towards a Foundation of Data Currency Jef Wijsen p-Automata and Obligation Games Nir Piterman Temporal Preferences Kristen Brent Venable
10:30 Coffee break (drinks served)
11:00 Efficient Encoding of Temporal XML documents Mohamed-Amine Baazizi, Nicole Bidoit-Tollu and Dario Colazzo A Tableau for Until and Since over Linear Time Mark Reynolds Logical time and temporal logics: comparing UML MARTE/CCSL and PSL Regis Gascon, Frédéric Mallet and Julien Deantoni
11:30 Temporal Functional Dependencies based on Interval Relations Carlo Combi and Pietro Sala An Experimental Comparison of Theorem Provers for CTL Rajeev Gore, Jimmy Thomson and Florian Widmann Interleaved Programs and Rely-Guarantee Reasoning with ITL Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst and Wolfgang Reif
12:00 Verification of Time Ontologies with Points and Intervals Michael Gruninger and Darren Ong On Relaxing Metric Information in Linear Temporal Logic Carlo Alberto Furia and Paola Spoletini On Tool Support for Duration Calculus on the basis of Presburger Arithmetic Michael R. Hansen and Aske Wiid Brekling
12:30 Lunch break (buffet)
14:00 Compositional Reasoning using Intervals and Time Reversal Ben Moszkowski Extending ITL with Interleaved Programs for Interactive Verification Gerhard Schellhorn Synthesising Classic and Interval Temporal Logic Sven Schewe and Cong Tian
14:30 The light side of Interval Temporal Logic: the Bernays-Schoenfinkel's fragment Of CDT Davide Bresolin, Dario Della Monica, Angelo Montanari and Guido Sciavicco Temporal access to the iteration sequences. A unifying approach to fixed point logics. Alexei Lisitsa
15:00 The dark side of Interval Temporal Logic: sharpening the undecidability border Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco Linear Temporal Logic and Propositional Schemata, Back and Forth Vincent Aravantinos, Ricardo Caferra and Nicolas Peltier
15:30 Coffee break (drinks served) Social Event Program Monitoring Usage-control Policies in Distributed Systems David Basin, Matúš Harvan, Felix Klaedtke and Eugen Zalinescu
16:00 Algorithm Design Template base on Temporal ADT Nikolay Shilov
16:30 MulTiSEX - A Multilanguage Timex Sequential Extractor Stefan Rigo and Alberto Lavelli
17:00 Consistency of qualitative constraint networks from tree decomposition Jean-François Condotta and Dominique Dalmeida

Invited Speakers

  • Nir Piterman (University of Leicester, UK)
    • p-Automata and Obligation Games
  • Gerhard Schellhorn (Universität Augsburg, Germany)
    • Extending ITL with Interleaved Programs for Interactive Verification
  • Kristen Brent Venable (Università di Padova, Italy)
    • Temporal Preferences
  • Jef Wijsen (Université de Mons, Belgium):
    • Towards a Foundation of Data Currency

Accepted Papers

See list of accepted papers.


The main topics of the conference are:

  1. Temporal Representation and Reasoning in AI
  2. Temporal Database Management
  3. Temporal Logic and Verification in Computer Science
  4. Special Track on Interval Temporal logics

Temporal Representation and Reasoning in AI includes, but is not limited to:

  • temporal aspects of agent- and policy-based systems
  • spatial and temporal reasoning
  • reasoning about actions and change
  • planning and planning languages
  • ontologies of time and space-time
  • belief and uncertainty in temporal knowledge
  • temporal learning and discovery
  • time in problem solving (e.g. diagnosis, scheduling)
  • time in human-machine interaction
  • temporal information extraction
  • time in natural language processing
  • spatio-temporal knowledge representation systems
  • spatio-temporal ontologies for the semantic web

Temporal Database Management includes, but is not limited to:

  • temporal data models and query languages
  • temporal query processing and indexing
  • temporal data mining
  • time series data management
  • stream data management
  • spatio-temporal data management, including moving objects
  • data currency and expiration
  • indeterminate and imprecise temporal data
  • temporal constraints
  • temporal aspects of workflow and ECA systems
  • real-time databases
  • time-dependent security policies
  • privacy in temporal and spatio-temporal data
  • temporal aspects of multimedia databases
  • temporal aspects of e-services and web applications
  • temporal aspects of distributed systems
  • novel applications of temporal database management
  • experiences with real applications

Temporal Logic and Verification in Computer Science includes, but is not limited to:

  • specification and verification of systems
  • verification of web applications
  • synthesis and execution
  • model checking algorithms
  • verification of infinite-state systems
  • reasoning about transition systems
  • temporal architectures
  • temporal logics for distributed systems
  • temporal logics of knowledge
  • hybrid systems and real-time logics
  • tools and practical systems
  • temporal issues in security

Special track on Interval Temporal logic

This year, TIME has an additional special track on Interval Temporal Logics. This track is organized by Dimitar Guelev and Ben Moszkowski. Submissions on ITL will be primarily managed by them, though the final decision on acceptance will be taken by the whole PC. Topics of interest include, but are not limited to:

  • expressiveness, decidability, proof systems, model- and validity-checking for ITLs
  • modelling of system requirements in terms of time intervals
  • intervals versus time points in temporal modelling
  • Duration Calculus and other extensions and variants of ITLs
  • ITLs, DC, timed automata, timed regular languages and other models of real time
  • interval algebras and spatio-temporal reasoning
  • case studies, applications and tool support for interval-based reasoning