TIME-2023: 30th International Symposium on Temporal Representation and Reasoning National Centre for Scientific Research (NCSR) Demokritos Athens, Greece, September 25-26, 2023 |
Conference website | https://cer.iit.demokritos.gr/events/time23/ |
Submission link | https://easychair.org/conferences/?conf=time2023 |
Abstract registration deadline | May 12, 2023 |
Submission deadline | May 19, 2023 |
Since 1994, the TIME International Symposium brings together researchers from different disciplines of Computer Science working on temporal aspects of computational systems.
Submission Guidelines
TIME 2023 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. Please submit using EasyChair via https://easychair.org/conferences/?conf=time2023.
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 2023 must be original; parallel submissions of the same material to other conferences or journals are not allowed.
In addition to theoretical work, we invite submissions focusing on the development, deployment and evaluation of systems for temporal reasoning. Such systems papers will be evaluated primarily on the quality of the empirical evaluation and reusability.
List of Topics
- Time in Artificial Intelligence
- Time in Data Science
- Temporal Logic and Reasoning
- Spatial and temporal reasoning
- Time in natural language processing
- Reasoning about action and change
- Complex event recognition and forecasting
- 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
- Temporal Networks
Committees
Program Committee
- S. Akshay, IIT Bombay
- Elias Alevizos, NCSR "Demokritos
- Alessandro Artale, Free University of Bolzano-Bozen, Faculty of Computer Science
- Alexander Artikis, NCSR "Demokritos" & University of Piraeus, Greece (co-chair)
- Bartosz Bednarczyk, TU Dresden & University of Wrocław
- Jim Boerkoel, Harvey Mudd College
- Patricia Bouyer, CNRS and ENS Paris-Saclay
- Davide Bresolin, University of Padua
- Florian Bruse, University of Kassel (co-chair)
- Jaewook Byun, Sejong University
- Carlo Combi, University of Verona
- Paulo Cortez, University of Minho
- Clare Dixon, University of Manchester
- Christos Doulkeridis, University of Piraeus
- Curtis Dyreson, Utah State University
- Johann Eder, Alpen-Adria-Universität Klagenfurt
- Marco Franceschetti, University of St. Gallen
- Silvia García, GTI
- Gopal Gupta, The University of Texas at Dallas
- Sylvain Hallé, Université du Québec à Chicoutimi
- Luke Hunsberger, Vassar College (co-chair)
- Nikos Katzouris, NCSR "Demokritos
- Mourad Khayati, University of Fribourg
- Roman Kontchakov, Birkbeck, University of London
- Francois Laroussinie, LIAFA, Univ. Paris 7, CNRS
- Danh Le Phuoc, TU Berlin
- Stephane Le Roux, ENS Paris-Saclay
- Jianwen Li, East China Normal University
- Peter Lucas, University of Twente
- Ruizhe Ma, University of Massachusetts Lowell
- Nicolas Markey, IRISA, CNRS & INRIA & Univ. Rennes 1
- Andrea Micheli, Fondazione Bruno Kessler
- Daniel Neider, TU Dortmund
- Andrea Orlandini, CNR
- Paritosh Pandya, TIFR
- Roberto Posenato, Dipartimento di Informatica - Università degli Studi di Verona
- Manfred Reichert, University of Ulm
- Matteo Rossi, Politecnico di Milano
- Pietro Sala, Department of Computer Science, University of Verona
- Spiros Skiadopoulos, University of Peloponnese
- Stefano Tonetta, FBK - irst
- Hazem Torfah, University of California, Berkeley
- Patrick Totzke, University of Liverpool
Publication
Accepted papers will be 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.
Venue
TIME 2023 will take place at the National Centre for Scientific Research (NCSR) ‘Demokritos’ in Athens, Greece.
Please see the instructions to reach the venue of TIME 2023.
Contact
For all questions regarding submissions contact Alexander Artikis, Florian Bruse or Luke Hunsberger.