Call for participation: TIME 2015 in Kassel, Germany, 23/09/15 - 25/09/15

[Martin Lange]

*** Apologies for multiple copies ***

Call for participation

22nd International Symposium on Temporal Representation and Reasoning, 
TIME 2015

September 23rd - 25th, 2015, Kassel, Germany

http://time2015.uni-kassel.de

*** Early registration deadline: July 31st, 2015 ***


TIME 2015 aims to bring together researchers interested in reasoning 
about temporal
aspects of information in any area of Computer Science. The symposium, 
currently in
its 22nd edition, has a wide remit and intends to cater both for 
theoretical aspects and
well-founded applications. One of the key aspects of the time symposium 
is its inter-
disciplinarity 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 AI, Databases, as well as Logic and Verification. The 
two-and-a-half-days scientific
programme with 3 invited presentations, 17 contributed talks and a panel 
session on
temporal databases will be complemented with two social events on the 
first and second
evening. Please consult the TIME 2015 website for further information, 
including the list
of accepted papers.


Invited Speakers
****************
- Carlo Zaniolo (UCLA): User-Friendly Temporal Queries on Wikipedia
- Benedikt Bollig (ENS Cachan): Verification of Distributed Algorithms
- Giuseppe de Giacomo (Sapienza Università di Roma): Linear dynamic 
logic on finite
    traces: from verification to synthesis


Venue
******
TIME2015 will be held at the University of Kassel. The city of Kassel is 
situated in the
center of Germany with convenient train connections to major cities and 
airports, including
Frankfurt. Kassel is a center of culture and art, once home to the 
famous Brothers Grimm,
now hosting an art school of high reputation and the documenta - 
regarded to be Europe’s
most important modern art exhibition taking place every fifth year only. 
The 300-year-old
“Bergpark”, a large park-like area with a castle and monuments at 
Kassel’s western
boundaries, has recently been given the status of a UNESCO heritage site 
and become a
major tourist attraction since. For more information please consult
http://www.kassel.de/englisch/.





-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20150716/9ef4e9ea/attachment.html>