CFP: TIME 2006 Temporal Representation and Reasoning Symposium
- From: "jamesp" <pustejovsky@xxxxxxxxx>
- Date: Tue, 10 Jan 2006 00:35:00 GMT
TIME 2006 CALL FOR PAPERS
INTERNATIONAL SYMP. ON TEMPORAL REPRESENTATION AND REASONING
Budapest, Hungary
June 15-17, 2006
http://www.time2006.org
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: January 30, 2006
Notification of Acceptance: March 13, 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 (http://www.time2006.org). All submissions must be
received by January 30, 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
PROGRAM COMMITTEE
Alessandro Artale
Claudio Bettini
Bran Boguraev
Berthe Choueiry
Jan Chomicki
Carlo Combi
Stephane Demri
Michael Fisher
Shashi Gadia
Robert Gaizauskas
Sofie Haesevoets
Keijo Heljanko
Jerry Hobbs
George Kollios
Laszlo Kozma
Antonin Kucera
Bart Kuijpers
Alex Lascarides
Lixin Li
Inderjeet Mani
Hans Jurgen Ohlbach
Wojciech Penczek
James Pustejovsky (co-Chair)
Peter Revesz (co-Chair)
Frank Schilder
Spiros Skiadopoulos
Richard Snodgrass
David Toman
Andre Trudel
X. Sean Wang
Frank Wolter
Shasha Wu
INVITED SPEAKERS:
Antony Galton
Christian Jensen
[ comp.ai is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to <comp-ai@xxxxxxxxxxxxxxxxxx>, and ]
[ ask your news administrator to fix the problems with your system. ]
.
- Prev by Date: Re: Algorithm/Theory help: Patterns, comparing, calculating 'distance' between?
- Next by Date: Re: Ants & AI ?
- Previous by thread: CFP: Special Issue on Soft computing in AI, Data and Web ...
- Next by thread: Re: Ants & AI ?
- Index(es):
Relevant Pages
|
