Second CFP: TIME-ICTL-2003

Second Call For Papers
                        ---------------------

                        Combined Conference

                    10th International Symposium on
                TEMPORAL REPRESENTATION AND REASONING

                                and

                    4th International Conference on
                           TEMPORAL LOGIC

                          (TIME-ICTL-2003)

                http://time-ictl.cs.uwa.edu.au/

                    Cairns, Queensland, Australia
                          8-10 July, 2003

In the year 2003 the TIME symposium and ICTL will be held as a combined
event. The idea is to bring together active researchers
from distinct research areas involving representation of, or reasoning
with, time.  As with previous meetings in these respected series, one
of the main goals of this conference will be to bridge the gap between
theoretical and applied research in temporal representation and
reasoning.  Thus, we especially encourage submissions concerning
temporal aspects within areas such as Artificial Intelligence,
Temporal/Spatial Databases and Applications of Temporal Logic in
Computer Science in order to achieve a multi-disciplinary perspective
on the topic and to benefit from cross-fertilisation of ideas.

There are four tracks in the symposium with separate program
committees, all overseen by the program chairs. The conference is
planned as a three-day event, and will be organised as a combination
of technical paper presentations, an extended poster session,
and four keynote talks.


INVITED SPEAKERS

Invited Speakers:
Claudio Bettini, Universita' di Milano, Italy 
Ron van der Meyden, UNSW, Australia
Gerard Ligozat, Universite' Paris-Sud, France 
Edmund Clarke, Carnegie Mellon University, USA


TOPICS

Submission of high quality papers describing mature results or
on-going work are welcome. Submitted papers should describe original,
previously unpublished, research, should be written in English, and
should not be simultaneously submitted for publication elsewhere.
Topics of interest within the scope of each track include, but are not
restricted to:

Track1: Temporal Representation and Reasoning in AI
- temporal aspects of agent-based systems
- temporal constraint reasoning
- reasoning about actions and change
- temporal languages for planning
- temporal languages and architectures
- ontologies of time
- expressive power versus tractability
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time and nonmonotonism
- time in problem solving (e.g. diagnosis, scheduling,...)
- time in human-machine interaction

Track 2: Time Management in Databases
- temporal data models
- temporal database design
- temporal query languages
- indexing of temporal data
- temporal database systems
- spatio-temporal databases
- constraint databases
- temporal data mining
- time in multimedia databases
- time in web applications
- time in federated and heterogeneous systems
- querying time series databases
- querying data streams

Track 3: Temporal Logic in Computer Science
- specification and verification
- synthesis and execution
- model checking algorithms
- temporal architectures
- temporal logics for distributed systems
- temporal logics of knowledge
- hybrid systems
- tools and practical systems

Track 4: Temporal Logic Theory
- proof theory
- dynamic logic
- hybrid logics and nominals
- modal and temporal logic combinations
- spatio-temporal logics
- first order temporal logics
- interval temporal logics
- many dimensional temporal logics
- expressiveness
- temporal theorem proving
- decision procedures and complexity
- temporal languages 


PAPER SUBMISSION

 Submissions must not exceed the length of 11 pages;
 font size must be 11pt or larger. The submission should describe
 original, previously unpublished research.

It is strongly suggested the use of the LaTeX article style at
11pt. Overlength submissions will be rejected without review. Please,
indicate the category, track, and topic(s) on the first page. Accepted
papers will be invited for full presentation or a poster presentation.
Papers should be electronically submitted via the form available at
the TIME-ICTL-2003 web page: http://time-ictl.cs.uwa.edu.au.  All
submissions must be received by Friday 21 February, 2003.  Proceedings
will be published by IEEE Computer Society Press and will be subject
to IEEE Copyright.


PROCEEDINGS

As usual within the TIME series, proceedings will be published by IEEE
Computer Society Press and will be subject to IEEE Copyright. Camera
ready papers are expected to be produced with the author kits sent by
IEEE Computer Society Press. It is also our intention to organise a
special issue of a respected journal, containing extended versions of
selected papers from the symposium.


PROGRAM COMMITTEE

-Track 1: Temporal Representation and Reasoning in AI

       Peter van Beek, University of Waterloo, Canada
       Iliano Cervesato, Naval Research Laboratory, USA
       Philippe Dague, Universite' Paris-Nord, France
       Alfonso Gerevini, Universita' di Brescia, Italy
       Scott Goodwin, University of Regina, Canada
       Howard Hamilton, University of Regina, Canada
       Lina Khatib, NASA Ames Research Center, USA
       Gerard Ligozat, Universite' Paris-Sud, France
       Carsten Lutz, Technical University Dresden, Germany
       Roque Marin, University of Murcia, Spain
       Angelo Montanari, University of Udine, Italy
       Bernhard Nebel, Albert-Ludwigs-Universitat Freiburg, Germany
       Ian Pratt-Hartmann, University of Manchester, UK
       Mark Steedman, University of Edinburgh, UK
       Paolo Terenziani, Universita' del Piemonte Orientale, Italy
       Andre Trudel, Acadia University, Canada
       Thierry Vidal, ENIT, France
 
