6-8 September 2010
Paris, France
Seventeenth International Symposium on Temporal Representation and Reasoning (TIME'10) Paris, France September 6--8, 2010 This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning. The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I. Hodkinson, B. Kuijpers, and M. Leucker. The General Chair of the symposium is I. Pratt-Hartmann; the Program Committee Co-Chairs are N. Markey and J. Wijsen; and the Organization Chair is N. Markey. The deadline for submission of abstracts is April 9, 2010. For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/