12 - 14 September, Lübeck, Germany

18th International Symposium on Temporal Representation and Reasoning

TIME 11 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.

Important Dates

Abstract submission: 13 April 2011 23 April 2011
Paper submission: 17 April 2011 23 April 2011
Paper Notification: 15 May 2011 23 May 2011
Final version due: 29 May 2011 12 June 2011
Early Registration: until 12 June 2011 17 June 2011
Registration: 18 June - 14 August 2011
Late Registration: from 15 August 2011
TIME Symposium: 12-14 September 2011

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

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 and must not exceed 8 pages; over-length submissions may be rejected without review.

Papers should be submitted electronically via the EasyChair system.

Topics

The symposium will encompass

  • three tracks on AI, Databases, Logic and Verification and
  • an additional special track on Interval Temporal Logics.
For further details, please refer to the Schedule and Topics page.

Registration Fees

Early registration: 290 €
Registration: 330 €
Late registration: 370 €