17-19 Oct 2016
Kungens Lyngby, Denmark
FIRST CALL FOR PARTICIPATION
---------------------------------------------------------------------------------------------------
TIME 2016
23rd International Symposium on Temporal Representation and Reasoning
Final Call for Papers
http://time2016.compute.dtu.dk
TIME 2016 takes place at the Technical University of Denmark.
**** EARLY REGISTRATION OPEN UNTIL 31 August ****
---------------------------------------------------------------------------------------------------
Aim
---------------------------------
TIME 2016 aims to bring together researchers interested in reasoning about
temporal aspects of information in any area of Computer Science. The
symposium, currently in its 23rd 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. 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. The symposium will encompass
three tracks on temporal representation and reasoning in (1) Artificial
Intelligence, (2) Databases and (3) Logic and Verification.
Invited Presentations by
---------------------------------
Kim Guldstrand Larsen, Aalborg University, Denmark
Angelo Montanari, University of Udine, Italy
Paolo Terenziani, University of Piemonte Orientale, Alessandria, Italy
Local organizers
---------------------------------
Michael R. Hansen, Jan Madsen and Karin Tunder. DTU Compute.
Email: time2016(at)compute.dtu.dk
Venue
---------------------------------
TIME 2016 will take place at the campus of the Technical University of
Denmark, hosted by DTU Compute.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam