- Hits: 774
In addition to the proceedings published by IEEE Computer Society, a number of International Journal Special Issues with extended versions of the best papers presented at the symposium have been published.
- Journal of Computational Intelligence, Special Issue on Temporal Representation and Reasoning, Volume 12, Number 3, August 1996. [Contains revised and extended versions of some of the best papers of the TIME-94 workshop.]
- Annals of Mathematics and Artificial Intelligence, Special Issue on Temporal Representation and Reasoning, A. Montanari, L. Chittaro, S. Goodwin, H. Hamilton (Eds), Volume 22, Number 1-2, Kluwer Academic Publishers, 1998. [Contains revised and extended versions of some of the best papers of the TIME-96 Symposium.]
- Annals of Mathematics and Artificial Intelligence, Special Issue on Temporal Representation and Reasoning, C. Dixon and M. Finger and M. Fisher and M. Reynolds (Eds.), Volume 30, Number 1-4, Kluwer Academic Publishers, 2000. [Contains revised and extended versions of some of the best papers of the TIME-99 Symposium.]
- Data & Knowledge Engineering, Special Issue on Temporal Representation and Reasoning, Claudio Bettini and Angelo Montanari (Eds.), Volume 44, Number 2, Elsevier, 2003. [Contains revised and extended versions of some of the best papers of the TIME-01 Symposium.]
- Journal of Logic and Computation, Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi (Eds.), Volume 14, Number 1, Oxford University Press, 2004. [Contains revised and extended versions of some of the best papers of the TIME-02 Symposium.]
- Journal of applied logic, Mark Reynolds, Abdul Sattar (Eds.), Volume 4, Number 2, June 2006. [Contains revised and extended versions of some of the best papers of the TIME-ICTL-03 Symposium.]
- Annals of Mathematics and Artificial Intelligence, Special Issue on Temporal representation and reasoning. Bouzid, M., Combi, C., Fisher, M., Ligozat, G. (Eds), vol. 46, n. 3, p. 231-234, Kluwer Academic Publishers, 2006. [Contains revised and extended versions of some of the best papers of the TIME-04 Symposium.]
- Information and Computation, Jan Chomicki, David Toman (Eds.), Volume 205, Issue 1, January 2007. [Contains revised and extended versions of some of the best papers of the TIME-05 Symposium.]
- Information and Computation. Carlo Combi, Mark Reynolds, Johann Eder (eds.), Selected papers from TIME 2021, the 28th International Symposium on Temporal Representation and Reasoning
- Information and Computation. Roberto Posenato, Alexander Artikis, Stefano Tonetta (eds.) Temporal Representation and Reasoning. [Contains revised and extended versions of the best four papers of the TIME 2022 Symposium]
- Information Systems. Roberto Posenato, Alexander Artikis, Stefano Tonetta (eds.) Temporal Representation and Reasoning in data-intensive systems. [Contains also revised and extended versions of the best papers of the TIME 2022 Symposium about data-intensive systems]
- Hits: 1291
Coming Edition
TIME 2024 https://www.lirmm.fr/time2024/ at Montpellier, France on October 28–30, 2024
Past Editions
Edition | Avenue | List of accepted papers | Proceedings |
---|---|---|---|
TIME 2023 | Athens, Greece | https://dblp.org/rec/conf/time/2023 | LIPIcs |
TIME 2022 | on-line | https://dblp.org/rec/conf/time/2022 | LIPIcs |
TIME 2021 | Klagenfurt, Austria | https://dblp.org/rec/conf/time/2021 | LIPIcs |
TIME 2020 | Bolzano, Italy | https://dblp.org/rec/conf/time/2020 | LIPIcs |
TIME 2019 | Málaga, Spain | https://dblp.org/rec/conf/time/2019 | LIPIcs |
TIME 2018 | Warsaw, Poland | https://dblp.org/rec/conf/time/2018 | LIPIcs |
TIME 2017 | Mons, Belgium | https://dblp.org/rec/conf/time/2017 | LIPIcs |
TIME 2016 | Copenhagen, Denmark | https://dblp.org/rec/conf/time/2016 | IEEE CS |
TIME 2015 | Kassel, Germany | https://dblp.org/rec/conf/time/2016 | IEEE CS |
- Hits: 813
- Alexander Artikis, NCSR "Demokritos", Athens, Greece
- Patricia Bouyer, CNRS and ENS Paris-Saclay, Cachan Cedex, France
- Carlo Combi, University of Verona, Italy (chair)
- Johann Eder, Universitaet Klagenfurt, Austria
- Thomas Guyet, IRISA, Rennes, France
- Luke Hunsberger, Vassar College, USA
- Martin Lange, University of Kassel, Germany (chair)
- Angelo Montanari, University of Udine, Italy
- Shankara Narayanan Krishna (Krishna S.), IIT Bombay, India
- Mark Reynolds, University of Western Australia, Australia
- Hits: 9005
Symposium Scope
The ... silent, never-resting thing called time, rolling, rushing on, swift, silent, like an all-embracing ocean tide ... this is forever very literally a miracle; a thing to strike us dumb
-- Thomas Carlyle, 1840
TIME has been for more than twenty years the only yearly multidisciplinary international event dedicated to the topic of time in computer science.
The purpose of the symposium is to bring together active researchers in different research areas involving temporal representation and reasoning. The symposium also welcomes research papers on the related topics of spatial and spatio-temporal representation and reasoning. In the early years, most contributions came from the Artificial Intelligence community, but the number of contributions from other areas such as Temporal Logic and Verification and partly from Temporal Databases has been increasing in the last years.
Brief History
The TIME International Symposium Series began in 1994. The first six annual meetings were held as workshops in conjunction with the FLAIRS (Florida Artificial Intelligence Research Society) annual conference. As the workshop has grown, in 2000, the organizers decided to hold the annual meeting as an independent event. Over the years, participation of researchers from areas outside of mainstream AI (especially the database community) has grown. For this reason, beginning with TIME-2001, we have opened the meeting to active researchers in temporal, spatial, and spatio-temporal representation and reasoning from all areas. Additionally, since the annual meeting had matured and the format had evolved, since 2001 it changed its status from a workshop to a symposium. Also, beginning with TIME-2001, a track format has been adopted, with AI, DB, and Logic being the three main tracks.