Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Program ming

--===============0313406727725987925==
Content-Type: multipart/alternative; boundary="000000000000bd8d0905f37fc543"

--000000000000bd8d0905f37fc543
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

  Call for Papers (apologies for multiple copies of this email)

       *** DaL=C3=AD - Dynamic Logic: new trends and applications ***

          special issue of the Journal of Logical and Algebraic Methods in
Programming

=3D=3D=3D General Description =3D=3D=3D

Dynamic Logic (DL), a generalization of the logic of Floyd-Hoare introduced
in the 70s by Pratt, is a well-known and particularly powerful way of
combining propositions, for capturing static properties of program states,
and structured actions, responsible for transitions from a state to another
(and typically combined through a Kleene algebra to express sequential,
non-deterministic, iterative behavior of systems), into a formal framework
to reason about, and verify, classic imperative programs.  Over time DL
grew to encompass a family of logics increasingly popular in the
verification of computational systems, and able to evolve and adapt to new,
and complex validation challenges. In particular, the dynamic logic
community is interested in the study of operators that can modify the
structure in which they are being evaluated. Examples include dynamic
logics tailored to specific programming problems or paradigms (e.g.,
separation logics to model the evolution of a program heap); languages to
reason and represent evolving information (e.g., dynamic epistemic logics);
and formalism that aim to model new computing domains, including
probabilistic, continuous and quantum computation.

This special issue is dedicated to new advances in Dynamic Logic. Its aim
is to bring together papers on both pure and applied aspects of various
branches of DL, and foster the exchange of ideas between researchers
working in DL and other disciplines.

We invite submissions on both (a) theoretical topics from all branches of
mathematical logic (e.g., proof-theory, model theory, game theory,
computational complexity, etc.) in connection with DL, as well as (b) their
applications in various areas (including computer science, linguistics,
mathematics, philosophy, etc.).

=3D=3D=3D Topics of Interest =3D=3D=3D

We invite submissions on the general field of Dynamic Logic, its variants
and applications, including, but not restricted to:


   -

   Dynamic logic, foundations and applications
   -

   Logics with regular modalities
   -

   Modal/temporal/epistemic logics
   -

   Kleene and action algebras and their variants
   -

   Quantum dynamic logic
   -

   Coalgebraic modal/dynamic logics
   -

   Graded and fuzzy dynamic logics
   -

   Dynamic logics for cyber-physical systems
   -

   Dynamic epistemic logic
   -

   Complexity and decidability of variants of dynamic logics and temporal
   logics
   -

   Model checking, model generation and theorem proving for dynamic logics

=3D=3D=3D Relevant dates and deadlines =3D=3D=3D

    Deadline for submission of papers: May 1st, 2023

    Notification of acceptance/rejection: September 1st, 2023

    Submission of final versions: October 1st, 2023

=3D=3D=3D Submissions =3D=3D=3D

Papers should be submitted via EasyChair (
https://easychair.org/conferences/?conf=3Ddalsi2023).

The submissions should be formatted according to the Journal's guidelines (
https://www.elsevier.com/authors/policies-and-guidelines/latex-instructions
).

All submissions will undergo the usual peer-review process by the standards
of the Journal of Logical and Algebraic Methods in Programming.

=3D=3D=3D Guest editors =3D=3D=3D

Diana Costa (LASIGE, University of Lisbon, Portugal)

[email protected]

Carlos Areces (FAMAF, Universidad Nacional de C=C3=B3rdoba, Argentina)
[email protected]

You can contact us if you have any questions.

=3D=3D=3D A related conference =3D=3D=3D

