Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation


16 - 18 October 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Mons, Belgium

Date: 16 - 18 October 2017
Location: Mons, Belgium
Deadline: Monday 8 May 2017

TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.

Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance.

For more information, see http://informatique.umons.ac.be/time2017/.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X