The TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science.
The annual symposium, currently in its 24th edition, has a wide remit and intends to cater for both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from different areas such as artificial intelligence, database management, logic and verification, and beyond.
The symposium will encompass three tracks on temporal representation and reasoning in Artificial Intelligence, Databases, and Logic and Verification.
In 2017, TIME will be held in Mons, Belgium.
The Artificial Intelligence track includes, but is not limited to:
- temporal aspects of agent- and policy-based systems
- spatial and temporal reasoning
- 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
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- temporal information extraction
- time in natural language processing
- spatio-temporal knowledge representation systems
- spatio-temporal ontologies for the semantic web
- constraint-based temporal reasoning
- temporal preferences
The Database track includes, but is not limited to:
- 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 constraints
- temporal aspects of business processes and ECA systems
- real-time databases
- time-dependent security policies
- privacy in temporal and spatio-temporal data
- temporal aspects of multimedia databases
- temporal aspects of e-services and web applications
- temporal aspects of distributed systems
- temporal aspects and big data
- temporal aspects in NoSQL databases
- temporal data warehouses
- temporal healthcare databases and warehouses
- time series analysis and mining
- semistructured temporal data
- novel applications of temporal database management
- novel visualizations and interfaces for temporal data
- experiences with real applications
The Logic and Verification track includes, but is not limited to:
- 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
- temporal architectures
- temporal logics for distributed systems
- temporal logics for games and open systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- cyber-physical systems
- tools and practical systems
- temporal issues in security
10月16日
2017
10月18日
2017
初稿截稿日期
注册截止日期
留言