TIME 2016 Home
Accepted Papers
Call for papers
Committees
Important Dates
Submission
Invited Speakers
Programme
- Monday
- Tuesday
- Wednesday
Registration
Accommodation
Venue
Background of TIME
Wonderful Copenhagen
|
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.
The symposium will encompass three tracks on temporal representation and reasoning in Artificial Intelligence, Databases and Logic and Verification.
|
|