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

  in Conferences   Posted on February 29, 2020

Conference Information

Submission Deadline Sunday 24 May 2020 Proceedings indexed by :
Conference Dates Sep 23, 2020 - Sep 25, 2020
Conference Address Bozen / Bolzano, Italy
Conference & Submission Link https://time2020.inf.unibz.it/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 0
#Contributing Top Scientists 0
#Papers published by Top Scientists 0
Google Scholar H5-index 0
Guide2Research Overall Ranking: 0

Conference Call for Papers

Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2020 encompasses three tracks, but has a single program committee. The conference will be organized as a combination of technical paper presentations, keynote talks, and tutorials.
Invited Speakers

Clare Dixon (University of Liverpool, UK)
Pedro Cabalar (University of Corunna, Spain)
Johann Eder (Alpen-Adria Universität Klagenfurt, Austria)
Tracks

Time in Artificial Intelligence
Temporal Databases
Temporal Logic and Reasoning

Topics

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 constraints
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

Other Conferences in Italy

DRCN 2021 : 17th International Conference on Design of Reliable Communication Networks

Deadline :
Tue 01 Dec 2020
Apr 19, 2021 - Apr 22, 2021 - Milan
Italy

ICEEG 2021 : The 5th International Conference on E-commerce, E-Business and E-Government

Deadline :
Sun 20 Dec 2020
Apr 28, 2021 - Apr 30, 2021 - Rome
Italy

HCIS 2021 : 14th International Conference on Human Centred Intelligent Systems

Deadline :
Mon 11 Jan 2021
Jun 14, 2021 - Jun 16, 2021 - Rome
Italy