The TIME proceedings have been published by IEEE from 1996 to 2016 (IEEE Link) and later published in LIPIcs.
Proceedings
- Hits: 597
International Symposium on Temporal Representation and Reasoning