!!! Please circulate !!!
(Apologies if you receive this message more than once.)
THE EIGHTH INTERNATIONAL SYMPOSIUM ON
TEMPORAL REPRESENTATION AND REASONING
(TIME-01)
http://tizero.usr.dsi.unimi.it/~time-01/
Cividale del Friuli, Italy
June 14-16, 2001
CALL FOR PAPERS
The purpose of this symposium is to bring together active researchers
in different research areas involving time representation and
reasoning. Research papers on the related topic of spatial and
spatio-temporal representation and reasoning are also welcome.
Traditionally, most contributions came from the Artificial
Intelligence community, but the number of contributions from other
areas such as Temporal/Spatial Databases and Temporal Logics has been
increasing in the last years. We especially encourage submissions from
these areas in order to achieve a multi-disciplinary perspective of
the topic and to benefit from cross-fertilization of ideas.
Previous editions have been successful at bridging the gaps between
theoretical and applied research in temporal representation and
reasoning, and this will also be one of the main goals of this
edition.
The symposium is planned as a three days event, and it will be
conducted as a combination of paper presentations, an extended poster
session, a panel session and two invited talks.
There are three tracks in the Symposium with separate program
committees. 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 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 logics and ontologies
- temporal constraint reasoning
- reasoning about actions and change
- temporal languages and architectures
- 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
Track 3: Temporal Logic in Computer Science
- pure temporal logic
- expressiveness, decidability, and complexity issues
- specification and verification
- 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
Accepted papers will be invited for full presentation or a poster
presentation. All submissions must be received by February 2, 2001.
Papers must not exceed the length of 10 pages and please
indicate the track and topic(s) on the first page. Font size must be
11pt or larger.
PAPER SUBMISSION
- Electronic submission:
The strongly preferred way to submit your paper is via the form
available at the TIME-01 web page
(http://tizero.usr.dsi.unimi.it/~time-01/).
- Hardcopy submission:
An alternative, discouraged, way is hardcopy submission. In this case,
authors must send four copies of their papers to one of the program
co-chairs. The contact information of the contacting author should be
explicitly given, either in the cover letter or in the title page of the
paper. Four copies must reach one of the program chairs on or before the
deadline at the following address:
Prof. Claudio Bettini ([log in to unmask])
Dipartimento di scienze dell'informazione
Universita' degli Studi di Milano
via Comelico 39, Milano, Italy
Tel: +39 0258356281 Fax: +39 0258356276
Prof. Angelo Montanari ([log in to unmask])
Dipartimento di Matematica e Informatica
Universita' degli Studi di Udine
Udine, Italy
Tel: +39 432 55-8477 Fax: +39 432 55-8499
TIME-01 PROCEEDINGS
Proceedings will be published as usual by IEEE Computer Society Press.
Published papers are subject to IEEE Copyright.
As in previous editions, we will do our best to have a journal special
issue with extended versions of selected papers from the symposium.
SYMPOSIUM LOCATION
The symposium will be held in a very nice old castle in Cividale
(http://tizero.usr.dsi.unimi.it/~time-01/location.html).
TIME-01 ORGANIZATION
General Chair:
Johan van Benthem, University of Amsterdam and Stanford
University
Program Committee Chairs:
Claudio Bettini, Universita' degli Studi di Milano, Italy
[log in to unmask]
Angelo Montanari, Universita' degli Studi di Udine, Italy
[log in to unmask]
Local Organization Chair:
Carlo Combi, Universita' degli Studi di Udine, Italy
[log in to unmask]
PROGRAM COMMITTEE
- Track1: Temporal Representation and Reasoning in AI
Peter van Beek, University of Waterloo, Canada
Mark Boddy, Honeywell Systems and Research Center, USA
Luca Chittaro, Universita' di Udine, Italy
Philippe Dague, Universite' Paris-Nord, France
Michael Gelfond, Texas Tech University, USA
Alfonso Gerevini, Universita' di Brescia, Italy
Scott Goodwin, University of Regina, Canada
Howard Hamilton, University of Regina, Canada
Pat Hayes, University of West Florida, USA
Lina Khatib, NASA Ames Research Center, USA
Gerard Ligozat, Universite' Paris-Sud, France
Robert A. Morris, NASA Ames Research Center, USA
Erik Sandewall, University of Linkoeping, Sweden
Abdul Sattar, Griffith University, Australia
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
Michael Bohlen, Aalborg University, Denmark
Jan Chomicki, SUNY at Buffalo, NY, USA
Carlo Combi, Universita' di Udine, Italy
Ramez El-Masri, University of Texas, Arlington, TX, USA
Christian Jensen, Aalborg University, Denmark
Manolis Koubarakis, University of Crete, Greece
Tamer Ozsu, University of Waterloo, Canada
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
X. Sean Wang, George Mason University, VA, USA
Jef Wijsen, Universite' de Mons-Hainaut, Belgium
- Track 3: Temporal Logic in Computer Science
Iliano Cervesato, Naval Research Laboratory, USA
Dennis Dams, Bell Labs, USA
Clare Dixon, Manchester Metropolitan University, UK
Marcelo Finger, Universidade de Sao Paulo, Brasil
Michael Fisher, Manchester Metropolitan University, UK
Thomas A. Henzinger, University of California at Berkeley, USA
Peter B. Ladkin, Universitaet Bielefeld, Germany
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
IMPORTANT DATES
Paper Submission Deadline: February 2, 2001
Notification of Acceptance: April 2, 2001
Camera Ready Copy Due: April 15, 2001
TIME-01 Symposium: June 14-16, 2001
|
