CFP TIME-2020 - new deadline

--JHfaKgAKJSDHAuhvkaHKJLHhkfslHK011
Content-Type: text/plain; charset=windows-1250
Content-Transfer-Encoding: quoted-printable

[Apologies for cross-posting]
 
New Submission Deadline
- Paper Submission deadline=3A May 24th=2C 2020
 

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 3rd CALL FOR PAPERS=
 - TIME 2020 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

27th International Symposium on Temporal Representation and Reasoning
Bozen-Bolzano (Italy)=2C 23th-25th September 2020
https=3A//time2020=2Einf=2Eunibz=2Eit/

Co-Located with the Bolzano Summer of Knowledge 2020
https=3A//summerofknowledge=2Einf=2Eunibz=2Eit/

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D

Foremost=2C the TIME 2020 organizing committee hopes you are all in goo=
d health!

We announce that TIME 2020=2C co-located with BOSK 2020=2C will allow f=
or virtual attendance=2E Thus=2C the paper submission and the selection=
 process will run just as expected=2C and physical participation in the=
 symposium will not be a prerequisite for publication=2E Whether the sy=
mposium will allow also a physical attendance will be decided in the co=
ming weeks together with the BOSK 2020 organizers=2E Reduced registrati=
on fees will be allowed for virtual participants=2E We thuswarmly invit=
e you all again to submit your papers to TIME 2020=2E

STAY SAFE!

Invited Speakers 
----------------

Clare Dixon (University of Liverpool=2C UK)
Pedro Cabalar (University of Corunna=2C Spain)
Johann Eder (Alpen-Adria Universit=E4t Klagenfurt=2C Austria)

Aims & Scope
------------
Since 1994=2C the TIME International Symposium on Temporal Representati=
on and Reasoning aims to bring together researchers in the area of temp=
oral reasoning in Computer Science=2E TIME 2020 encompasses three track=
s=2C but has a single program committee=2E The conference will be organ=
ized as a combination of technical paper presentations=2C keynote talks=
=2C and tutorials=2E

Tracks
------
- Time in Artificial Intelligence
- Temporal Databases
- Temporal Logic and Reasoning

Following a long-standing tradition=2C submission topics include (but a=
re no limited to)=3A

- 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=2C 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=2C not longer than 12 pages=
 excluding references and appendix=2E The appendix is limited to 5 page=
s=2C and the reviewers may or may not take it into account for their re=
commendation=2E Submissions must be formatted following the LIPIcs inst=
ructions (https=3A//submission=2Edagstuhl=2Ede/documentation/authors)=2C=
 and preferably redacted in LaTex=2E Submissions are managed by EasyCha=
ir=3A

https=3A//easychair=2Eorg/my/conference=3Fconf=3Dtime2020=2E

TIME policy is single-blind=2C so the names of the authors should not b=
e hidden in the submitted draft=2E Members of the program committee=2C =
excluding the co-chairs=2C are allowed to submit papers=2E Submitted pa=
pers will be refereed for quality=2C correctness=2C originality=2C and =
relevance to the conference=2E

Submissions to TIME 2020 must be original=2C and parallel submissions o=
f the same material to other conferences or journals are not allowed=2E=
 Accepted papers will be presented at the symposium and included in the=
 proceedings=2C which will be published by LIPIcs-Leibniz International=
 Proceedings in Informatics (https=3A//www=2Edagstuhl=2Ede/en/publicati=
ons/lipics/)=2E This is a series of high-quality peer-reviewed conferen=
ce proceedings and published according to the principle of OpenAccess=2E=
 At least one author of each accepted paper must register at the confer=
ence and present the paper=2E

Authors of selected papers will be invited to submit an extended versio=
n of their contribution to a special issue of a high-quality journal ye=
t to be decided=2E

Important Dates (New Submission)
-----------------------------------------------
- Papers due (abstracts & full-texts)=3A May 24th=2C 2020
- Notification=3A June 21th=2C 2020
- Final camera-ready version=3A July 5th=2C 2020
- Early bird registration=3A July 26th=2C 2020
- Conference=3A September 23th-25th=2C 2020

Program Committee Chairs
------------------------------
Emilio Mu=3Foz-Velasco (University of M=E1laga)
Ana Ozaki (Free University of Bozen-Bolzano)
Martin Theobald (University of Luxembourg)

Program Committee
------------------
Alexander Artikis (NCSR Demokritos =96 Athens)
Klaus Berberich (Saarland University of Applied Sciences)
Camille Bourgaux (CNRS =96 Ecole Normale Sup=E9rieure)
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 =96 ANU)
V=EDctor Guti=E9rrez-Basulto (Cardiff University)
Fredrik Heintz (Link=F6ping University)
Jean Christoph Jung (University of Bremen)
Roman Kontchakov (Birkbeck=2C University of London)
Marco Montali (Free University of Bozen-Bolzano)
Cl=E1udia Nalon (University of Brasilia)
Daniel Neider (Max Planck Institute)
Kjetil N=3Frv=3Fg (University of Trondheim)
Manuel Ojeda-Aciego (Universidad de M=E1laga)
Hector Pomares (Universidad de Granada)
Dimitris Sacharidis (Technical University of Vienna)
Stephan Schl=FCter (Technische Hochschule Ulm)
Guido Sciavicco (University of Ferrara)

Local Chairs 
------------
Alessandro Artale (Free University of Bozen-Bolzano) artale=40inf=2Euni=
bz=2Eit
Johann Gamper (Free University of Bozen-Bolzano) gamper=40inf=2Eunibz=2E=
it

General contact for all inquiries concerning the conference=3A time2020=
=40unibz=2Eit


--JHfaKgAKJSDHAuhvkaHKJLHhkfslHK011
Content-Type: text/html; charset=iso-8859-1
Content-Transfer-Encoding: quoted-printable

<html><head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1"></head>
<body bgcolor=3D"FFFFFF"><font face=3D"Verdana" size=3D"4" style=3D"font-si=
ze:11pt">[Apologies for cross-posting]<br>
 <br>
<b>New Submission Deadline</b><br>
- Paper Submission deadline: May 24th, 2020<br>
 <br>
<br>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 3rd CALL FOR PAPERS - T=
IME 2020 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>
<br>
<b>27th International Symposium on Temporal Representation and Reasoning</b=
><br>
Bozen-Bolzano (Italy), 23th-25th September 2020<br>
https://time2020.inf.unibz.it/<br>
<br>
Co-Located with the Bolzano Summer of Knowledge 2020<br>
https://summerofknowledge.inf.unibz.it/<br>
<br>
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D<br>
<br>
Foremost, the TIME 2020 organizing committee hopes you are all in good heal=
th!<br>
<br>
We announce that TIME 2020, co-located with BOSK 2020, will allow for virtu=
al attendance. Thus, the paper submission and the selection process will ru=
n just as expected, and physical participation in the symposium will not be=
 a prerequisite for publication. Whether the symposium will allow also a ph=
ysical attendance will be decided in the coming weeks together with the BOS=
K 2020 organizers. Reduced registration fees will be allowed for virtual pa=
rticipants. We thuswarmly invite you all again to submit your papers to TIM=
E 2020.<br>
<br>
STAY SAFE!<br>
<br>
Invited Speakers <br>
----------------<br>
<br>
Clare Dixon (University of Liverpool, UK)<br>
Pedro Cabalar (University of Corunna, Spain)<br>
Johann Eder (Alpen-Adria Universit=E4t Klagenfurt, Austria)<br>
<br>
Aims &amp; Scope<br>
------------<br>
Since 1994, the TIME International Symposium on Temporal Representation and=
 Reasoning aims to bring together researchers in the area of temporal reaso=
ning in Computer Science. TIME 2020 encompasses three tracks, but has a sin=
gle program committee. The conference will be organized as a combination of=
 technical paper presentations, keynote talks, and tutorials.<br>
