[TYPES] TIME'05 Last Call for Papers (extended deadline)

David Toman david at uwaterloo.ca
Wed Jan 12 15:15:17 EST 2005



	Second Call For Papers

The 12th International Symposium on

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.


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


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

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 papers should be submitted as PDF files. 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 29, 2005.


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

Betty Salzberg, Northeastern University, USA: Temporal Indexing.


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, Western Australia, Australia
Mark Ryan, Birmingham, UK
Cyrus Shahabi, USC, USA	
Vassilis Tsotras, Riverside, USA
Michael Zakharyaschev, King's College, UK
Carlo Zaniolo, UCLA, USA

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


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


time2005 at cse.buffalo.edu

More information about the Types-list mailing list