Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Date: 6-8 September 2010
Location: Paris, France
Deadline: 9 April 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.

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.