- From: Danny Ayers <danny.ayers@gmail.com>
- Date: Wed, 20 May 2020 23:59:41 +0200
- To: Enrico Franconi <franconi@inf.unibz.it>
- Cc: Semantic Web <semantic-web@w3.org>
- Message-ID: <CAM=Pv=SA74AxpEqrAZJUXy_oz3NP6bUu1nkPkWf0Zj+8LuSAbQ@mail.gmail.com>
Enrico, I wasn't good last time. This time, why everybody should know electronics too. On Wed, 20 May 2020, 19:45 Enrico Franconi, <franconi@inf.unibz.it> wrote: > [Apologies for cross-posting] > > *New Submission Deadline* > - Paper Submission deadline: May 24th, 2020 > > > ================= 3rd CALL FOR PAPERS - TIME 2020 ============= > > *27th International Symposium on Temporal Representation and Reasoning* > Bozen-Bolzano (Italy), 23th-25th September 2020 > https://time2020.inf.unibz.it/ > > Co-Located with the Bolzano Summer of Knowledge 2020 > https://summerofknowledge.inf.unibz.it/ > > ==================================================== > > Foremost, the TIME 2020 organizing committee hopes you are all in good > health! > > We announce that TIME 2020, co-located with BOSK 2020, will allow for > virtual attendance. Thus, the paper submission and the selection process > will run just as expected, and physical participation in the symposium will > not be a prerequisite for publication. Whether the symposium will allow > also a physical attendance will be decided in the coming weeks together > with the BOSK 2020 organizers. Reduced registration fees will be allowed > for virtual participants. We thuswarmly invite you all again to submit your > papers to TIME 2020. > > STAY SAFE! > > Invited Speakers > ---------------- > > Clare Dixon (University of Liverpool, UK) > Pedro Cabalar (University of Corunna, Spain) > Johann Eder (Alpen-Adria Universität Klagenfurt, Austria) > > Aims & Scope > ------------ > Since 1994, the TIME International Symposium on Temporal Representation > and Reasoning aims to bring together researchers in the area of temporal > reasoning in Computer Science. TIME 2020 encompasses three tracks, but has > a single program committee. The conference will be organized as a > combination of technical paper presentations, keynote talks, and tutorials. > > Tracks > ------ > - Time in Artificial Intelligence > - Temporal Databases > - Temporal Logic and Reasoning > > Following a long-standing tradition, submission topics include (but are no > limited to): > > - Temporal aspects of agent and policy-based systems > - 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 web applications > - Synthesis and execution > - Model-checking algorithms and implementations > - Verification of infinite-state systems > - Reasoning about transition systems > - Other aspects of temporal architectures > > Submission & Publication > ---------------------------- > > TIME 2020 accepts submissions in PDF format, not 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. Submissions are managed by EasyChair: > > https://easychair.org/my/conference?conf=time2020. > > TIME policy is single-blind, so the names of the authors should not be > hidden in the submitted draft. Members of the program committee, excluding > the co-chairs, are allowed to submit papers. Submitted papers will be > refereed for quality, correctness, originality, and relevance to the > conference. > > Submissions to TIME 2020 must be original, and 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. > > Authors of selected papers will be invited to submit an extended version > of their contribution to a special issue of a high-quality journal yet to > be decided. > > Important Dates (New Submission) > ----------------------------------------------- > - Papers due (abstracts & full-texts): May 24th, 2020 > - Notification: June 21th, 2020 > - Final camera-ready version: July 5th, 2020 > - Early bird registration: July 26th, 2020 > - Conference: September 23th-25th, 2020 > > Program Committee Chairs > ------------------------------ > Emilio Muñoz-Velasco (University of Málaga) > Ana Ozaki (Free University of Bozen-Bolzano) > Martin Theobald (University of Luxembourg) > > Program Committee > ------------------ > Alexander Artikis (NCSR Demokritos – Athens) > Klaus Berberich (Saarland University of Applied Sciences) > Camille Bourgaux (CNRS – Ecole Normale Supérieure) > Panagiotis Bouros (University of Mainz) > Anton Dignoes (Free University of Bozen-Bolzano) > Clare Dixon (University of Liverpool) > Johann Gamper (Free University of Bozen-Bolzano) > Rajeev Gore (Australian National University – ANU) > Víctor Gutiérrez-Basulto (Cardiff University) > Fredrik Heintz (Linköping University) > Jean Christoph Jung (University of Bremen) > Roman Kontchakov (Birkbeck, University of London) > Marco Montali (Free University of Bozen-Bolzano) > Cláudia Nalon (University of Brasilia) > Daniel Neider (Max Planck Institute) > Kjetil Nørvåg (University of Trondheim) > Manuel Ojeda-Aciego (Universidad de Málaga) > Hector Pomares (Universidad de Granada) > Dimitris Sacharidis (Technical University of Vienna) > Stephan Schlüter (Technische Hochschule Ulm) > Guido Sciavicco (University of Ferrara) > > Local Chairs > ------------ > Alessandro Artale (Free University of Bozen-Bolzano) artale@inf.unibz.it > Johann Gamper (Free University of Bozen-Bolzano) gamper@inf.unibz.it > > General contact for all inquiries concerning the conference: > time2020@unibz.it >
Received on Wednesday, 20 May 2020 22:00:10 UTC