This special issue is a follow-up of the workshop =E2=80=9CDaL=C3=AD - Dyna=
mic Logic:
new trends and applications=E2=80=9D (affiliated with LICS, as part of FLOC=
) that
took part on the 31st of July and 1st of  August 2022, (
http://dali2022.campus.ciencias.ulisboa.pt/).  Although the scope of the
special issue coincides with that of the workshop, submissions are not
restricted to papers presented there or papers by the participants.
Rather, the call is open and all papers within the scope of the special
issue are welcome.

Best regards,


Diana & Carlos

DaL=C3=AD 2022 special issue editors.

--000000000000bd8d0905f37fc543
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D""><span id=3D"gmail-=
docs-internal-guid-d192c991-7fff-5abe-3e17-99126d4e8f84" style=3D""><p dir=
=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span =
style=3D"font-family:Arial;font-variant-numeric:normal;font-variant-east-as=
ian:normal;vertical-align:baseline;white-space:pre-wrap">=C2=A0=C2=A0Call f=
or Papers (apologies for multiple copies of this email)</span></p><br><p di=
r=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span=
 style=3D"font-family:Arial;font-variant-numeric:normal;font-variant-east-a=
sian:normal;vertical-align:baseline;white-space:pre-wrap">=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0*** </span><span style=3D"font-family:Calibri,sa=
ns-serif;color:rgb(0,0,0);background-color:transparent;font-variant-numeric=
:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:=
pre-wrap">DaL=C3=AD - Dynamic Logic: new trends and applications </span><sp=
an style=3D"font-family:Arial;font-variant-numeric:normal;font-variant-east=
-asian:normal;vertical-align:baseline;white-space:pre-wrap">***</span></p><=
p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><=
span style=3D"font-family:Arial;font-variant-numeric:normal;font-variant-ea=
st-asian:normal;vertical-align:baseline;white-space:pre-wrap">=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0special issue of the </span=
><span style=3D"font-family:Calibri,sans-serif;color:rgb(0,0,0);background-=
color:transparent;font-variant-numeric:normal;font-variant-east-asian:norma=
l;vertical-align:baseline;white-space:pre-wrap">Journal of Logical and Alge=
braic Methods in Programming</span></p><br><p dir=3D"ltr" style=3D"line-hei=
ght:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Arial=
;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;=
font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap=
">=3D=3D=3D General Description =3D=3D=3D</span></p><br><p dir=3D"ltr" styl=
e=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font=
-family:Arial;font-variant-numeric:normal;font-variant-east-asian:normal;ve=
rtical-align:baseline;white-space:pre-wrap">Dynamic Logic (DL), a generaliz=
ation of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well=
-known and particularly powerful way of combining propositions, for capturi=
ng static properties of program states, and structured actions, responsible=
 for transitions from a state to another (and typically combined through a =
Kleene algebra to express sequential, non-deterministic, iterative behavior=
 of systems), into a formal framework to reason about, and verify, classic =
imperative programs.=C2=A0 Over time DL grew to encompass a family of logic=
s increasingly popular in the verification of computational systems, and ab=
le to evolve and adapt to new, and complex validation challenges. In partic=
ular, the dynamic logic community is interested in the study of operators t=
hat can modify the structure in which they are being evaluated. Examples in=
clude dynamic logics tailored to specific programming problems or paradigms=
 (e.g., separation logics to model the evolution of a program heap); langua=
ges to reason and represent evolving information (e.g., dynamic epistemic l=
ogics); and formalism that aim to model new computing domains, including pr=
obabilistic, continuous and quantum computation.</span></p><br><p dir=3D"lt=
r" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=
=3D"font-family:Arial;font-variant-numeric:normal;font-variant-east-asian:n=
ormal;vertical-align:baseline;white-space:pre-wrap">This special issue is d=
edicated to new advances in Dynamic Logic. Its aim is to bring together pap=
ers on both pure and applied aspects of various branches of DL, and foster =
the exchange of ideas between researchers working in DL and other disciplin=
es.</span></p><br><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;m=
argin-bottom:0pt"><span style=3D"font-family:Arial;font-variant-numeric:nor=
mal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-=
wrap">We invite submissions on both (a) theoretical topics from all branche=
s of mathematical logic (e.g., proof-theory, model theory, game theory, com=
putational complexity, etc.) in connection with DL, as well as (b) their ap=
plications in various areas (including computer science, linguistics, mathe=
matics, philosophy, etc.).</span></p><br><p dir=3D"ltr" style=3D"line-heigh=
t:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Arial;f=
ont-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:ba=
seline;white-space:pre-wrap">=3D=3D=3D Topics of Interest =3D=3D=3D</span><=
/p><br><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-botto=
m:0pt"><span style=3D"font-family:Arial;color:rgb(51,51,51);font-variant-nu=
meric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-s=
pace:pre-wrap">We invite submissions on the general field of Dynamic Logic,=
 its variants and applications, including, but not restricted to:</span></p=
><br><ul style=3D"margin-top:0px;margin-bottom:0px"><li dir=3D"ltr" style=
=3D"list-style-type:disc;font-family:Arial;color:rgb(51,51,51);background-c=
olor:transparent;font-variant-numeric:normal;font-variant-east-asian:normal=
;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-heig=
ht:1.38;margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=
=3D"font-variant-numeric:normal;font-variant-east-asian:normal;vertical-ali=
gn:baseline;white-space:pre-wrap">Dynamic logic, foundations and applicatio=
ns</span></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-family=
:Arial;color:rgb(51,51,51);background-color:transparent;font-variant-numeri=
c:normal;font-variant-east-asian:normal;vertical-align:baseline;white-space=
:pre"><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom=
:0pt" role=3D"presentation"><span style=3D"font-variant-numeric:normal;font=
-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Lo=
gics with regular modalities</span></p></li><li dir=3D"ltr" style=3D"list-s=
tyle-type:disc;font-family:Arial;color:rgb(51,51,51);background-color:trans=
parent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-=
align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;ma=
rgin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-v=
ariant-numeric:normal;font-variant-east-asian:normal;vertical-align:baselin=
e;white-space:pre-wrap">Modal/temporal/epistemic logics</span></p></li><li =
dir=3D"ltr" style=3D"list-style-type:disc;font-family:Arial;color:rgb(51,51=
,51);background-color:transparent;font-variant-numeric:normal;font-variant-=
east-asian:normal;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" s=
tyle=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt" role=3D"presenta=
tion"><span style=3D"font-variant-numeric:normal;font-variant-east-asian:no=
rmal;vertical-align:baseline;white-space:pre-wrap">Kleene and action algebr=
as and their variants</span></p></li><li dir=3D"ltr" style=3D"list-style-ty=
pe:disc;font-family:Arial;color:rgb(51,51,51);background-color:transparent;=
font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:b=
aseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;margin-to=
p:0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-variant-=
numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;white=
-space:pre-wrap">Quantum dynamic logic</span></p></li><li dir=3D"ltr" style=
=3D"list-style-type:disc;font-family:Arial;color:rgb(51,51,51);background-c=
olor:transparent;font-variant-numeric:normal;font-variant-east-asian:normal=
;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-heig=
ht:1.38;margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=
=3D"font-variant-numeric:normal;font-variant-east-asian:normal;vertical-ali=
gn:baseline;white-space:pre-wrap">Coalgebraic modal/dynamic logics</span></=
p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-family:Arial;colo=
r:rgb(51,51,51);background-color:transparent;font-variant-numeric:normal;fo=
nt-variant-east-asian:normal;vertical-align:baseline;white-space:pre"><p di=
r=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt" role=
=3D"presentation"><span style=3D"font-variant-numeric:normal;font-variant-e=
ast-asian:normal;vertical-align:baseline;white-space:pre-wrap">Graded and f=
uzzy dynamic logics</span></p></li><li dir=3D"ltr" style=3D"list-style-type=
:disc;font-family:Arial;color:rgb(51,51,51);background-color:transparent;fo=
nt-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:bas=
eline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:=
0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-variant-nu=
meric:normal;font-variant-east-asian:normal;vertical-align:baseline;white-s=
pace:pre-wrap">Dynamic logics for cyber-physical systems</span></p></li><li=
 dir=3D"ltr" style=3D"list-style-type:disc;font-family:Arial;color:rgb(51,5=
