<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><span class="Apple-style-span" style="font-family: -webkit-monospace; font-size: 10px; ">  <span class="Apple-tab-span" style="white-space: pre; "> </span>          TIME 2009 - Final Call for Papers<br><br><span class="Apple-tab-span" style="white-space: pre; ">        </span><span class="Apple-tab-span" style="white-space: pre; "> </span> Sixteenth International Symposium on<br><span class="Apple-tab-span" style="white-space: pre; ">     </span><span class="Apple-tab-span" style="white-space: pre; "> </span>Temporal Representation and Reasoning<br><br><span class="Apple-tab-span" style="white-space: pre; ">        </span><span class="Apple-tab-span" style="white-space: pre; "> </span>  Brixen, Italy, July 23-25, 2009<br><br><span class="Apple-tab-span" style="white-space: pre; ">  </span>    <a href="http://www.inf.unibz.it/krdb/events/time-2009/">http://www.inf.unibz.it/krdb/events/time-2009/</a><br><br><br>The TIME symposium series is a well-established annual event that<br>brings together researchers from all areas of computer science that<br>involve temporal representation and reasoning. This includes, but is<br>not limited to, artificial intelligence, temporal databases, and the<br>verification of software and hardware systems. In addition to fostering<br>interdisciplinarity, the TIME symposia emphasize bridging the gap<br>between theoretical and applied research.<br><br>TIME 2009 encompasses three tracks, but has a single program<br>committee. The conference will span three days, and will be organized<br>as a combination of technical paper presentations, poster sessions,<br>and keynote lectures.<br><br>* IMPORTANT DATES<br><br>Abstract Submission:     April 6 (strict)<br>Paper Submission:        April 9 (strict)<br>Paper Notification:      May 11<br>Camera Ready Copy Due:   May 22<br>TIME 2009 Symposium:     July 23-25<br><br>* INVITED SPEAKERS<br><br>Logic - Mark Reynolds, The University of West Australia<br>AI - Froduald Kabanza, Universite de Sherbrooke, Quebec, Canada<br>DB - Serge Abiteboul, INRIA, France<br><br>* TOPICS<br><br>Track 1: Temporal Representation and Reasoning in AI<br><br>- temporal aspects of agent- and policy-based systems<br>- spatial and temporal reasoning<br>- reasoning about actions and change<br>- planning and planning languages<br>- ontologies of time and space-time<br>- belief and uncertainty in temporal knowledge<br>- temporal learning and discovery<br>- time in problem solving (e.g. diagnosis, scheduling)<br>- time in human-machine interaction<br>- temporal information extraction<br>- time in natural language processing<br>- spatio-temporal knowledge representation systems<br>- spatio-temporal ontologies for the semantic web<br><br>Track 2: Temporal Database Management<br><br>- temporal data models and query languages<br>- temporal query processing and indexing<br>- temporal data mining<br>- time series data management<br>- stream data management<br>- spatio-temporal data management, including moving objects<br>- data currency and expiration<br>- indeterminate and imprecise temporal data<br>- temporal constraints<br>- temporal aspects of workflow and ECA systems<br>- real-time databases<br>- time-dependent security policies<br>- privacy in temporal and spatio-temporal data<br>- temporal aspects of multimedia databases<br>- temporal aspects of e-services and web applications<br>- temporal aspects of distributed systems<br>- novel applications of temporal database management<br>- experiences with real applications<br><br>Track 3: Temporal Logic and Verification in Computer Science<br><br>- specification and verification of systems<br>- verification of web applications<br>- synthesis and execution<br>- model checking algorithms<br>- verification of infinite-state systems<br>- reasoning about transition systems<br>- temporal architectures<br>- temporal logics for distributed systems<br>- temporal logics of knowledge<br>- hybrid systems and real-time logics<br>- tools and practical systems<br>- temporal issues in security<br><br><br>* PAPER SUBMISSION<br><br>Submissions of high quality papers describing research results or<br>on-going work are solicited. Submitted papers should contain original,<br>previously unpublished content, should be written in English, and must<br>not be simultaneously submitted for publication elsewhere.<br><br>Submitted papers will be refereed by at least three reviewers for<br>quality, correctness, originality, and relevance. Accepted papers will<br>be presented at the symposium and included in the proceedings, which<br>will be published by the IEEE Computer Society Press. Acceptance of a<br>paper is contingent on one author presenting the paper at the<br>symposium.<br><br>Submissions should be in PDF format (with the necessary fonts<br>embedded). They must be formatted according to the IEEE guide-<br>lines described at<br><br><a href="ftp://pubftp.computer.org/press/outgoing/">ftp://pubftp.computer.org/press/outgoing/</a><br>                   proceedings/8.5x11 - Formatting files/<br><br>and must not exceed 8 pages; over-length submissions may be<br>rejected without review.<br><br>Papers are submitted electronically via Easychair:<br><br><a href="http://www.easychair.org/conferences/?conf=time2009">http://www.easychair.org/conferences/?conf=time2009</a><br><br><br>* CONFERENCE OFFICERS<br><br>General Chair:<br>David Toman, University of Waterloo, Canada<br><br>Program Committee Chairs:<br>Carsten Lutz, University of Bremen, Germany<br>Jean-Francois Raskin, Free University of Brussels, Belgium<br><br>Organization Chair:<br>Alessandro Artale, Free University of Bozen-Bolzano, Italy<br><br><br>* PROGRAM COMMITTEE<br><br>Peter van Beek, University of Waterloo, Canada<br>Claudio Bettini, University of Milan, Italy<br>Thomas Brihaye, University of Mons-Hainaut, Belgium<br>Franck Cassez, National ICT Australia<br>Jan Chomicki, University at Buffalo, USA<br>Carlo Combi, University of Verona, Italy<br>Alessandro Cimatti, IRST, Italy<br>Stephane Demri, CNRS, France<br>Bernd Finkbeiner, Saarland University, Germany<br>Michael Fisher, Liverpool, UK<br>Tim French, University of Western Australia, Australia<br>Antony Galton, University of Exeter, UK<br>Alfonso Gerevini, University of Brescia, Italy<br>Valentin Goranko, University of Witwatersrand, South Africa<br>Rajeev Gore, ANU, Australia<br>Keijo Heljanko, Helsinki University of Technology, Finland<br>Ian Hodkinson, Imperial College, UK<br>Ulrich Hustadt, University of Liverpool, UK<br>George Kollios, Boston University, USA<br>Orna Kupferman, Hebrew University, Israel<br>Francois Laroussinie, CNRS, France<br>Salvatore Latorre, University of Salerno, Italy<br>Nicolas Markey, CNRS, France<br>Rupak Majumdar, University of California, USA<br>Angelo Montanari, University of Udine, Italy<br>Madhusudan Parthasarathy, University of Illinois, USA<br>Ian Pratt-Hartmann, Manchester University, UK<br>Jochen Renz, Australian National University, Australia<br>Roger Villemaire, UQAM, Canada<br>Sean Wang, University of Vermont, USA<br>Jef Wijsen, University of Mons-Hainaut, Belgium<br>Ouri Wolfson, University of Illinois, USA<br>Pierre Wolper, University of Liege, Belgium<br>Frank Wolter, University of Liverpool, UK<br>James Worrell, Oxford University, UK<br>Michael Zakharyaschev, Birkbeck College, UK<br>Carlo Zaniolo, University of California, USA<br><br><br>* FURTHER INFORMATION<br><br>Questions related to submission, reviewing, and program:<br><a href="mailto:time09@informatik.uni-bremen.de">time09@informatik.uni-bremen.de</a><br><br>Questions related to local organization:<br><a href="mailto:artale@inf.unibz.it">artale@inf.unibz.it</a></span></div></body></html>