posted by user: mpstew || 8318 views || tracked by 27 users: [display]

TIME 2016 : 23rd International Symposium on Temporal Representation and Reasoning

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Temporal Representation and Reasoning
 
Link: http://time2016.compute.dtu.dk/
 
When Oct 17, 2016 - Oct 19, 2016
Where Copenhagen, Denmark
Submission Deadline Jun 20, 2016
Notification Due Jul 25, 2016
Final Version Due Aug 10, 2015
Categories    artificial intelligence   ontologies   data mining   verification
 

Call For Papers

TIME 2016 aims to bring together researchers interested in reasoning
about temporal aspects of information in any area of Computer Science.
The symposium, currently in its 23rd edition, has a wide remit and
intends to cater to both theoretical aspects and well-founded
applications. One of the key aspects of the symposium is its
interdisciplinarity, with attendees from distinct areas such as
artificial intelligence, database management, logic and verification,
and beyond. Submissions of high-quality papers describing research
results are solicited. Submitted papers should contain original,
previously unpublished content, should be written in English, and must
not be simultaneously submitted for publication elsewhere. Submitted
papers will be refereed for quality, correctness, originality, and
relevance. The symposium will encompass three tracks on temporal
representation and reasoning in (1) Artificial Intelligence, (2)
Databases and (3) Logic and Verification.

Related Resources

AAAI 2020   The Thirty-Fourth AAAI Conference on Artificial Intelligence
ECAI 2020   24th European Conference on Artificial Intelligence
TIME 2019   26th International Symposium on Temporal Representation and Reasoning
ICIIP 2019   【ACM ICPS EI SCOPUS】2019 4th International Conference on Intelligent Information Processing
AALTD@ECML 2019   4th Workshop on Advanced Analytics and Learning on Temporal Data
IWUAS 2020   2020 International Workshop on Unmanned Aircraft Systems (IWUAS 2020)
KRR@SAC 2020   Knowledge Representation and Reasoning (track of the 35th ACM/SIGAPP Symposium On Applied Computing)
ACM-ACAI-Ei/Scopus 2019   2019 2nd International Conference on Algorithms, Computing and Artificial Intelligence
DS-SAC 2020   DATA STREAMS TRACK - ACM SAC 2020
AISTATS 2020   The 23rd International Conference on Artificial Intelligence and Statistics