TIME 2006

International Symposium on
Temporal Representation and Reasoning

Budapest, Hungary

June 15 - 17, 2006


Schedule

Submissions

Aims

Topics of Interest

Important Dates

General Chair

Program Committee
Chairs

Program Committee

Invited Speakers

Conference Venue

Registration Information

More Information

Travel Information



News

May 22, 2006 - Click here for general tips and information on traveling in Budapest.
May 10, 2006 - Links to hotels located near the conference venue have been added here
March 30, 2006 - A tentetive schedule has been posted. It can be found here
March 21, 2006 - Updated venue and registration information are now available.
March 19, 2006 - E-mails regarding decisions on submitted papers have been sent out. If you have not received your decision, please contact Amber Stubbs
March 16, 2006 - The previous information about registration has been removed for review. More information will be available shortly.
March 15, 2006 - The date for informing authors of acceptance has been extended until March 17th. Other updates to the scedule will be announced in the next few days. We apologize for the delay.
March 10, 2006 - Information about registration is now available. Click here.


-----

Aims

The 13th International Symposium on Temporal Representation and Reasoning will be held on June 15 - 17, 2006 in Budapest, Hungary. The symposium will bring together researchers working in various areas that involve 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.


-----

Topics of Interest

The topics of interest include but are not limited to the following:

  • 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
    • spatio-temporal reasoning
  • Representation and Reasoning about Time in Language:
    • database representations of temporal information from text
    • temporal information extraction
    • standards for encoding the values of temporal expressions in natural language
    • establishing ordering, inclusion, and coreference relations in temporal information
    • leveraging of ontologies for temporal information
    • reasoning about modals, i.e., possible events, necessary events, counterfactual events, etc.
    • semantics of indeterminate or vague temporal references
    • semantics and pragmatics of temporal prepositions
    • application of logics for temporal reasoning in language
    • computational analysis of temporal aspects of narrative structure
  • Time Management in Databases:
    • (spatio)-temporal data models/query languages/indexing/systems
    • moving objects databases
    • constraint databases
    • temporal data mining
    • time in multimedia, federated and heterogeneous systems
    • querying time series and data streams
    • time in workflow and ECA systems
    • time-dependent security policies
  • Temporal Logic in Computer Science:
    • specification and vverification of systems
    • synthesis and execution
    • model checking algorithms
    • verification of infinite-state systems
    • reasoning about transition systems
    • temporal architectures
    • temporal logics of knowledge or distributed systems
    • hybrid systems and real-time logics
    • tools and practical systems
    • temporal issues in security

The symposium welcomes new directions in time research and topics that are currently underrepresented in the symposium.


-----

Important Dates

Paper Submission Deadline (EXTENDED) February 6, 2006
Notification of Acceptance March 17, 2006
Camera Ready Copy Due April 3, 2006
TIME 2006 Symposium June 15 - 17, 2006

Submissions must not exceed the length of 11 pages; font size must be 11 pt or larger. The papers should be submitted as PDF files. Overlength submissions will be rejected without review. Papers should be electronically submitted via the TIME 2006 website. All submissions must be received by February 6, 2006.

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 organize a special issue of a leading journal, containing extended versions of selected papers from the symposium.


-----

General Chair

Angelo Montanari montana@dimi.uniud.it

Program Committee Chairs

James Pustejovsky jamesp@cs.brandeis.edu
Peter Revesz revesz@cse.unl.edu

Program Committee

Alessandro Artale artale@inf.unibz.it
Claudio Bettini bettini@dico.unimi.it
Bran Boguraev boguraev@gmail.com
Berthe Choueiry choueiry@cse.unl.edu
Jan Chomicki chomicki@cse.buffalo.edu
Carlo Combi combi@sci.univr.it
Stephane Demri demri@lsv.ens-cachan.fr
Michael Fisher m.fisher@csc.liv.ac.uk
Shasha Gadia gadia@cs.iastate.edu
Robert Gaizauskas r.gaizauskas@dcs.shef.ac.uk
Sofie Haesevoets sofie.haesevoets@luciad.com
Keijo Heljanko keijo.heljanko@hut.fi
Jerry Hobbs hobbs@ISI.EDU
George Kollios gkollios@cs.bu.edu
Laszlo Kozma kozma@ludens.elte.hu
Antonin Kucera tony@fi.muni.cz
Bart Kuijpers bart.kuijpers@uhasselt.be
Alex Lascarides alex@inf.ed.ac.uk
Lixin Li lli@georgiasouthern.edu
Inderjeet Mani imani@mitre.org
Hans Jurgen Ohlbach ohlbach@informatik.uni-muenchen.de
Wojciech Penczek penczek@ipipan.waw.pl
Frank Schilder Frank.Schilder@thomson.com
Spiros Skiadopoulos spiros@dblab.ece.ntua.gr
Richard Snodgrass rts@cs.arizona.edu
David Toman david@uwaterloo.ca
Andre Trudel andre.trudel@acadiau.ca
X. Sean Wang xywang@cs.uvm.edu
Frank Wolter frank@csc.liv.ac.uk
Shasha Wu swu@arbor.edu




-----

Invited Speakers

Antony Galton A.P.Galton@exeter.ac.uk
Christian Jensen csj@cs.aau.dk



-----

Conference Venue

The conference will be held at the Hotel Gellert in Budapest, where a block of rooms for conference attendees will be reserved. Budapest, the capital of Hungary, is situated in the heart of Central Europe, on both sides of the Danube (Duna) River. On the right bank lies hilly and wooded Buda and on the left bank plain Pest.

Budapest by Night
Budapest by Day

Hotel Information

Grand Hotel Royal

Kempinski Hotel Corvinus Budapest

Hotel Gellert Budapest

Hotel Taverna Budapest

NH Hotel Budapest

Hotel Liget


-----

Registration Information

Registration for TIME 2006 will open March 15th. Information about registration, is available here.


-----

More Information

For more information, contact James Pustejovsky at jamesp@cs.brandeis.edu.