Logic List Mailing Archive

TIME-ICTL 2003, Cairns (Australia), July 2003

TIME-ICTL 2003
Cairns, Queensland, Australia
8-10 July, 2003  
                                     
10th International Symposium on 
TEMPORAL REPRESENTATION AND REASONING

and

4th International Conference on 
TEMPORAL LOGIC

http://time-ictl.cs.uwa.edu.au/                                                

                      
In the year 2003 the TIME Symposium and ICTL will be held as a combined
event. The idea is to bring together active researchers from distinct
research areas involving representation of, or reasoning with, time.  As
with previous meetings in these respected series, one of the main goals of
this conference will be to bridge the gap between theoretical and applied
research in temporal representation and reasoning. Thus, we especially
encourage submissions concerning temporal aspects 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 topic and to benefit from
cross-fertilisation of ideas.
                      
There are four tracks in the symposium with separate program committees,
all overseen by the program chairs. The conference is planned as a
three-day event, and will be organised as a combination of technical paper
presentations, an extended poster session, and four keynote talks.