19th TIME 2012: Leicester, United Kingdom

Invited Talks

Point-Based Temporal Logics

Intervals and Interval Temporal Logics

Timed Automata and Metric Temporal Logics

Temporal Constraints, Natural Language and Machine Learning

Databases and Data Streams

a service of Schloss Dagstuhl - Leibniz Center for Informatics