---------- Forwarded Message ----------

Subject: TIME'02: Last Call for Papers Date: Tue, 29 Jan 2002 15:20:47 +0000 From: Alessandro Artale artale@CO.UMIST.AC.UK To: ISWORLD@LISTSERV.HEANET.IE

(We apologise for multiple copies)

********************************************************************

Second 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.

INVITED SPEAKERS

AI Track: Prof. Hans Kamp (University of Stuttgart) DB Track: Dr. David Toman (University of Waterloo) CS Track: Prof. Moshe Vardi (Rice University) Industrial Session: Hugh Darwen (IBM, Warwick)

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

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

There are three categories of submissions:

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

B. SYSTEM DESCRIPTIONS. Submissions must not exceed the length of 6 pages; font size must be 11pt or larger. The submission should describe an implemented tool and its features. Every system description should be accompanied by a system demo during the symposium. Papers intended for this program should be clearly marked as system/demo track papers.

C. INDUSTRIAL DEVELOPMENTS. Submissions must not exceed the length of 6 pages; font size must be 11pt or larger. Papers describing significant results or problems encountered are especially valuable to the research community. Papers intended for this program should be clearly marked as industrial track papers.

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-2002 web page: \verb+http://www.cs.man.ac.uk/img/TIME-2002/+. 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 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 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 Session 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 Windsor, 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

___________________________________________________________________

|The Sender assumes responsibility that this message conforms to the |ISWorld list policy and conditions of use available at: |http://www.isworld.org/isworldlist |----------------------- ISWorld Net Footer ------------------------ | Need help with ISWorld? -> http://www.isworld.org/isworldlist | If you can't find an answer contact isworld_manager@cornell.edu |___________________________________________________________________

-------------------------------------------------------