| Call for Papers |
| Committees |
| Schedule and Topics |
| Accepted Papers |
| Registration |
| Venue |
| Travel Information |
| Accommodation |
| Contact |
| Previous TIMEs |
Schedule
The conference starts with a- Welcome reception on Tuesday evening, 19:30 in the Innovation Centre located at the De Montfort University (see map below).
Map
Timetable
| Tuesday, September 11 | |||
|---|---|---|---|
| 19:00 | Registration | ||
| 19:30 | Welcome Reception | ||
| Wednesday, September 12 | Thursday, September 13 | Friday, September 14 | |
| 09:30 | Spatio-Temporal Data Warehouses and Mobility Data: Current Status and Research Issue Esteban Zimányi, Université Libre de Bruxelles, Belgium |
Undecidability and Temporal Logic: From Turing to the
Present (first half)
Valentin Goranko, Technical University of Denmark, Denmark Invited Talk for Turing Centenary |
Reasoning about Plan Revision in Agent Programs Natasha Alechina, University of Nottingham, UK |
| 10:15 | Coffee break (drinks served) | ||
| 10:30 | Coffee break (drinks served) | Coffee break (drinks served) | |
| 10:45 |
Undecidability and Temporal Logic: From Turing to the
Present (second half)
Valentin Goranko Invited Talk for Turing Centenary |
||
| Session: Databases and Data Streams | Session: Temporal Constraints, Natural Language and Machine Learning | ||
| 11:00 | Temporal Implications of Database Information Accountability Kyriacos E. Pavlou and Richard T. Snodgrass | Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction Hubie Chen and Michał Wrona | |
| Session: Intervals and Interval Temporal Logics | |||
| 11:30 | Modeling and Clustering Users with Evolving Profiles in Usage Streams Chongsheng Zhang, Florent Masseglia and Xiangliang Zhang | An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals Angelo Montanari and Pietro Sala | A Review on Temporal Reasoning Using Support Vector Machines Renata C. B. Madeo, Clodoaldo A. M. Lima and Sarajane M. Peres |
| 12:00 | TVICS: An Efficient Traffic Video Information Converting System Hang Yue and Peter Z. Revesz | An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Case of All Linear Orders Willem Conradie, Salih Durhan and Guido Sciavicco | Merging Temporal Annotations Hector Llorens, Naushad UzZaman and James F. Allen |
| 12:30 | Lunch break (buffet) | ||
| Session: Timed Automata | Session: Point-Based Temporal Logics | ||
| 14:00 | Compositional Refinement for Real-Time Systems with Priorities Abdeldjalil Boudjadar, Jean-Paul Bodeveix and Mamoun Filali | Symmetric Temporal Theorem Proving Amir Niknafs-Kermani, Boris Konev and Michael Fisher | |
| 14:30 | Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL Omar Al-Bataineh, Tim French and Terry Woodings | A Tableau for the Combination of CTL and BCTL* John McCabe-Dansted | |
| 15:00 | Robustness Analysis for Scheduling Problems using the Inverse Method Laurent Fribourg, David Lesens, Pierre Moro and Romain Soulat | Efficient Regular Linear Temporal Logic Using Dualization and Stratification César Sánchez and Julian Samborski-Forlese | |
| 15:30 | Coffee break (drinks served) | Social Event Program | |
| Session: Metric Temporal Logics | |||
| 16:00 | A Metric Temporal Logic for Dealing with Zero-Time Transitions Luca Ferrucci, Dino Mandrioli, Angelo Morzenti and Matteo Rossi | ||
| 16:30 | Automata-based Verification of Linear Temporal Logic Models with Bounded Variability Carlo A. Furia and Paola Spoletini | ||
Invited Speakers
- Valentin Goranko, Technical University of Denmark, Denmark
Invited Talk for Turing Centenary - Undecidability and Temporal Logic: From Turing to the Present
- Natasha Alechina, University of Nottingham, UK
- Reasoning about Plan Revision in Agent Programs
- Esteban Zimanyi, Université Libre de Bruxelles, Belgium
- Spatio-Temporal Data Warehouses and Mobility Data: Current Status and Research Issues
Accepted papers
See list of accepted papers
Topics
The main topics of the conference are:- Temporal Representation and Reasoning in AI
- Temporal Database Management
- Temporal Logic and Verification in Computer Science
This year, TIME is planning a special track on Temporal Representation and Reasoning in Medicine.
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
- Interval temporal logics and duration calculi
- Temporal logics: expressiveness, decidability, and complexity
- Tools and practical systems
- Temporal issues in security
Special track on Temporal Representation and Reasoning in Medicine (Cancelled)
This year TIME is planning a special track on Temporal Representation and Reasoning in Medicine organized by Carlo Combi. Submissions for the special track will be primarily managed by him, though the final decision on acceptance will be taken by the whole PC.
Representing, maintaining, querying, and reasoning about time-oriented medical data are a major theoretical and practical research area. Temporal representation and reasoning deals with storage and retrieval of data that have heterogeneous temporal dimensions, with the support of various inference tasks involving time-oriented data, such as planning and diagnosing, and with the formal specification of temporal systems.
Temporal representation and reasoning in medicine holds a long history and received an increasing interest over the last 30 years: indeed, it is important to medical decision making (e.g., in clinical diagnosis and therapy planning) and in medical data modeling and managing (e.g., for representation of the patient's medical record).
High quality contributions for the special track are welcome in, but are not limited to, any of the following sub-areas of research:
- Temporal reasoning and time-oriented diagnosis or therapy-planning in medicine
- Temporal constraint representation and management in medical databases
- Querying and maintaining time-oriented medical databases
- Modeling and querying time-oriented medical data
- Acquisition, maintenance, sharing, and reuse of temporal medical knowledge
- Handling multiple and heterogeneous time-oriented clinical databases
- Design and implementation of time-oriented medical information systems
- Summarization of time-oriented medical data
- Temporal data mining in medicine
- Visualization of temporal clinical data and knowledge
- Temporal knowledge and medical ontologies
- Clinical guidelines, workflows and temporal information
- Managing multimedia temporal data