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

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 time11 at isp.uni-luebeck.de.