-------- Original Message -------- From: clu@lutz01.informatik.uni-bremen.de (Carsten Lutz) Subject: [WI] TIME09 Second Call for Papers To: wi@aifb.uni-karlsruhe.de
TIME 2009 - Second Call for Papers
Sixteenth International Symposium on Temporal Representation and Reasoning
Brixen, Italy, July 23-25, 2009
http://www.inf.unibz.it/krdb/events/time-2009/
The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research.
TIME 2009 encompasses three tracks, but has a single program committee. The conference will span three days, and will be organized as a combination of technical paper presentations, poster sessions, and keynote lectures.
* IMPORTANT DATES
Abstract Submission: April 6 (strict) Paper Submission: April 9 (strict) Paper Notification: May 11 Camera Ready Copy Due: May 22 TIME 2009 Symposium: July 23-25
* INVITED SPEAKERS
Logic - Mark Reynolds, The University of West Australia AI - Froduald Kabanza, Universite de Sherbrooke, Quebec, Canada DB - Serge Abiteboul, INRIA, France
* TOPICS
Track 1: Temporal Representation and Reasoning in AI
- 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
Track 2: Temporal Database Management
- 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
Track 3: Temporal Logic and Verification in Computer Science
- 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
* PAPER SUBMISSION
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 IEEE Computer Society Press. 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 guide- lines described at
ftp://pubftp.computer.org/press/outgoing/ proceedings/8.5x11 - Formatting files/
and must not exceed 8 pages; over-length submissions may be rejected without review.
Papers are submitted electronically via Easychair:
http://www.easychair.org/conferences/?conf=time2009
* CONFERENCE OFFICERS
General Chair: David Toman, University of Waterloo, Canada
Program Committee Chairs: Carsten Lutz, University of Bremen, Germany Jean-Francois Raskin, Free University of Brussels, Belgium
Organization Chair: Alessandro Artale, Free University of Bozen-Bolzano, Italy
* PROGRAM COMMITTEE
Peter van Beek, University of Waterloo, Canada Claudio Bettini, University of Milan, Italy Thomas Brihaye, University of Mons-Hainaut, Belgium Franck Cassez, National ICT Australia Jan Chomicki, University at Buffalo, USA Carlo Combi, University of Verona, Italy Alessandro Cimatti, IRST, Italy Stephane Demri, CNRS, France Bernd Finkbeiner, Saarland University, Germany Michael Fisher, Liverpool, UK Tim French, University of Western Australia, Australia Antony Galton, University of Exeter, UK Alfonso Gerevini, University of Brescia, Italy Valentin Goranko, University of Witwatersrand, South Africa Rajeev Gore, ANU, Australia Keijo Heljanko, Helsinki University of Technology, Finland Ian Hodkinson, Imperial College, UK Ulrich Hustadt, University of Liverpool, UK George Kollios, Boston University, USA Orna Kupferman, Hebrew University, Israel Francois Laroussinie, CNRS, France Salvatore Latorre, University of Salerno, Italy Nicolas Markey, CNRS, France Rupak Majumdar, University of California, USA Angelo Montanari, University of Udine, Italy Madhusudan Parthasarathy, University of Illinois, USA Ian Pratt-Hartmann, Manchester University, UK Jochen Renz, Australian National University, Australia Roger Villemaire, UQAM, Canada Sean Wang, University of Vermont, USA Jef Wijsen, University of Mons-Hainaut, Belgium Ouri Wolfson, University of Illinois, USA Pierre Wolper, University of Liege, Belgium Frank Wolter, University of Liverpool, UK James Worrell, Oxford University, UK Michael Zakharyaschev, Birkbeck College, UK Carlo Zaniolo, University of California, USA
* FURTHER INFORMATION
Questions related to submission, reviewing, and program: time09@informatik.uni-bremen.de
Questions related to local organization: artale@inf.unibz.it
-- Mailing-Liste: WI@aifb.uni-karlsruhe.de Administrator: WI-admin@aifb.uni-karlsruhe.de Konfiguration: http://www.aifb.uni-karlsruhe.de/mailman/listinfo/wi