Home Categories About Call for Papers

TIME 2020 : 27th International Symposium on Temporal Representation and Reasoning

Bozen - Bolzano, Italy

Event Date:	September 23, 2020 - September 25, 2020
Submission Deadline:	April 26, 2020
Notification of Acceptance:	June 21, 2020
Camera Ready Version Due:	July 05, 2020

About

The 27th International Symposium on Temporal Representation and Reasoning, TIME 2020, will be held at the Free University of Bozen-Bolzano in September 2020.

It will be part of the Bolzano Summer of Knowledge, which will also host EKAW 2020, ICBO 2020, FOIS 2020, and several other events .

Call for Papers

Following a long-standing tradition, submission topics include (but are no limited to):

- Temporal aspects of agent- and policy-based systems
- Spatial and temporal reasoning
- Time in natural language processing
- Spatio-temporal knowledge representation systems
- 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
- 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 constraint
- Specification and verification of systems
- Verification of web applications
- Synthesis and execution
- Model checking algorithms and implementations
- Verification of infinite-state systems
- Reasoning about transition systems
- Other aspects of temporal architectures

Summary

TIME 2020 : 27th International Symposium on Temporal Representation and Reasoning will take place in Bozen - Bolzano, Italy. It’s a 3 days event starting on Sep 23, 2020 (Wednesday) and will be winded up on Sep 25, 2020 (Friday).

TIME 2020 falls under the following areas: COMPUTER SCIENCE, TEMPORAL REASONING, TEMPORAL DATABASES, etc. Submissions for this Symposium can be made by Apr 26, 2020. Authors can expect the result of submission by Jun 21, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 05, 2020 to the official website of the Symposium.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the TIME 2020

Short Name: TIME 2020
Full Name: 27th International Symposium on Temporal Representation and Reasoning
Timing: 09:00 AM-06:00 PM (expected)
Fees: Check the official website of TIME 2020
Event Type: Symposium
Website Link: https://time2020.inf.unibz.it/
Location/Address: Bozen - Bolzano, Italy

Credits and Sources

[1] TIME 2020 : 27th International Symposium on Temporal Representation and Reasoning

TIME 2020 : 27th International Symposium on Temporal Representation and Reasoning

Categories

About

Call for Papers

Summary

Other Details of the TIME 2020

Credits and Sources

OTHER COMPUTER SCIENCE EVENTS

OTHER TEMPORAL DATABASES EVENTS