TIME 2011 - 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME)

Topics

The main topics of the conference are:

Temporal Representation and Reasoning in AI
Temporal Database Management
Temporal Logic and Verification in Computer Science
Special Track on Interval Temporal logics
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
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 Interval Temporal logic

This year, TIME has an additional special track on Interval Temporal Logics. This track is organized by Dimitar Guelev and Ben Moszkowski. Submissions on ITL will be primarily managed by them, though the final decision on acceptance will be taken by the whole PC. Topics of interest include, but are not limited to:

expressiveness, decidability, proof systems, model- and validity-checking for ITLs
modelling of system requirements in terms of time intervals
intervals versus time points in temporal modelling
Duration Calculus and other extensions and variants of ITLs
ITLs, DC, timed automata, timed regular languages and other models of real time
interval algebras and spatio-temporal reasoning
case studies, applications and tool support for interval-based reasoning