posted by organizer: alessio || 1661 views || tracked by 10 users: [display]

TIME 2015 : International Symposium on Temporal Representation and Reasoning


Conference Series : International Symposium on Temporal Representation and Reasoning
When Sep 23, 2015 - Sep 25, 2001
Where Kassel, Germany
Submission Deadline Apr 30, 2015
Notification Due Jun 30, 2015
Categories    temporal logic   temporal aspects of databases   temporal aspects of ai   verification

Call For Papers

22nd International Symposium on Temporal Representation and Reasoning,
TIME 2015; 23-25 September 2015, Kassel, Germany


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

Submissions should be in PDF format (with the necessary fonts embedded).
They must be formatted according to the IEEE guidelines and must not
exceed 10 pages (US letter format); over-length submissions may be
rejected without review. Submissions will be handled electronically by

Accepted papers will be presented at the symposium and included in the
proceedings, which will be published by the IEEE Conference Publishing
Services (CPS), as usual within the TIME series. Acceptance of a paper
is contingent on one author registering for and presenting the paper at
the symposium.

Journal Special Issue
As in previous years, the authors of the best papers of the conference
will be invited to submit an extended version of their contribution to a
special issue on TIME 2015, to appear in the journal Information &

TIME2015 will be held at the University of Kassel. The city of Kassel is
situated in the center of Germany with convenient train connections to
major cities and airports, including Frankfurt. Kassel is a center of
culture and art, once home to the famous Brothers Grimm, now hosting an
art school of high reputation and the documenta - regarded to be
Europe’s most important modern art exhibition taking place every fifth
year only. The 300-year-old “Bergpark”, a large park-like area with a
castle and monuments at Kassel’s western boundaries, has recently been
given the status of a UNESCO heritage site and become a major tourist
attraction since. For more information please consult

Related Resources

TIME 2017   24th International Symposium on Temporal Representation and Reasoning
ICFEM 2017   19th International Conference on Formal Engineering Methods
ICLR 2017   5th International Conference on Learning Representations
FMCAD 2017   Formal Methods in Computer-Aided Design
ST-Analytics 2017   Advances in Spatio-Temporal Analytics
FMICS-AVOCS 2017   International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)
KRR@SAC 2017   Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
VECoS 2017   11th International Conference on Verification and Evaluation of Computer and Communication Systems
LPNMR 2017   14th International Conference on Logic Programming and Non-monotonic Reasoning
UR@FLAIRS30   FLAIRS-30 : Uncertain Reasoning (UR) Special Track