Michael Fisher <[log in to unmask]> wrote:
>
> Call For Papers
> ---------------
>
> 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, Technical 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
> [log in to unmask]
> Michael Fisher, Dept. of Computer Science, Univ. of Liverpool, UK
> [log in to unmask]
>
> Organisation Chairs:
> Clare Dixon, Dept. of Computer Science, Univ. of Liverpool, UK
> [log in to unmask]
> Enrico Franconi, Dept. of Computer Science, Univ. of Manchester, UK
> [log in to unmask]
>
> Industrial Chair:
> Babis Theodoulidis, Dept. of Computation, UMIST, Manchester, UK
> [log in to unmask]
>
> Demonstration/Tool Session Chair:
> Ullrich Hustadt, Department of Computer Science, Univ. of Liverpool, UK
> [log in to unmask]
>
> 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, 2