Please note that this newsitem has been archived, and may contain outdated information or links.
6-8 September 2010, Temporal Representation and Reasoning (TIME'10), Paris, France
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.
For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/.
Submissions of high quality papers describing research results or on-going work are solicited. The deadline for submission of abstracts is April 9, 2010.
Please note that this newsitem has been archived, and may contain outdated information or links.