| Description |
The 14th International Symposium on Temporal Representation and Reasoning will bring together researchers working in various areas that involve the representation of and reasoning about temporal phenomena. As with previous meetings in this well-established series (see http://time.dico.unimi.it), one of the goals of the TIME symposium will be to cast a bridge between theoretical and applied research in temporal representation and reasoning. Thus, we especially encourage submissions concerning temporal issues within areas such as Artificial Intelligence, Linguistics, Temporal/Spatial Databases and Applications of Temporal Logic in Computer Science, in order to achieve a multi-disciplinary perspective on the topic and to benefit from cross-fertilization of ideas.
The conference is planned as a three-day event, and will be organised as a combination of technical paper presentations, an extended poster session, and keynote talks.
The topics of interest include but are not limited to the following:
Track1 - Temporal Representation/Reasoning in AI and Linguistics
temporal aspects of agent-based systems, temporal constraint reasoning, reasoning about actions and change, temporal languages for planning, temporal languages and architectures, ontologies of time and space-time, spatio-temporal reasoning, expressive power versus tractability, belief and uncertainty in temporal knowledge, time and nonmonotonic reasoning, interval temporal logics, time and temporality in natural language processing.
Track 2 - Time Management in Databases
temporal data models, temporal database design, temporal query languages, indexing of temporal data, temporal database systems, spatio-temporal databases, constraint databases, temporal data mining, temporal data privacy & security, time in multimedia databases, time in web applications, time in federated and heterogeneous systems, time in workflow systems, querying time series databases, querying data streams.
Track 3 - Temporal Logic in Computer Science
temporal specification, synthesis, and verification of systems, model checking of temporal logics, verification of infinite-state systems, temporal logics for distributed systems, expressiveness of temporal languages, decidability and complexity of temporal logics, logics of knowledge and time, metric and real-time logics and timed automata, temporal logics and concurrency, temporal issues in security, tools and practical systems.
The symposium welcomes new directions in time research and topics that are currently underrepresented in the symposium.
|
|