-Track 2: Time Management in Databases

       Elisa Bertino, Universita' di Milano, Italy
       Claudio Bettini, Universita' di Milano, Italy 
       Carlo Combi, Universita' di Verona, Italy
       Christian Jensen, Aalborg University, Denmark
       Ralf Gueting, Fernuniversität Hagen, Germany
       Manolis Koubarakis, Technical University of Crete, Greece
       Bart Kuijpers, University of Limburg, Belgium
       Peter Revesz, University of Nebraska-Lincoln, USA
       Vassilis J. Tsotras, University of California, Riverside, USA
       David Toman, University of Waterloo, Canada
       Xiaoyang Sean Wang, George Mason University, VA, USA
       Jef Wijsen, Universite' de Mons-Hainaut, Belgium
       Carlo Zaniolo, UCLA, USA
 
-Track 3: Temporal Logic in Computer Science

       Alessandro Artale, UMIST, University of Manchester, UK
       Howard Barringer, Univ. of Manchester, UK
       Dennis Dams, Bell Labs, USA
       Laura Dillon, Michigan State University, USA
       Clare Dixon,  The University of Liverpool, UK
       Michael Fisher, The University of Liverpool, UK
       Enrico Franconi, Free University of Bozen-Bolzano, Italy
       Patrice Godefroid. Bell Laboratories, USA
       Orna Grumberg, Technion, Israel
       Ullrich Hustadt, The University of Liverpool, UK
       Yonit Kesten, Ben Gurion University, Israel
       Xiao San Li, United Nations University at Macau,
       Doron Peled, The University of Texas at Austin, USA
       Wojtek Penczek, Polish Academy of Sciences, Poland
       Alberto Policriti, Universita' di Udine, Italy
       Hans Juergen Ohlbach, Institut für Informatik, Munich, Germany
       Mehmet Orgun,  Macquarie University, Australia
       Alexander Rabinovich, Tel Aviv University, Israel
       Bernd-Holger Schlingloff, University of Bremen, Germany
       Philippe Schnoebelen, CNRS, Framce
       A. Prasad Sistla, The University of Illinois at Chicago, USA
       Colin Stirling, Edinburgh University, UK
       Pierre Wolper, Universite de Liege, Belgium
 
-Track 4: Temporal Logic Theory

       Johan van Benthem, University of Amsterdam, The Netherlands
       Thomas Bittner, Northwestern University, USA
       Marcelo Finger, Universidade de Sao Paulo, Brasil
       Valentin Goranko, Rand Afrikaans University, South Africa
       Rajeev Goré, Australian National University, Australia
       Thomas A. Henzinger, University of California at Berkeley, USA
       Ian Hodkinson, Imperial College London, UK
       Szabolcs Mikulas, Birkbeck College London, UK
       Debasis Mitra, Jackson State University, USA   
       Jochen Renz, TU Wien, Austria
       Maarten de Rijke, University of Amsterdam, The Netherlands
       Yde Venema, University of Amsterdam, The Netherlands
       Heinrich Wansing, Technical University, Dresden, Germany
       Frank Wolter, Universitaet Leipzig, Germany
       Michael Worboys, University of Maine, USA
       Alberto Zanardo, University of Padova, Italy


CONFERENCE OFFICERS

General Chairs:
        Jan Chomicki, University at Buffalo, USA
        Michael Zakharyaschev, King's College London, UK

Program Committee Chairs:
        Abdul Sattar, Griffith University, Australia
        Mark Reynolds, Murdoch University, Australia

Organisation Chairs:
        Guido Governatori, University of Queensland, Australia
        Hans Werner Guesgen, University of Auckland, New Zealand

Publicity Chair:
        Tim French, The University of Western Australia

IMPORTANT DATES

 Paper Submission Deadline:     21 February, 2003
 Notification of Acceptance:     4 April, 2003
 Camera Ready Copy Due:         25 April, 2003
 TIME-ICTL-2003 Symposium:    8-10 July, 2003

FURTHER INFORMATION:  http://time-ictl.cs.uwa.edu.au/
--------------------------------------------------------------------------
To subscribe or unsubscribe yourself from
dbworld, send a msg to majordomo-hcNo3dDEHLuVc3sceRu5cw@xxxxxxxxxxxxxxxx with 
one of these lines:
subscribe dbworld OR unsubscribe dbworld
To find out more options send a msg with the line:
help
To post messages, go to URL www.cs.wisc.edu/dbworld
--------------------------------------------------------------------------