All conferences / TIME / 2022
TIME 2022
29th International Symposium on Temporal Representation and Reasoning
Submission timeline
-
26 Jun 2022
Abstract registration
AoE
19 Jun 2022→ 26 Jun 2022 +7 days -
3 Jul 2022
Full paper
AoE
26 Jun 2022→ 3 Jul 2022 +7 days - 1 Aug 2022 Notification
- 7 Nov 2022 Conference opens
What to submit
- Format
- 12 pages LIPIcs (+ references + 5 pages appendix)
- Proceedings
- LIPIcs — CC BY
The authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in Information Systems.
Call for papers
- After a deadline extension TIME-2022-extended.txt · TXT · shown below
- As first published TIME-2022.txt · TXT
The call, as published
Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at time2022.time-symposium.org.
Website : http://time2022.time-symposium.org/
Tracks
Time in Artificial Intelligence
Temporal Databases
Temporal Logic and Reasoning
Topics
Topics for TIME 2022 include (but are not limited to):
Spatial and temporal reasoning
Time in natural language processing
Spatio-temporal knowledge representation systems
Reasoning about actions and change
Planning and planning languages
Ontologies of time and space-time
Belief and uncertainty in temporal knowledge
Temporal learning and discovery
Temporal data models and query languages
Temporal query processing and indexing
Temporal data mining
Time series data management
Stream data management
Spatio-temporal data management, including moving objects
Data currency and expiration
Indeterminate and imprecise temporal data
Temporal constraints
Specification and verification of systems
Verification of software and web applications
Synthesis and execution
Model checking algorithms and implementations
Temporal logics for infinite-state systems
Runtime verification of temporal properties
Temporal aspects of agent- and policy-based systems
Complex event recognition and forecasting
Temporal Networks
Submissions & Publication
TIME 2022 accepts submissions in PDF format, no longer than 12 pages excluding references and appendix. The appendix is limited to 5 pages, and the reviewers may or may not take it into account for their recommendation. Submissions must be formatted following the LIPIcs instructions (https://submission.dagstuhl.de/documentation/authors), and preferably redacted in LaTex.
Submit your paper here: https://easychair.org/conferences/?conf=time22
TIME policy is single blind, so the names of the authors need not be hidden in the submitted draft. Members of the program committee are allowed to submit papers. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference.
Submissions to TIME 2022 must be original; parallel submissions of the same material to other conferences or journals are not allowed. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics (https://www.dagstuhl.de/en/publications/lipics/). This is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper.
The authors of the top-ranked papers will be invited to submit an extended version of their contribution to a special issue in Information Systems or Information and Computation.
Registration
Registration to TIME 2022 is free.
Important Dates
Abstracts due:
June 19, 2022, 23:59, AoE June 26, 2022, 23:59, AoE
Papers due:
June 26, 2022, 23:59, AoE July 3, 2022, 23:59, AoE
Notification:
August 01, 2022
Final camera-ready version:
August 25, 2022
Conference:
November 07-09, 2022
Invited Speakers
Moshe Y. Vardi Rice University
Programme Committee Chairs
Alexander Artikis University of Piraeus & NCSR "Demokritos", Greece
Roberto Posenato University of Verona, Italy
Stefano Tonetta FBK, Italy
Program Committee Members
Alessandro Artale Free University of Bolzano-Bozen, Faculty of Computer Science
Davide Bresolin University of Padua
Krysia Broda Imperial College
François Bry Ludwig Maximilian University of Munich
Jaewook Byun Sejong University
Carlo Combi Università degli Studi di Verona
Stéphane Demri CNRS, LMF, ENS Paris-Saclay
Clare Dixon University of Manchester
Alexandre Duret-Lutz LRDE/EPITA
Johann Eder Alpen-Adria-Universität Klagenfurt
Marco Franceschetti Alpen-Adria-Universität Klagenfurt
Rajeev Gore The Australian National University
Gopal Gupta The University of Texas at Dallas
Thomas Guyet Inria
Sylvain Hallé Université du Québec à Chicoutimi
Luke Hunsberger Vassar College
Nikos Katzouris NCSR "Demokritos"
Roman Kontchakov Birkbeck, University of London
Martin Lange University of Kassel, Germany
Stephane Le Roux ENS Paris-Saclay
Jianwen Li East China Normal University
Peter Lucas University of Twente
Andrea Micheli Fondazione Bruno Kessler
Daniel Neider Carl von Ossietzky University Oldenburg
Dejan Nickovic Austrian Institute of Technology AIT
Paritosh Pandya TIFR
Romeo Rizzi University of Verona
Matteo Rossi Politecnico di Milano
Lucia Sacchi University of Pavia
Isak Samsten Stockholm University
Spiros Skiadopoulos University of Peloponnese
Francesca Zerbato Institute of Computer Science, University of St. Gallen
Steering Committee
Alexander Artikis University of Piraeus & NCSR "Demokritos", 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
Shankara Narayanan Krishna
(Krishna S.) IIT Bombay, India
Martin Lange University of Kassel, Germany (chair)
Angelo Montanari University of Udine, Italy
Mark Reynolds University of Western Australia, Australia