spacer
Call for Papers
Committees
Schedule and Topics
Accepted Papers
Registration
Venue
Travel Information
Accommodation
Contact
Previous TIMEs

12-14 September 2012, Leicester, UK

19th International Symposium on Temporal Representation and Reasoning

TIME 12 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 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 12 is an official event of THE ALAN TURING YEAR

spacer

A Centenary Celebration of the Life and Work of Alan Turing

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

Call for Participation

The call for participation is available to download here.

Important Dates

Abstract submission:  April 16   April 18 2012
Paper submission: April 20   April 22  April 24 2012
Paper notification: May 20   May 24 2012
Final version due: June 24 2012
Early Registration: until 24 June 2012
Registration: from 25 June - 12 August 2012
Late Registration: from 13 August 2012
TIME Symposium: 12-14 September 2012

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.

Acceptance of a paper is contingent on one author presenting the paper at the symposium.

Accepted papers will be presented at the symposium and included in the proceedings which, as in previous years, are to be published by the Conference Publishing Services (CPS).

Submissions should be in PDF format (with the necessary fonts embedded). They must be formatted according to the CPS 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

  • Track on Temporal Representation and Reasoning in AI
  • Track on Temporal Database Management
  • Track on Temporal Logic and Verification in Computer Science
  • Special Track on Temporal Representation and Reasoning in Medicine (Cancelled).

For further details, please refer to the Schedule and Topics page.


Sep 17 2012
gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.