TIME 2010
17th International Symposium on

Temporal Representation and Reasoning (TIME'10)

Colocated with CONCUR 2010

Paris (France)
6-8 September 2010



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

Track 2: Temporal Database Management

Track 3: Temporal Logic and Verification in Computer Science

Invited speakers

Important dates

Submissions: Abstract: 9 April 2010   19 April 2010
Paper: 12 April 2010   19 April 2010
Notification: 20 May 2010
Final version due:4 June 2010   11 June 2010
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



Page maintained by Nicolas Markey.
Last modified: 31 May 2010.