Schedule
Submissions
Aims
Topics of Interest
Important Dates
General Chair
Program Committee Chairs
Program Committee
Invited Speakers
Conference Venue
Registration Information
More Information
Travel Information
|
|
May 22, 2006 - Click here for general tips and information on traveling in Budapest.
May 10, 2006 - Links to hotels located near the conference venue have been added here
March 30, 2006 - A tentetive schedule has been posted. It can be found here
March 21, 2006 - Updated venue and registration information are now available.
March 19, 2006 - E-mails regarding decisions on submitted papers have been sent out. If you have not received your decision, please
contact Amber Stubbs
March 16, 2006 - The previous information about registration has been removed for review. More information will be available shortly.
March 15, 2006 - The date for informing authors of acceptance has been extended until March 17th. Other updates to the scedule will be announced in the next few days. We apologize for the delay.
March 10, 2006 - Information about registration is now available. Click here.
The 13th International Symposium on Temporal Representation and
Reasoning will be held on June 15 - 17, 2006 in Budapest, Hungary.
The symposium will bring together researchers working in various
areas that involve the representation of and reasoning about
temporal phenomena. As with previous meetings in this unique and
well-established series, one of the main goals of the TIME symposium
will be to bridge the gap between theoretical and applied research
in temporal representation and reasoning.
The topics of interest include but are not limited to the following:
- Temporal representation and Reasoning in AI:
-
temporal aspects of agent- and policy-based systems
- temporal constraint reasoning
- reasoning about actions and change
- temporal languages for planning
- temporal languages and architectures
- ontologies of time and space-time
- expressive power versus tractability
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time and nonmonotonicity
- time in problem solving
- spatio-temporal reasoning
- Representation and Reasoning about Time in Language:
- database representations of temporal information from text
- temporal information extraction
- standards for encoding the values of temporal expressions in
natural language
- establishing ordering, inclusion, and coreference relations in
temporal
information
- leveraging of ontologies for temporal information
- reasoning about modals, i.e., possible events, necessary events,
counterfactual events, etc.
- semantics of indeterminate or vague temporal references
- semantics and pragmatics of temporal prepositions
- application of logics for temporal reasoning in language
- computational analysis of temporal aspects of narrative structure
-
Time Management in Databases:
- (spatio)-temporal data models/query languages/indexing/systems
- moving objects databases
- constraint databases
- temporal data mining
- time in multimedia, federated and heterogeneous systems
- querying time series and data streams
- time in workflow and ECA systems
- time-dependent security policies
- Temporal Logic in Computer Science:
- specification and vverification of systems
- synthesis and execution
- model checking algorithms
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics of knowledge or distributed systems
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security
The symposium welcomes new directions in time research and topics
that are currently underrepresented in the symposium.
| Paper Submission Deadline (EXTENDED) |
February 6, 2006 |
| Notification of Acceptance |
March 17, 2006 |
| Camera Ready Copy Due |
April 3, 2006 |
| TIME 2006 Symposium |
June 15 - 17, 2006 |
Submissions must not exceed the length of 11 pages; font size
must be 11 pt or larger. The papers should be submitted as PDF
files. Overlength submissions will be rejected without review.
Papers should be electronically submitted via the TIME 2006
website. All submissions must be received by February 6, 2006.
As usual within the TIME series, proceedings will be published by
IEEE Computer Society Press and will be subject to IEEE Copyright.
Accepted papers will be invited for full presentation or poster
presentation. One author of each accepted paper has to register for
the symposium and present the paper. Camera ready papers will be
produced with the author kits sent by IEEE Computer Society Press.
It is also our intention to organize a special issue of a leading
journal, containing extended versions of selected papers from the
symposium.
The conference will be held at the Hotel
Gellert in
Budapest, where a block of rooms for conference
attendees will be reserved.
Budapest, the capital of Hungary, is situated in the heart of Central
Europe, on both sides of the Danube (Duna) River. On the right bank
lies hilly and wooded Buda and on the left bank plain Pest.
Budapest by Night
Budapest by Day
Hotel Information
Grand Hotel Royal
Kempinski Hotel Corvinus Budapest
Hotel Gellert Budapest
Hotel Taverna Budapest
NH Hotel Budapest
Hotel Liget
Registration for TIME 2006 will open March 15th. Information about registration, is available here.
For more information, contact James Pustejovsky at
jamesp@cs.brandeis.edu.
|