[TYPES/announce] Deadline extended: TIME'13

Sat Apr 27 10:05:55 EDT 2013

*26 - 28 September, Pensacola, FL, USA*

*TIME 2013: 20th International Symposium on Temporal Representation and
Reasoning*

http://software.imdea.org/time13/

*Submission deadline extended:*
*- Abstract submission:  **** NEW DEADLINE **** 3 May 2013*
*- Paper submission: **** NEW DEADLINE **** 10 May 2013*
*
*

20th International Symposium on Temporal Representation and Reasoning
(TIME 13) aims to bring together researchers from distinct research
areas involving the management of temporal data as well as the
reasoning about temporal aspects of information.  This unique and
well-established event (see http://time.dico.unimi.it) has as its
objectives to bridge theoretical and applied research, as well as to
serve as an interdisciplinary forum for exchange among researchers
from the areas of artificial intelligence, database management, logic
and verification, and beyond.

*Important Dates*
*- Abstract submission:  **** NEW DEADLINE **** 3 May 2013*
*- Paper submission: **** NEW DEADLINE **** 10 May 2013*
- Paper Notification: TBA
- Final version due: TBA
- Early Registration: until 16 June 2013
- Registration: 22 June - 26 August 2013
- Late Registration: from 26 August 2013
- TIME Symposium: 26-28 September 2011

*Invited Speakers*

- James Allen, IHMC and University of Rochester, USA
- Aaron R. Bradley, CU Boulder, USA
- Ouri E. Wolfson, University of Illinois at Chicago

*Submissions*

Submissions of high quality papers describing research results or
on-going work 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 by at least three reviewers for quality,
correctness, originality, and relevance. Accepted papers will be
presented at the symposium and included in the proceedings, which will
be published by the Conference Publishing Services (CPS). Acceptance
of a paper is contingent on one author presenting the paper at the
symposium.  Submissions should be in PDF format (with the necessary
fonts embedded). They must be formatted according to the IEEE
guidelines and must not exceed 8 pages; over-length submissions may be
rejected without review.  Papers should be submitted electronically
via the EasyChair system.

*Topics *

The symposium will encompass:
- three tracks on AI, Databases, Logic and Verification and
- an additional special track on Temporal Data Mining, OLAP and Data
Warehouses.

*Temporal Representation and Reasoning in AI 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

*Temporal Database Management 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 workflow 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
novel applications of temporal database management
experiences with real applications

*Temporal Logic and Verification in Computer Science includes, but is not
limited to:*

specification and verification of systems
verification of web applications
synthesis and execution
model checking algorithms
verification of infinite-state systems
reasoning about transition systems
temporal architectures
temporal logics for distributed systems
temporal logics of knowledge
hybrid systems and real-time logics
tools and practical systems
temporal issues in security

*Special Track On Temporal Data Mining, OLAP And Data Warehouses*

This year, TIME has an additional special track on Temporal Data
Mining, OLAP, and Data Warehouses and organized by Carlo
Combi. Submissions for the specialtrack will be primarily managed by
him, though the final decision on acceptance will be taken by the
whole PC.

Exploring and mining huge amounts of time-oriented data is an
acknowledged need in several domains; Such a need poses several
challenges calling theoretical and practical
research.  Several research topics underly the study of solutions
allowing users to explore and mine time oriented data: from the
modeling of multidimensional temporal data, to the efficient storage
and retrieval of time-series and temporal data, to the definition of
algorithms for data mining, and so on. Moreover, several application
domains could benefit from advancements of such kind of research:
among them, it is worth to mention here medicine, huge amounts of
time-oriented data are daily produced and need to be analyzed/mined to
improve the overall quality of healthcare processes.

High quality contributions for the special track are welcome in, but
are not limited to, any of the following sub-areas of research:

- Temporal data warehouses
- Modeling and querying multidimensional temporal data
- Conceptual modeling of multidimensional temporal data and processes
- Indexing temporal and spatio-temporal data warehouses
- Summarization of time-oriented data
- Mining algorithms for temporal data
- Temporal association rules
- Temporal OLAP
- ETL and temporal data
- Reconciled temporal databases
- Merging multiple and heterogeneous time-oriented databases
- Design and implementation of temporal OLAP systems
- Process mining and exploration
- Temporal data mining in medicine
- Temporal healthcare data warehouses
- Time series analysis and mining
- Temporal pattern discovery
- Visual OLAP for temporal data
- Semistructured temporal data warehouses

*Registration Fees*

- Early registration: $400
- Registration: $425
- Late registration: $475

*Symposium Chairs*

- Cesar Sanchez, IMDEA Software Institute and CSIC, Spain
- K. Brent Venable, Tulane University and IHMC, USA
- Esteban Zimanyi, Universite Libre de Bruxelles, Belgium
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130427/91bf5e21/attachment-0001.html>