TIME 2013

Date: Sep 26, 2013 – Sep 28, 2013
Location: Pensacola, FL

20th International Symposium on Temporal Representation and Reasoning

Symposium Scope

TIME has been for more than a decade the only yearly multidisciplinary international event dedicated to the topic of time in computer science. The purpose of the symposium is to bring together active researchers in different research areas involving temporal representation and reasoning. The symposium also welcomes research papers on the related topics of spatial and spatio-temporal representation and reasoning. 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.

Brief History

The TIME International Symposium Series began in 1994. The first six annual meetings were held as workshops in conjunction with the FLAIRS (Florida Artificial Intelligence Research Society) annual conference. As the workshop has grown, in 2000, the organizers decided to hold the annual meeting as an independent event. Over the years, participation of researchers from areas outside of mainstream AI (especially the database community) has grown. For this reason, beginning with TIME-2001, we have opened the meeting to active researchers in temporal, spatial, and spatio-temporal representation and reasoning from all areas. Additionally, since the annual meeting had matured and the format had evolved, since 2001 it changed its status from a workshop to a symposium. Also, beginning with TIME-2001, a track format has been adopted, with AI, DB, and Logic being the three main tracks.

Steering Committee

 

  • Claudio Bettini, University of Milan
  • Stephane Demri, LSV, CNRS & ENS de Cachan
  • Clare Dixon, University of Liverpool
  • Martin Leucker, Technische Universität München
  • Angelo Montanari, Università di Udine
  • Mark Reynolds, The University of Western Australia
  • David Toman, University of Waterloo
  • André Trudel, Acadia University
  • Jef Wijsen, Université de Mons

 

Symposium Chairs:

  • Cesar Sanchez, IMDEA Software Institute and CSIC, Spain
  • K. Brent Venable, Tulane University and IHMC, USA
  • Esteban Zimanyi, Universite Libre de Bruxelles, Belgium
  • CPS Technologies
  • Architectures
  • Concurrency and Timing
  • Heterogeneous Timing
  • Models of Computation
  • Real-time Systems
  • Time Synchronization
  • Real-Time Coordination
  • Resilient Systems
  • Science of Security
  • Symposium
  • 2013
  • Announcement
Submitted by Anonymous on
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.