[TYPES/announce] TIME 2013 - Abstract deadline extension

[Brent Venable]

*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 **** 10 May 2013*

*- Paper submission:  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 **** 10 May 2013*

*- Paper submission: 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/20130506/14f20a02/attachment-0001.html>