Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

8-10 July, 2003, 10th International Conference on TEMPORAL REPRESENTATION AND REASONING and 4th International Conference on TEMPORAL LOGIC (TIME-ICTL-2003), Cairns, Queensland, Australia

Date: 8-10 July, 2003
Location: Cairns, Queensland, Australia
Deadline: 21 February 2003

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.

INVITED SPEAKERS:
Claudio Bettini, Universita' di Milano, Italy
Ron van der Meyden, UNSW, Australia
Gerard Ligozat, Universite' Paris-Sud, France
Edmund Clarke, Carnegie Mellon University, USA

IMPORTANT DATES
Paper Submission Deadline: 21 February, 2003
Notification of Acceptance: 4 April, 2003
Camera Ready Copy Due: 25 April, 2003
TIME-ICTL-2003 Symposium: 8-10 July, 2003

For more information, see http://time-ictl.cs.uwa.edu.au/

Please note that this newsitem has been archived, and may contain outdated information or links.