TIME 2015 - International Symposium on Temporal Representation and Reasoning

TIME 2015 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 22nd edition, has a wide remit and intends to cater both for theoretical aspects and well-founded applications. One of the key aspects of the time 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 AI, Databases, as well as Logic and Verification.
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 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
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 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
tools and practical systems
temporal issues in security
Important Dates
Submission deadline: April 30th
Notification: June 30th
final version due: July 17th
early registration deadline: July 31st
symposium: September 23rd-25th
Invited Speakers
Giuseppe de Giacomo, Sapienza Università di Roma
Carlo Zaniolo, UCLA
Benedikt Bollig, ENS Cachan
Program Committee
Thomas Ågotnes, Univ. of Bergen
Alessandro Artale, Free Univ. of Bolzano-Bozen
Sourav S. Bhowmick, Nanyang Technical Univ.
Michael Böhlen, Univ. of Zurich
Amedeo Cesta, ISTC-CNR, Rome
Carlo Combi, Univ. of Verona
Stephane Démri, CNRS, Cachan
Clare Dixon, Univ. of Liverpool
Curtis Dyreson, Utah State University
Johann Eder, Alpen Adria Univ. Klagenfurt
Shashi K. Gadia, Iowa State Univ.
Rajeev Goré, Australian National Univ., Canberra
Fabio Grandi, Univ. of Bologna (PC co-chair)
Keijo Heljanko, Aalto Univ.
Wojciech Jamroga, Polish Academy of Sciences, Warsaw
Felix Klaedtke, NEC Research, Heidelberg
Martin Lange, Univ. of Kassel (PC co-chair)
Francois Laroussinie, Univ. of Paris 7
Martin Leucker, Univ. of Lübeck
Alessio Lomuscio, Imperial College (PC co-chair)
Étienne Lozes, ENS Cachan
Federica Mandreoli, Univ. of Modena and Reggio Emilia
Jerzy Marcinkowski, Univ. of Wroclaw
Angelo Montanari, Univ. of Udine
Ben Moszkowski, Univ. of Newcastle
Aniello Murano, Univ. of Napoli "Federico II"
Kjetil Nørvåg, Norwegian Univ. of Science and Technology, Trondheim
Dirk Pattinson, Australian National Univ., Canberra
Ram Ramanujam, IMS Chennai
Sven Schewe, Univ. of Liverpool
Paolo Terenziani, Univ. of Turin
Mahesh Viswanathan, Univ. of Illinois at Urbana-Champaign
James Worrell, Univ. of Oxford
Robert Wrembel, Poznan Univ. of Technology