학회 정보

TIME 2016: International Symposium on Temporal Representation and Reasoning

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
로그인 회원가입

투고 마감일:
2016-06-20
통보일:
2016-07-25
개최일:
2016-10-17
개최지:
Kongens Lyngby, Denmark
개최 횟수:
23
ICORE: C   조회: 15492   팔로우: 0   참가: 0

논문 모집

TIME 2016 (International Symposium on Temporal Representation and Reasoning) is a ICORE C conference held in Kongens Lyngby, Denmark on 2016-10-17. The paper submission deadline is 2016-06-20. Acceptance notifications are sent on 2016-07-25.

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
최종 수정: Xin Yao ()

게재율

평균 게재율: 57.8% 11년간 (2012–2022).

연도투고 수게재 수게재율(%)
2022291241.4%
2021281346.4%
2020231669.6%
2019251768%
2018272074.1%
2017362055.6%
2016462145.7%
2015231773.9%
2014321753.1%
2013261557.7%
2012321650%

관련 학회

CCFICOREQUALIS약칭정식 명칭투고 마감통보일개최일
BA*A2KRInternational Conference on the Principles of Knowledge Representation and Reasoning2026-02-082026-04-132026-07-20
RTReal Time Conference2012-03-112012-06-11
AAA1RTSSIEEE Real-Time Systems Symposium2026-05-212026-12-09
RTISInternational Conference on Real-time Intelligence Systems2020-04-162020-05-182020-06-30
RTIS'International Conference on Real-time Intelligent Systems2025-08-252025-09-202025-10-13
B1ISORCInternational Symposium on Real-time Distributed Computing2026-02-242026-03-242026-05-27
RTESTInternational Symposium on Real-Time and Embedded Systems and Technologies2017-12-102018-02-012018-05-09
BAA2RTASIEEE Real-Time and Embedded Technology and Applications Symposium2025-11-132026-01-292026-05-12
B3ESTIMediaIEEE Symposium on Embedded Systems for Real-time Multimedia2017-07-302017-09-082017-10-06
RTNSInternational Conference on Real-Time Networks and Systems2025-08-142025-10-092025-11-05

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
Journal of Real-Time Image Processing3.0Springer1861-8200
BJournal of Automated Reasoning0.8Springer0168-7433
CReal-Time Systems1.3Springer0922-6443
International Journal of Embedded and Real-Time Communication SystemsIGI Global Publishing1947-3176
CJournal of Visual Communication and Image Representation2.8Elsevier1047-3203
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems6.1Elsevier0167-739X

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요