<br>
Tracks<br>
------<br>
- Time in Artificial Intelligence<br>
- Temporal Databases<br>
- Temporal Logic and Reasoning<br>
<br>
Following a long-standing tradition, submission topics include (but are no =
limited to):<br>
<br>
- Temporal aspects of agent and policy-based systems<br>
- Spatial and temporal reasoning- Time in natural language processing<br>
- Spatio-temporal knowledge representation systems<br>
- Reasoning about actions and change<br>
- Planning and planning languages<br>
- Ontologies of time and space-time<br>
- Belief and uncertainty in temporal knowledge<br>
- Temporal learning and discovery<br>
- Temporal data models and query languages<br>
- Temporal query processing and indexing<br>
- Temporal data mining<br>
- Time series data management<br>
- Stream data management<br>
- Spatio-temporal data management, including moving objects<br>
- Data currency and expiration<br>
- Indeterminate and imprecise temporal data<br>
- Temporal constraints<br>
- Specification and verification of systems<br>
- Verification of web applications<br>
- Synthesis and execution<br>
- Model-checking algorithms and implementations<br>
- Verification of infinite-state systems<br>
- Reasoning about transition systems<br>
- Other aspects of temporal architectures<br>
<br>
Submission &amp; Publication<br>
----------------------------<br>
<br>
TIME 2020 accepts submissions in PDF format, not longer than 12 pages exclu=
ding references and appendix. The appendix is limited to 5 pages, and the r=
eviewers may or may not take it into account for their recommendation. Subm=
issions must be formatted following the LIPIcs instructions (https://submis=
sion.dagstuhl.de/documentation/authors), and preferably redacted in LaTex. =
Submissions are managed by EasyChair:<br>
<br>
https://easychair.org/my/conference?conf=3Dtime2020.<br>
<br>
TIME policy is single-blind, so the names of the authors should not be hidd=
en 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.<br>
<br>
Submissions to TIME 2020 must be original, and parallel submissions of the =
same material to other conferences or journals are not allowed. Accepted pa=
pers will be presented at the symposium and included in the proceedings, wh=
ich will be published by LIPIcs-Leibniz International Proceedings in Inform=
atics (https://www.dagstuhl.de/en/publications/lipics/). This is a series o=
f 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.<br>
<br>
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.<br>
<br>
Important Dates (New Submission)<br>
-----------------------------------------------<br>
- Papers due (abstracts &amp; full-texts): May 24th, 2020<br>
- Notification: June 21th, 2020<br>
- Final camera-ready version: July 5th, 2020<br>
- Early bird registration: July 26th, 2020<br>
- Conference: September 23th-25th, 2020<br>
<br>
Program Committee Chairs<br>
------------------------------<br>
Emilio Mu=F1oz-Velasco (University of M=E1laga)<br>
Ana Ozaki (Free University of Bozen-Bolzano)<br>
Martin Theobald (University of Luxembourg)<br>
<br>
Program Committee<br>
------------------<br>
Alexander Artikis (NCSR Demokritos &#8211; Athens)<br>
Klaus Berberich (Saarland University of Applied Sciences)<br>
Camille Bourgaux (CNRS &#8211; Ecole Normale Sup=E9rieure)<br>
Panagiotis Bouros (University of Mainz)<br>
Anton Dignoes (Free University of Bozen-Bolzano)<br>
Clare Dixon (University of Liverpool)<br>
Johann Gamper (Free University of Bozen-Bolzano)<br>
Rajeev Gore (Australian National University &#8211; ANU)<br>
V=EDctor Guti=E9rrez-Basulto (Cardiff University)<br>
Fredrik Heintz (Link=F6ping University)<br>
Jean Christoph Jung (University of Bremen)<br>
Roman Kontchakov (Birkbeck, University of London)<br>
Marco Montali (Free University of Bozen-Bolzano)<br>
Cl=E1udia Nalon (University of Brasilia)<br>
Daniel Neider (Max Planck Institute)<br>
Kjetil N=F8rv=E5g (University of Trondheim)<br>
Manuel Ojeda-Aciego (Universidad de M=E1laga)<br>
Hector Pomares (Universidad de Granada)<br>
Dimitris Sacharidis (Technical University of Vienna)<br>
Stephan Schl=FCter (Technische Hochschule Ulm)<br>
Guido Sciavicco (University of Ferrara)<br>
<br>
Local Chairs <br>
------------<br>
Alessandro Artale (Free University of Bozen-Bolzano) [email protected]<br=
>
Johann Gamper (Free University of Bozen-Bolzano) [email protected]<br>
<br>
General contact for all inquiries concerning the conference: time2020@unibz=
.it<br>
</font></body></html>

--JHfaKgAKJSDHAuhvkaHKJLHhkfslHK011--