CfP: TIME-2002, Temporal Representation and Reasoning Symposium

 -------------------------------------------------------------------
 We apologize if you receive this more than once.  You're receiving
 this message since you are a subscriber of a relevant mailing list.
 -------------------------------------------------------------------

			 First Call For Paper

		    9th International Symposium on
		TEMPORAL REPRESENTATION AND REASONING
			     (TIME-2002)

		http://www.cs.man.ac.uk/img/TIME-2002/

			    Manchester, UK
			    7-9 July, 2002

The purpose of this symposium is to bring together active researchers
from distinct research areas involving representation of, or reasoning
with, time.  As with previous meetings in this respected series, one
of the main goals of this symposium 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 three tracks in the symposium with separate program
committees, all overseen by the program chairs. The symposium is
planned as a three-day event, and will be organised as a combination
of technical paper presentations, an extended poster session, one or
more panels, an industrial session, a system/tool demonstration
session, and three keynote talks.

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

Track 3: Temporal Logic in Computer Science
- modal temporal logic
- first order temporal logics
- expressiveness, decidability, and complexity issues
- specification and verification
- synthesis and execution
- model checking algorithms
- temporal theorem proving
- temporal languages and architectures
- temporal logics for distributed systems
- temporal logics of knowledge
- hybrid systems
- tools and practical systems


PAPER SUBMISSION

All submissions must be received by Friday 22 February, 2002. Papers
must not exceed the length of 11 pages; font size must be 11pt or
larger. It is suggested the use of the LaTeX article style at
11pt. Overlength submissions will be rejected without review. Please,
indicate the 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-2002 web page: http://www.cs.man.ac.uk/img/TIME-2002/


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
       Mark Boddy, Honeywell Systems and Research Center, USA
       Iliano Cervesato, Naval Research Laboratory, USA
       Philippe Dague, Universite' Paris-Nord, France
       Michael Gelfond, Texas Tech University, USA
       Alfonso Gerevini, Universita' di Brescia, Italy
       Gerard Ligozat, Universite' Paris-Sud, France
       Carsten Lutz, University of Aachen, Germany
       Ian Pratt-Hartmann, University of Manchester, UK
       Abdul Sattar, Griffith University, Australia
       Mark Steedman, University of Edinburgh, UK
       Paolo Terenziani, Universita' del Piemonte Orientale, Italy
       Thierry Vidal, ENIT, France

- Track 2: Time Management in Databases
       Elisa Bertino, Universita' di Milano, Italy
       Michael Bohlen, Aalborg University, Denmark
       Carlo Combi, Universita' di Verona, Italy
       Christian Jensen, Aalborg University, Denmark
       Manolis Koubarakis, University of Crete, Greece
       Peter Revesz, University of Nebraska-Lincoln, USA
       V.S. Subrahmanian, University of Maryland, USA
       Vassilis J. Tsotras, University of California, Riverside, USA
       David Toman, University of Waterloo, Canada
       Alex Tuzhlin, New York University, USA
       Xiaoyang Sean Wang, George Mason University, VA, USA
       Jef Wijsen, Universite' de Mons-Hainaut, Belgium
       Michael Worboys, Keele University, UK

- Track 3: Temporal Logic in Computer Science
       Howard Barringer, Univ. of Manchester, UK
       Dennis Dams, Bell Labs, USA
       Laura Dillon, Michigan State University, USA
       Marcelo Finger, Universidade de Sao Paulo, Brasil
       Thomas A. Henzinger, University of California at Berkeley, USA
       Wojtek Penczek, Polish Academy of Sciences, Poland
       Alberto Policriti, Universita' di Udine, Italy
       Mark A. Reynolds, Murdoch University, Australia
       Maarten de Rijke, University of Amsterdam, The Netherlands
       Colin Stirling, Edinburgh University, UK
       Moshe Y. Vardi, Rice University, USA
       Yde Venema, University of Amsterdam, The Netherlands
       Pierre Wolper, Universite de Liege, Belgium
       Frank Wolter, Universitaet Leipzig, Germany
       Michael Zakharyaschev, King's College, UK


SYMPOSIUM OFFICERS

General Chairs:
   Claudio Bettini, Univ. di Milano, Italy
   Angelo Montanari, Univ. di Udine, Italy

Program Committee Chairs:
   Alessandro Artale, Dept. of Computation, UMIST, Manchester, UK
      artale@co.umist.ac.uk
   Michael Fisher, Dept. of Computer Science, Univ. of Liverpool, UK
      M.Fisher@csc.liv.ac.uk

Organisation Chairs:
   Clare Dixon, Dept. of Computer Science, Univ. of Liverpool, UK
      C.Dixon@csc.liv.ac.uk
   Enrico Franconi, Dept. of Computer Science, Univ. of Manchester, UK
      franconi@cs.man.ac.uk

Industrial Chair:
   Babis Theodoulidis, Dept. of Computation, UMIST, Manchester, UK
      babis@co.umist.ac.uk

Demonstration/Tool Session Chair:
   Ullrich Hustadt, Department of Computer Science, Univ. of  Liverpool, UK
      U.Hustadt@csc.liv.ac.uk


STEERING COMMITTEE

 Johan van Benthem, University of Amsterdam and Stanford University
 Claudio Bettini, Universita' degli Studi di Milano, Italy
 Luca Chittaro, Universita' degli Studi di Udine, Italy
 Jan Chomicki, University at Buffalo, USA
 Clare Dixon, University of Liverpool, UK
 Michael Fisher, University of Liverpool, UK
 Scott Goodwin, University of Regina, Canada
 Howard Hamilton, University of Regina, Canada
 Lina Khatib, Kestrel/NASA Ames Research Center, USA
 Angelo Montanari, Universita' degli Studi di Udine, Italy
 Bernhard Nebel, Albert-Ludwigs-Universitaet Freiburg, Germany
 Andre' Trudel, Acadia University, Canada


IMPORTANT DATES

 Paper Submission Deadline:   22 February, 2002
 Notification of Acceptance:  8 April, 2002
 Camera Ready Copy Due:       22 April, 2002
 TIME-2002 Symposium:         7-9 July, 2002

Received on Monday, 15 October 2001 11:43:52 UTC