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

maintained by Schloss Dagstuhl LZI, founded at University of Trier