|
17th International Symposium on
Temporal Representation and Reasoning (TIME'10) |
|
Colocated with CONCUR 2010
Paris (France)
|
Presentation of the Symposium
TIME'10 aims to bring together researchers from distinct research areas involving the management of temporal data as well as the reasoning about temporal aspects of information.
This unique and well-established event (see http://time.dico.unimi.it/) has as its objectives to bridge theoretical and applied research, as well as to serve as an interdisciplinary forum for exchange among researchers from the areas of artificial intelligence, database management, logic and verification, and beyond.
TIME'10 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations and keynote talks.
Topics
TIME'10 encompasses three tracks, including the following (non-exhaustive) list of topics:
Track 1: Temporal Representation and Reasoning in AI
- 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
Track 2: Temporal Database Management
- 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
Track 3: Temporal Logic and Verification in Computer Science
- 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
Invited speakers
- Track 1: Ian Hodkinson, Imperial College London.
Interval Temporal Logics with Chop-like Operators
- Track 2: Bart Kuijpers, Hasselt University.
Dealing with uncertainty in trajectory databases
- Track 3: Martin Leucker,
Technical University Munich.
Regular Linear-time Temporal Logic
Important dates
| Submissions: | Abstract: | |
| Paper: | ||
| Notification: | 20 May 2010 | |
| Final version due: | ||
| TIME'10 Symposium: | 6-8 September 2010 | |
Submissions
Submissions of high quality papers describing research results or on-going work are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere.
Submitted papers will be refereed by at least three reviewers for quality, correctness, originality, and relevance. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by the Conference Publishing Services (CPS). Acceptance of a paper is contingent on one author presenting the paper at the symposium.
Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the IEEE guidelines described there. Example style files are available there. Submissions must not exceed 8 pages; over-length submissions may be rejected without review.
Papers should be submitted electronically via the EasyChair system.
Committees
- General Chair:
- Ian Pratt-Hartmann, University of Manchester, UK
- Program Committee Co-Chairs:
- Nicolas Markey, CNRS & ENS Cachan, France
- Jef Wijsen, University of Mons, Belgium
- Organization Chair:
- Nicolas Markey, CNRS & ENS Cachan, France
- Programme Committee:
- Alessandro Artale, Free University of Bozen-Bolzano, Italy
- Howard Barringer, University of Manchester, UK
- Béatrice Bérard, University Paris 6 - Pierre & Marie Curie, France
- Claudio Bettini, University of Milan, Italy
- Davide Bresolin, University of Verona, Italy
- Thomas Brihaye, University of Mons, Belgium
- Jan Chomicki, University at Buffalo, NY, USA
- Stéphane Demri, CNRS & ENS Cachan, France
- Clare Dixon, University of Liverpool, UK
- Michael Fisher, University of Liverpool, UK
- Nissim Francez, The Technion, Israel
- Roman Kontchakov, Birkbeck College, UK
- Savas Konur, University of Liverpool, UK
- Martin Lange, University of Munich, Germany
- Ranko Lazic, University of Warwick, UK
- Inderjeet Mani, Brandeis University, MA, USA
- Angelo Montanari, University of Udine, Italy
- Bernhard Nebel, University of Freiburg, Germany
- Hans-Jürgen Ohlbach, University of Munich, Germany
- Paritosh K. Pandya, Tata Institute of Fundamental Research, India
- James Pustejovsky, Brandeis University, MA, USA
- Jean-François Raskin, Free University of Brussels, Belgium
- Peter Revesz, University of Nebraska-Lincoln, NE, USA
- Mark Reynolds, University of Western Australia, Australia
- David Toman, University of Waterloo, Canada
- X. Sean Wang, University of Vermont & NSF, USA
- Michael Winter, Brock University, Canada
- Michael Zakharyaschev, Birkbeck College, UK
- Carlo Zaniolo, University of California, Los Angeles, CA, USA
- Organizing Committee:
- Romain Brenguier, ENS Cachan, France
- Stéphane Demri, CNRS & ENS Cachan, France
- Virginie Guénard, CNRS & ENS Cachan, France
- François Laroussinie, University Paris 7 - Diderot, France
Page maintained by Nicolas Markey.
Last modified: 31 May 2010.