1,51);background-color:transparent;font-variant-numeric:normal;font-variant=
-east-asian:normal;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" =
style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt" role=3D"present=
ation"><span style=3D"font-variant-numeric:normal;font-variant-east-asian:n=
ormal;vertical-align:baseline;white-space:pre-wrap">Dynamic epistemic logic=
</span></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-family:A=
rial;color:rgb(51,51,51);background-color:transparent;font-variant-numeric:=
normal;font-variant-east-asian:normal;vertical-align:baseline;white-space:p=
re"><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0=
pt" role=3D"presentation"><span style=3D"font-variant-numeric:normal;font-v=
ariant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Comp=
lexity and decidability of variants of dynamic logics and temporal logics</=
span></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-family:Ari=
al;color:rgb(51,51,51);background-color:transparent;font-variant-numeric:no=
rmal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre=
"><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:30p=
t" role=3D"presentation"><span style=3D"font-variant-numeric:normal;font-va=
riant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Model=
 checking, model generation and theorem proving for dynamic logics</span></=
p></li></ul><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-=
bottom:0pt"><span style=3D"font-family:Arial;font-variant-numeric:normal;fo=
nt-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">=
=3D=3D=3D Relevant dates and deadlines =3D=3D=3D</span></p><br><p dir=3D"lt=
r" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=
=3D"font-family:Arial;background-color:transparent;font-variant-numeric:nor=
mal;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-=
wrap">=C2=A0=C2=A0=C2=A0=C2=A0</span><span style=3D"font-family:Arial;color=
:rgb(49,49,49);background-color:transparent;font-variant-numeric:normal;fon=
t-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">D=
eadline for submission of papers: May 1st, 2023</span></p><p dir=3D"ltr" st=
yle=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"fo=
nt-family:Arial;color:rgb(49,49,49);background-color:transparent;font-varia=
nt-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline;wh=
ite-space:pre-wrap">=C2=A0=C2=A0=C2=A0=C2=A0Notification of acceptance/reje=
ction: September 1st, 2023</span></p><p dir=3D"ltr" style=3D"line-height:1.=
38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Arial;color=
:rgb(49,49,49);background-color:transparent;font-variant-numeric:normal;fon=
t-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">=
=C2=A0=C2=A0=C2=A0=C2=A0Submission of final versions: October 1st, 2023</sp=
an></p><br><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-b=
ottom:0pt"><span style=3D"font-family:Arial;font-variant-numeric:normal;fon=
t-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">=
=3D=3D=3D Submissions =3D=3D=3D</span></p><br><p dir=3D"ltr" style=3D"line-=
height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Ar=
ial;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-ali=
gn:baseline;white-space:pre-wrap">Papers should be submitted via EasyChair =
(</span><a href=3D"https://easychair.org/conferences/?conf=3Ddalsi2023" sty=
le=3D"text-decoration-line:none"><span style=3D"font-family:Arial;font-vari=
ant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:unde=
rline;vertical-align:baseline;white-space:pre-wrap">https://easychair.org/c=
onferences/?conf=3Ddalsi2023</span></a><span style=3D"font-family:Arial;fon=
t-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:base=
line;white-space:pre-wrap">).</span></p><br><p dir=3D"ltr" style=3D"line-he=
ight:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Aria=
l;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align=
:baseline;white-space:pre-wrap">The submissions should be formatted accordi=
ng to the Journal&#39;s guidelines (</span><a href=3D"https://www.elsevier.=
com/authors/policies-and-guidelines/latex-instructions" style=3D"text-decor=
ation-line:none"><span style=3D"font-family:Arial;background-color:transpar=
ent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decorat=
ion-line:underline;vertical-align:baseline;white-space:pre-wrap">https://ww=
w.elsevier.com/authors/policies-and-guidelines/latex-instructions</span></a=
><span style=3D"font-family:Arial;font-variant-numeric:normal;font-variant-=
east-asian:normal;vertical-align:baseline;white-space:pre-wrap">).</span></=
p><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt=
"><span style=3D"font-family:Arial;font-variant-numeric:normal;font-variant=
-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">All submis=
sions will undergo the usual peer-review process by the standards of the </=
span><span style=3D"font-family:Calibri,sans-serif;color:rgb(0,0,0);backgro=
und-color:transparent;font-variant-numeric:normal;font-variant-east-asian:n=
ormal;vertical-align:baseline;white-space:pre-wrap">Journal of Logical and =
Algebraic Methods in Programming</span><span style=3D"font-family:Arial;fon=
t-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:base=
line;white-space:pre-wrap">.</span></p><br><p dir=3D"ltr" style=3D"line-hei=
ght:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Arial=
;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:=
baseline;white-space:pre-wrap">=3D=3D=3D Guest editors =3D=3D=3D</span></p>=
<br><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-bottom:0=
pt"><span style=3D"font-family:Arial;font-variant-numeric:normal;font-varia=
nt-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Diana Co=
sta (LASIGE, University of Lisbon, Portugal)</span></p><p dir=3D"ltr" style=
=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-=
family:Arial;font-variant-numeric:normal;font-variant-east-asian:normal;ver=
tical-align:baseline;white-space:pre-wrap"><a href=3D"mailto:dianafcosta@ua=
.pt">[email protected]</a> <br></span></p><p dir=3D"ltr" style=3D"line-heig=
ht:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Arial;=
font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:b=
aseline;white-space:pre-wrap">Carlos Areces (FAMAF, Universidad Nacional de=
 C=C3=B3rdoba, Argentina)</span></p><a href=3D"mailto:[email protected]=
