22. TIME 2015: Kassel, Germany

Invited Presentations

Session 1: Temporal Networks

Session 2: Temporal Databases

Session 3: Temporal Logics and Verification I

Session 4: Temporal Logics and Verification II

Session 5: Temporal Aspects in A.I.

Panel Session

maintained by Schloss Dagstuhl LZI at University of Trier