Conference Information
TIME 2016: International Symposium on Temporal Representation and Reasoning
http://time2016.compute.dtu.dk/
Submission Date:
2016-06-20
Notification Date:
2016-07-25
Conference Date:
2016-10-17
Location:
Kongens Lyngby, Denmark
Years:
23
Viewed: 3024   Tracked: 0   Attend: 0

Conference Location
Call For Papers
AIM

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.

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 
Last updated by Xin Yao in 2016-06-17
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
2017362055.6%
2016462145.7%
2015231773.9%
2014321753.1%
2013261557.7%
2012321650%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2020-01-152020-04-192020-07-11
ISCMEInternational Seminar on Computer Technology, Mechanical and Electrical Engineering2017-08-22 2017-09-22
FMVIPInternational Conference on Frontiers of Machine Vision and Image Processing2020-10-102020-10-252020-11-13
WATInternational Workshop on Automation Technologies2020-06-102020-07-102020-12-10
caa2ICDARInternational Conference on Document Analysis and Recognition2021-02-082021-04-262021-09-05
baa1ECCVEuropean Conference on Computer Vision2020-03-052020-07-032020-08-23
bcb4ICCBRInternational Conference on Case-Based Reasoning2020-02-172020-04-072020-06-06
SSSCCEuropean Smart Sustainable and Safe Cities Conference2018-12-012018-12-072019-02-07
aa1HICSSHawaii International Conference on System Sciences2020-07-152020-08-232021-01-05
UC5GAsia Conference on Ubiquitous Communications and 5G Technologies2021-04-152021-05-152021-10-14
Related Journals
CCFFull NameImpact FactorPublisherISSN
bInternational Journal of Approximate Reasoning1.982Elsevier0888-613X
Journal of Chemical Information and Modeling3.966American Chemical Society1549-9596
bJournal of Automated Reasoning0.714Springer0168-7433
New Generation Computing0.795Springer0288-3635
Journal of Optical Communications and Networking2.183OSA Publishing1943-0620
Computers & Operations Research3.002Elsevier0305-0548
Simulation & GamingSAGE1046-8781
Computational Geosciences0.769Springer1420-0597
AI & SOCIETY Springer0951-5666
bNeural Computation1.884MIT Press0899-7667
Full NameImpact FactorPublisher
International Journal of Approximate Reasoning1.982Elsevier
Journal of Chemical Information and Modeling3.966American Chemical Society
Journal of Automated Reasoning0.714Springer
New Generation Computing0.795Springer
Journal of Optical Communications and Networking2.183OSA Publishing
Computers & Operations Research3.002Elsevier
Simulation & GamingSAGE
Computational Geosciences0.769Springer
AI & SOCIETY Springer
Neural Computation1.884MIT Press
Recommendation