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.

12-14 September 2011, Eighteenth International Symposium on
Temporal Representation and Reasoning (TIME 2011), Luebeck, Germany

Date: 12-14 September 2011
Location: Luebeck, Germany
Deadline: 13 April 2011

The TIME symposium series is a well-established annual event that brings together researchers from all areas of computer science that involve temporal representation and reasoning. This includes, but is not limited to, artificial intelligence, temporal databases, and the verification of software and hardware systems. In addition to fostering interdisciplinarity, the TIME symposia emphasize bridging the gap between theoretical and applied research. This year, TIME will feature a special track on interval temporal logics.

The conference will span three days, and will be organized as a combination of technical paper presentations, keynote lectures, and tutorials. Additionally, the organizers have made arrangements to facilitate the running of one day workshops on September 11 and September 15.

For more information, see http://www.isp.uni-luebeck.de/time11/ or contact .

Submissions of high quality papers describing research results are solicited. Abstract submission deadline is 13.04.2011.

Please note that this newsitem has been archived, and may contain outdated information or links.