[TYPES] TIME'05 Last Call for Papers

David Toman david at uwaterloo.ca
Mon Dec 20 09:20:41 EST 2004


Last Call For Papers

The 12th International Symposium on
TEMPORAL REPRESENTATION AND REASONING (TIME 2005)

Burlington, Vermont, USA, June 23-25, 2005

URL: http://time2005.cse.buffalo.edu/

The purpose of this symposium is to bring together active researchers
from distinct research areas involving the representation of and
reasoning about temporal phenomena.  As with previous meetings in this
unique and well established series, one of the main goals of the TIME
symposium will be to bridge the gap between theoretical and applied
research in temporal representation and reasoning. Thus, we especially
encourage submissions concerning temporal issues 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 topics and to benefit from
cross-fertilization of ideas.

The special emphasis of TIME 2005 is on NEW DIRECTIONS IN TIME
RESEARCH, for example: querying data streams and moving objects,
temporal data mining, and temporal aspects of agents and policies.

There are three tracks in the symposium with a single program
committee. The conference is planned as a two-and-a-half-day event,
and will be organised as a combination of technical paper
presentations, a poster session, and two keynote talks.

TOPICS

Track 1: Temporal Representation and Reasoning in AI
- temporal aspects of agent- and policy-based systems
- temporal constraint reasoning
- reasoning about actions and change
- temporal languages for planning
- temporal languages and architectures
- ontologies of time and space-time
- expressive power versus tractability
- belief and uncertainty in temporal knowledge
- temporal learning and discovery
- time and nonmonotonicity
- time in problem solving (e.g. diagnosis, scheduling)
- time in human-machine interaction
- spatio-temporal reasoning
- temporal information extraction
- time in natural language processing

Track 2: Time Management in Databases
- temporal data models
- temporal query languages
- indexing of temporal/spatio-temporal data
- temporal database systems
- spatio-temporal databases
- moving objects databases
- constraint databases
- temporal data mining
- time in multimedia databases
- time in e-services and web applications
- time in federated and heterogeneous systems
- time in workflow and ECA systems
- querying time series databases
- querying data streams
- time-dependent security policies

Track 3: Temporal Logic in Computer Science
- specification and verification of systems
- synthesis and execution
- model checking algorithms
- verification of infinite-state systems
- reasoning about transition systems
- temporal architectures
- temporal logics for distributed systems
- temporal logics of knowledge
- hybrid systems and real-time logics
- tools and practical systems
- temporal issues in security

PAPER SUBMISSION

Submitted papers should describe original, previously unpublished
research, should be written in English, and should not be
simultaneously submitted for publication elsewhere.  The authors of
submitted papers are encouraged to reference relevant earlier TIME
papers.

As usual within the TIME series, proceedings will be published by IEEE
Computer Society Press and will be subject to IEEE Copyright.
Accepted papers will be invited for full presentation or poster
presentation.  One author of each accepted paper has to register for
the symposium and present the paper.  Camera ready papers will be
produced with the author kits sent by IEEE Computer Society
Press. It is also our intention to organise a special issue of a
leading journal, containing extended versions of selected papers from
the symposium.

Submissions must not exceed the length of 11 pages; font size must be
11pt or larger. The use of the LaTeX article style is strongly
suggested.  Overlength submissions will be rejected without
review. Please indicate the track and topic(s) on the first page of
the paper.  Papers should be electronically submitted via the form
available at the TIME 2005 web site
(http://time2005.cse.buffalo.edu/).  All submissions must be received
by January 22, 2005.

INVITED SPEAKERS

Patrice Godefroid, Lucent Bell Labs, USA: Generalized Model Checking.

Betty Salzberg, Northeastern University, USA: Temporal Indexing.

PROGRAM COMMITTEE

Walid Aref, Purdue, USA
Claudio Bettini, Milan, Italy
Bernard Boigelot, Liege, Belgium
Clare Dixon, Liverpool, UK
Curtis Dyreson, Washington State, USA
Enrico Franconi, Bozen-Bolzano, Italy
Floris Geerts, Edinburgh, UK
Dimitrios Gunopulos, Riverside, USA
Ian Hodkinson, Imperial College, UK
Christian Jensen, Aalborg, Denmark
Peter Jonsson, Linkoping, Sweden
George Kollios, Boston, USA
Bart Kuijpers, Limburg, Belgium
Orna Kupferman, Hebrew, Israel
Gerard Ligozat, LIMSI, France
Oded Maler, Verimag, France
Angelo Montanari, Udine, Italy
Wojciech Penczek, PAS, Poland
Jean-Francois Raskin, ULB, Belgium
Peter Revesz, Nebraska-Lincoln, USA
Mark Reynolds, Murdoch, Australia
Mark Ryan, Birmingham, UK
Cyrus Shahabi, USC, USA
Vassilis Tsotras, Riverside, USA
Michael Zakharyaschev, King's College, UK
Carlo Zaniolo, UCLA, USA

CONFERENCE OFFICERS

General Chair:
     Pierre Wolper, Univ. Liege, Belgium

Program Committee Chairs:
     Jan Chomicki, University at Buffalo, USA
     David Toman, University of Waterloo, CA

Organization Chair:
     X. Sean Wang, University of Vermont, USA

IMPORTANT DATES

  Paper Submission Deadline:     January 22
  Notification of Acceptance:    March 10
  Camera Ready Copy Due:         April 1
  TIME 2005 Symposium:           June 23-25

FURTHER INFORMATION

time2005 at cse.buffalo.edu

-- 
Dr. David Toman
School of Computer Science            tel: (519) 888-4567 ext 4447
University of Waterloo                fax: (519) 885-1208
200 University Avenue West            david at uwaterloo.ca
Waterloo, Ontario, Canada N2L 3G1     http://db.uwaterloo.ca/~david



More information about the Types-list mailing list