.ar">[email protected]</a></span></div><div class=3D"gmail_default" =
style=3D""><br></div><div class=3D"gmail_default" style=3D"">You can contac=
t us if you have any questions.=C2=A0</div><div class=3D"gmail_default" sty=
le=3D""><br><p dir=3D"ltr" style=3D"line-height:1.38;margin-top:0pt;margin-=
bottom:0pt"><span style=3D"font-family:Arial;font-variant-numeric:normal;fo=
nt-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">=
=3D=3D=3D A related conference =3D=3D=3D</span></p><br><p dir=3D"ltr" style=
=3D"line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-=
family:Arial;font-variant-numeric:normal;font-variant-east-asian:normal;ver=
tical-align:baseline;white-space:pre-wrap">This special issue is a follow-u=
p of the workshop =E2=80=9CDaL=C3=AD - Dynamic Logic: new trends and applic=
ations=E2=80=9D (affiliated with LICS, as part of FLOC) that took part on t=
he 31st of July and 1st of=C2=A0 August 2022, (</span><a href=3D"http://dal=
i2022.campus.ciencias.ulisboa.pt/" style=3D"text-decoration-line:none"><spa=
n style=3D"font-family:Arial;font-variant-numeric:normal;font-variant-east-=
asian:normal;text-decoration-line:underline;vertical-align:baseline;white-s=
pace:pre-wrap">http://dali2022.campus.ciencias.ulisboa.pt/</span></a><span =
style=3D"font-family:Arial;font-variant-numeric:normal;font-variant-east-as=
ian:normal;vertical-align:baseline;white-space:pre-wrap">).=C2=A0 Although =
the scope of the special issue coincides with that of the workshop, submiss=
ions are not restricted to papers presented there or papers by the particip=
ants.=C2=A0 Rather, the call is open and all papers within the scope of the=
 special issue are welcome.</span></p><br><p dir=3D"ltr" style=3D"line-heig=
ht:1.38;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Arial;=
color:rgb(49,49,49);background-color:transparent;font-variant-numeric:norma=
l;font-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wr=
ap">Best regards,</span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin=
-top:0pt;margin-bottom:0pt"><br></p><p dir=3D"ltr" style=3D"line-height:1.3=
8;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-family:Arial;color:=
rgb(49,49,49);background-color:transparent;font-variant-numeric:normal;font=
-variant-east-asian:normal;vertical-align:baseline;white-space:pre-wrap">Di=
ana &amp; Carlos</span></p><p dir=3D"ltr" style=3D"line-height:1.38;margin-=
top:0pt;margin-bottom:0pt"><span style=3D"font-family:Arial;color:rgb(49,49=
,49);background-color:transparent;font-variant-numeric:normal;font-variant-=
east-asian:normal;vertical-align:baseline;white-space:pre-wrap">DaL=C3=AD 2=
022 special issue editors.</span></p><br class=3D"gmail-Apple-interchange-n=
ewline"></div></div>

--000000000000bd8d0905f37fc543--


--===============0313406727725987925==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============0313406727725987925==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info

--===============0313406727725987925==--