DaLí 2025, 1st call for papers

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

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


--===============6906601795892033284==
Content-Language: en-US
Content-Type: multipart/alternative;
	boundary="_000_68CD2A310A6C46A38C388B75593E6B79uapt_"

--_000_68CD2A310A6C46A38C388B75593E6B79uapt_
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
DaL=C3=AD 2025 - 1st Call for Papers

DaL=C3=AD 2025: 6th Workshop on Dynamic Logic - New trends and applications
Shaanxi Normal University, Xi'an, Shaanxi Province, P. R. China
October 20-21, 2025

***(temporary link)  https://urldefense.com/v3/__http://dali2025.web.ua.pt_=
_;!!IBzWLUs!RSZAX631qikgwQ7uxVzOvFx00a-7vYz2-xaGxBpM0VCS1LwWkX4l0XUDlGoaGDW=
s-Ff_RqyBlt6TyKtaoWVy6B_-uKx6$  ***


=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

*** Important Dates ***
- Abstract submission deadline:  *1st June, 2025*
- Full paper submission deadline:  *5th of June, 2025*
- Author notifications: *15th of July, 2025*



**** Overview *****
Building on the ideas of Floyd-Hoare logic, dynamic logic was introduced in=
 the 70's as a formal tool for reasoning about, and verify, classic imperat=
ive programs. Over time, its aim has evolved and expanded; DL can be seen n=
ow as a general set of ideas and tools devised for representing, describing=
 and reasoning about diverse kind of actions, including (but not limited to=
) frameworks tailored for specific programming problems/ paradigms (e.g., s=
eparation logics), settings for modelling new computing domains (e.g., prob=
abilistic, continuous and quantum computation), frameworks for reasoning ab=
out information dynamics (e.g., dynamic epistemic logics) and systems for r=
easoning about long term information dynamics (e.g., learning theory).

Both its theoretical relevance and practical potential make DLs a topic of =
interest in a number of scientific venues, from wide-scope software enginee=
ring conferences to modal logic specific events. The aim of the DaL=C3=AD 2=
025 workshop is to bring together, in a single place, researchers with a sh=
ared interest in the formal study of actions (from Academia to Industry and=
 more, from Mathematics to Computer Science and beyond) to present their wo=
rk, foster discussions and encourage collaborations.

Previous editions of DaL=C3=AD took place in Bras=C3=ADlia (2017), Porto (2=
019), online (2020, 2022) and Tblisi (2023).


**** List of Topics ****
Submissions are invited 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/game logics
- Kleene and action algebras and their variants
- The interface between logic and learning
- Quantum dynamic logic
- Co-algebraic 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 lo=
gics
- Model checking, model generation and theorem proving for dynamic logics
- Integration of Dynamic Logic with Machine Learning Models


**** Submission and Proceedings ****

We solicit two categories of papers:

.Regular papers - describing original research results, case studies, or su=
rveys, should not exceed 15 pages (excluding bibliography of at most two pa=
ges).

.Short papers - describing original research results or case studies, maybe=
 in an incubation phase, with 6 to 8 pages (excluding bibliography of at mo=
st one page).


Papers must be formatted according to the guidelines for Springer LNCS pape=
rs. All submissions must be original, unpublished, and not submitted concur=
rently for publication elsewhere.

Papers can be submitted through Easychair: https://urldefense.com/v3/__http=
s://easychair.org/conferences/?conf=3Ddal2025__;!!IBzWLUs!RSZAX631qikgwQ7ux=
VzOvFx00a-7vYz2-xaGxBpM0VCS1LwWkX4l0XUDlGoaGDWs-Ff_RqyBlt6TyKtaoWVy6CID3D72=
$=20

A post-proceedings volume in Springer LNCS is being arranged. A special iss=
ue of the event with extended papers will be published in Journal of Logica=
l and Algebraic Methods in Programming (Elsevier).


*** Invited Speakers ***
TBA


*** Program Committee Chairs ***

Jing Wang (Shaanxi Normal University, China)
Alexandre Madeira (University of Aveiro, PT)

*** Organising Committee chair ***

Lei Li (Shaanxi Normal University, China)

*** Program Committee ***

Thomas =C3=85gotnes (U. of Bergen, No)
Carlos Areces (FaMAF, Ar)
Philippe Balbiani (IRIT, Fr)
Alexandru Baltag (U Amesterdam, Nl)
Lu=C3=ADs Soares Barbosa (U of Minho, Pt)
Mario Benevides (UFF, Br)
Thomas Bolander (Technical U. of Denmark, Dk)
Raul Fervari (U. Nacional de C=C3=B3rdoba,  CONICET, Ar)
Sabine Frittella (Lab. d'Informatique Fondamentale d'Orl=C3=A9ans, Fr)
Xiaoxuan Fu (China U. of Political Science and Law, Ch)
Sujata Ghosh (Indian Statistical Institute, In)
Leandro Gomes (Lille University, Fr)
Reiner H=C3=A4hnle (TU Darmstadt, Ge)
Asta Halkj=C3=A6r From (U. of Copenhagen, Dk)
Andreas Herzig (CNRS, IRIT, Univ. Toulouse, Fr)
Gabriele Kern-Isberner (Dortmund University, De)
Alexander Knapp (Universit=C3=A4t Augsburg, Ge)
Sophia Knight (U. of Minnesota Duluth, USA)
Katherine Kosaian (U. of Iowa, USA)
Clemens Kupke (U. of Strathclyde, UK)
Lei Li (Shaanxi Normal University, Ch)
Fei Liang (School of Philosophy and Social Development, Shandong U., Ch)
Fenrong Liu (Tsinghua University, Ch)
Alexandre Madeira (University of Aveiro, Pt)
Manuel A. Martins (University of Aveiro, Pt)
Alessandra Palmigiano (Vrije Universiteit Amsterdam, Nl)
Elaine Pimentel (UCL, UK)
R Ramanujam (I. of Mathematical Sciences, Chennai, In)
Katsuhiko Sano (F. of Humanities and Human Sciences, Hokkaido U., Jp)
Igor Sedlar (Czech Academy of Sciences, Cz)
Sonja Smets (U. Amsterdam, Nl)
Ionu=C8=9B =C8=9Au=C8=9Bu (IMAR, Ro)
Johan van Benthem (U. Amsterdam, Nl)
Jing Wang (Shaanxi Normal University, Ch)
Y=C3=AC Nicholas W=C3=A1ng (Dep of Philosophy, Sun Yat-sen University, Ch)
Zhaoqing Xu (Sichuan University, Ch)
Fan Yang (Utrecht University, Nl)
Zhiguang Zhao (Taishan University, Ch)



*** Steering Committee ***

Alexandru Baltag (U. Amsterdam, NL)
Alexandre Madeira (U. Aveiro, PT)
Andreas Herzig (IRIT, U. Paul Sabatier, FR)
Fenrong Liu (Tsinghua U., CH)
Johan van Benthem (U. Amsterdam, NL)
Igor Sedl=C3=A1r (Czech Academy of Sciences, CZ)
Lu=C3=ADs Soares Barbosa (U. Minho, PT), Chair
Manuel Martins (U. Aveiro, PT)
M=C3=A1rio Benevides (Federal U. Rio de Janeiro, BR)
Sonja Smets (U. Amsterdam, NL)
__________________________________
Alexandre Madeira
[email protected]




--_000_68CD2A310A6C46A38C388B75593E6B79uapt_
Content-Type: text/html; charset="utf-8"
Content-ID: <[email protected]>
Content-Transfer-Encoding: base64

PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i
dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5IHN0eWxlPSJvdmVyZmxv
dy13cmFwOiBicmVhay13b3JkOyAtd2Via2l0LW5ic3AtbW9kZTogc3BhY2U7IGxpbmUtYnJlYWs6
IGFmdGVyLXdoaXRlLXNwYWNlOyI+DQo8ZGl2Pj09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT08L2Rpdj4NCjxkaXY+RGFM
w60gMjAyNSAtIDFzdCBDYWxsIGZvciBQYXBlcnM8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8
ZGl2PkRhTMOtIDIwMjU6IDZ0aCBXb3Jrc2hvcCBvbiBEeW5hbWljIExvZ2ljIC0gTmV3IHRyZW5k
cyBhbmQgYXBwbGljYXRpb25zPC9kaXY+DQo8ZGl2PlNoYWFueGkgTm9ybWFsIFVuaXZlcnNpdHks
IFhpJ2FuLCBTaGFhbnhpIFByb3ZpbmNlLCBQLiBSLiBDaGluYTwvZGl2Pg0KPGRpdj5PY3RvYmVy
IDIwLTIxLCAyMDI1PC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4qKioodGVtcG9yYXJ5
IGxpbmspICZuYnNwO2h0dHA6Ly9kYWxpMjAyNS53ZWIudWEucHQgKioqPC9kaXY+DQo8ZGl2Pjxi
cj4NCjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PTwvZGl2Pg0K
PGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+KioqIEltcG9ydGFudCBEYXRlcyAqKio8L2Rpdj4NCjxk
aXY+LSBBYnN0cmFjdCBzdWJtaXNzaW9uIGRlYWRsaW5lOiAmbmJzcDsqMXN0IEp1bmUsIDIwMjUq
PC9kaXY+DQo8ZGl2Pi0gRnVsbCBwYXBlciBzdWJtaXNzaW9uIGRlYWRsaW5lOiAmbmJzcDsqNXRo
IG9mIEp1bmUsIDIwMjUqPC9kaXY+DQo8ZGl2Pi0gQXV0aG9yIG5vdGlmaWNhdGlvbnM6ICoxNXRo
IG9mIEp1bHksIDIwMjUqPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rp
dj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PioqKiogT3ZlcnZpZXcgKioqKio8L2Rpdj4NCjxk
aXY+QnVpbGRpbmcgb24gdGhlIGlkZWFzIG9mIEZsb3lkLUhvYXJlIGxvZ2ljLCBkeW5hbWljIGxv
Z2ljIHdhcyBpbnRyb2R1Y2VkIGluIHRoZSA3MCdzIGFzIGEgZm9ybWFsIHRvb2wgZm9yIHJlYXNv
bmluZyBhYm91dCwgYW5kIHZlcmlmeSwgY2xhc3NpYyBpbXBlcmF0aXZlIHByb2dyYW1zLiBPdmVy
IHRpbWUsIGl0cyBhaW0gaGFzIGV2b2x2ZWQgYW5kIGV4cGFuZGVkOyBETCBjYW4gYmUgc2VlbiBu
b3cgYXMgYSBnZW5lcmFsIHNldCBvZiBpZGVhcw0KIGFuZCB0b29scyBkZXZpc2VkIGZvciByZXBy
ZXNlbnRpbmcsIGRlc2NyaWJpbmcgYW5kIHJlYXNvbmluZyBhYm91dCBkaXZlcnNlIGtpbmQgb2Yg
YWN0aW9ucywgaW5jbHVkaW5nIChidXQgbm90IGxpbWl0ZWQgdG8pIGZyYW1ld29ya3MgdGFpbG9y
ZWQgZm9yIHNwZWNpZmljIHByb2dyYW1taW5nIHByb2JsZW1zLyBwYXJhZGlnbXMgKGUuZy4sIHNl
cGFyYXRpb24gbG9naWNzKSwgc2V0dGluZ3MgZm9yIG1vZGVsbGluZyBuZXcgY29tcHV0aW5nIGRv
bWFpbnMNCiAoZS5nLiwgcHJvYmFiaWxpc3RpYywgY29udGludW91cyBhbmQgcXVhbnR1bSBjb21w
dXRhdGlvbiksIGZyYW1ld29ya3MgZm9yIHJlYXNvbmluZyBhYm91dCBpbmZvcm1hdGlvbiBkeW5h
bWljcyAoZS5nLiwgZHluYW1pYyBlcGlzdGVtaWMgbG9naWNzKSBhbmQgc3lzdGVtcyBmb3IgcmVh
c29uaW5nIGFib3V0IGxvbmcgdGVybSBpbmZvcm1hdGlvbiBkeW5hbWljcyAoZS5nLiwgbGVhcm5p
bmcgdGhlb3J5KS48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PkJvdGggaXRzIHRoZW9y
ZXRpY2FsIHJlbGV2YW5jZSBhbmQgcHJhY3RpY2FsIHBvdGVudGlhbCBtYWtlIERMcyBhIHRvcGlj
IG9mIGludGVyZXN0IGluIGEgbnVtYmVyIG9mIHNjaWVudGlmaWMgdmVudWVzLCBmcm9tIHdpZGUt
c2NvcGUgc29mdHdhcmUgZW5naW5lZXJpbmcgY29uZmVyZW5jZXMgdG8gbW9kYWwgbG9naWMgc3Bl
Y2lmaWMgZXZlbnRzLiBUaGUgYWltIG9mIHRoZSBEYUzDrSAyMDI1IHdvcmtzaG9wIGlzIHRvIGJy
aW5nIHRvZ2V0aGVyLA0KIGluIGEgc2luZ2xlIHBsYWNlLCByZXNlYXJjaGVycyB3aXRoIGEgc2hh
cmVkIGludGVyZXN0IGluIHRoZSBmb3JtYWwgc3R1ZHkgb2YgYWN0aW9ucyAoZnJvbSBBY2FkZW1p
YSB0byBJbmR1c3RyeSBhbmQgbW9yZSwgZnJvbSBNYXRoZW1hdGljcyB0byBDb21wdXRlciBTY2ll
bmNlIGFuZCBiZXlvbmQpIHRvIHByZXNlbnQgdGhlaXIgd29yaywgZm9zdGVyIGRpc2N1c3Npb25z
IGFuZCBlbmNvdXJhZ2UgY29sbGFib3JhdGlvbnMuPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0K
PGRpdj5QcmV2aW91cyBlZGl0aW9ucyBvZiBEYUzDrSB0b29rIHBsYWNlIGluIEJyYXPDrWxpYSAo
MjAxNyksIFBvcnRvICgyMDE5KSwgb25saW5lICgyMDIwLCAyMDIyKSBhbmQgVGJsaXNpICgyMDIz
KS48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4qKioq
IExpc3Qgb2YgVG9waWNzICoqKio8L2Rpdj4NCjxkaXY+U3VibWlzc2lvbnMgYXJlIGludml0ZWQg
b24gdGhlIGdlbmVyYWwgZmllbGQgb2YgZHluYW1pYyBsb2dpYywgaXRzIHZhcmlhbnRzIGFuZCBh
cHBsaWNhdGlvbnMsIGluY2x1ZGluZyAoYnV0IG5vdCByZXN0cmljdGVkIHRvKTo8L2Rpdj4NCjxk
aXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pi0gRHluYW1pYyBsb2dpYywgZm91bmRhdGlvbnMgYW5kIGFw
cGxpY2F0aW9uczwvZGl2Pg0KPGRpdj4tIExvZ2ljcyB3aXRoIHJlZ3VsYXIgbW9kYWxpdGllczwv
ZGl2Pg0KPGRpdj4tIE1vZGFsL3RlbXBvcmFsL2VwaXN0ZW1pYy9nYW1lIGxvZ2ljczwvZGl2Pg0K
PGRpdj4tIEtsZWVuZSBhbmQgYWN0aW9uIGFsZ2VicmFzIGFuZCB0aGVpciB2YXJpYW50czwvZGl2
Pg0KPGRpdj4tIFRoZSBpbnRlcmZhY2UgYmV0d2VlbiBsb2dpYyBhbmQgbGVhcm5pbmc8L2Rpdj4N
CjxkaXY+LSBRdWFudHVtIGR5bmFtaWMgbG9naWM8L2Rpdj4NCjxkaXY+LSBDby1hbGdlYnJhaWMg
bW9kYWwvZHluYW1pYyBsb2dpY3M8L2Rpdj4NCjxkaXY+LSBHcmFkZWQgYW5kIGZ1enp5IGR5bmFt
aWMgbG9naWNzPC9kaXY+DQo8ZGl2Pi0gRHluYW1pYyBsb2dpY3MgZm9yIGN5YmVyLXBoeXNpY2Fs
IHN5c3RlbXM8L2Rpdj4NCjxkaXY+LSBEeW5hbWljIGVwaXN0ZW1pYyBsb2dpYzwvZGl2Pg0KPGRp
dj4tIENvbXBsZXhpdHkgYW5kIGRlY2lkYWJpbGl0eSBvZiB2YXJpYW50cyBvZiBkeW5hbWljIGxv
Z2ljcyBhbmQgdGVtcG9yYWwgbG9naWNzPC9kaXY+DQo8ZGl2Pi0gTW9kZWwgY2hlY2tpbmcsIG1v
ZGVsIGdlbmVyYXRpb24gYW5kIHRoZW9yZW0gcHJvdmluZyBmb3IgZHluYW1pYyBsb2dpY3M8L2Rp
dj4NCjxkaXY+LSBJbnRlZ3JhdGlvbiBvZiBEeW5hbWljIExvZ2ljIHdpdGggTWFjaGluZSBMZWFy
bmluZyBNb2RlbHM8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0K
PGRpdj4qKioqIFN1Ym1pc3Npb24gYW5kIFByb2NlZWRpbmdzICoqKio8L2Rpdj4NCjxkaXY+PGJy
Pg0KPC9kaXY+DQo8ZGl2PldlIHNvbGljaXQgdHdvIGNhdGVnb3JpZXMgb2YgcGFwZXJzOjwvZGl2
Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+LlJlZ3VsYXIgcGFwZXJzIC0gZGVzY3JpYmluZyBv
cmlnaW5hbCByZXNlYXJjaCByZXN1bHRzLCBjYXNlIHN0dWRpZXMsIG9yIHN1cnZleXMsIHNob3Vs
ZCBub3QgZXhjZWVkIDE1IHBhZ2VzIChleGNsdWRpbmcgYmlibGlvZ3JhcGh5IG9mIGF0IG1vc3Qg
dHdvIHBhZ2VzKS48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pi5TaG9ydCBwYXBlcnMg
LSBkZXNjcmliaW5nIG9yaWdpbmFsIHJlc2VhcmNoIHJlc3VsdHMgb3IgY2FzZSBzdHVkaWVzLCBt
YXliZSBpbiBhbiBpbmN1YmF0aW9uIHBoYXNlLCB3aXRoIDYgdG8gOCBwYWdlcyAoZXhjbHVkaW5n
IGJpYmxpb2dyYXBoeSBvZiBhdCBtb3N0IG9uZSBwYWdlKS48L2Rpdj4NCjxkaXY+PGJyPg0KPC9k
aXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5QYXBlcnMgbXVzdCBiZSBmb3JtYXR0ZWQgYWNj
b3JkaW5nIHRvIHRoZSBndWlkZWxpbmVzIGZvciBTcHJpbmdlciBMTkNTIHBhcGVycy4gQWxsIHN1
Ym1pc3Npb25zIG11c3QgYmUgb3JpZ2luYWwsIHVucHVibGlzaGVkLCBhbmQgbm90IHN1Ym1pdHRl
ZCBjb25jdXJyZW50bHkgZm9yIHB1YmxpY2F0aW9uIGVsc2V3aGVyZS48L2Rpdj4NCjxkaXY+PGJy
Pg0KPC9kaXY+DQo8ZGl2PlBhcGVycyBjYW4gYmUgc3VibWl0dGVkIHRocm91Z2ggRWFzeWNoYWly
OiBodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5jZXMvP2NvbmY9ZGFsMjAyNTwvZGl2Pg0K
PGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+QSBwb3N0LXByb2NlZWRpbmdzIHZvbHVtZSBpbiBTcHJp
bmdlciBMTkNTIGlzIGJlaW5nIGFycmFuZ2VkLiBBIHNwZWNpYWwgaXNzdWUgb2YgdGhlIGV2ZW50
IHdpdGggZXh0ZW5kZWQgcGFwZXJzIHdpbGwgYmUgcHVibGlzaGVkIGluIEpvdXJuYWwgb2YgTG9n
aWNhbCBhbmQgQWxnZWJyYWljIE1ldGhvZHMgaW4gUHJvZ3JhbW1pbmcgKEVsc2V2aWVyKS48L2Rp
dj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4qKiogSW52aXRl
ZCBTcGVha2VycyAqKio8L2Rpdj4NCjxkaXY+VEJBPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0K
PGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+KioqIFByb2dyYW0gQ29tbWl0dGVlIENoYWlycyAqKiom
bmJzcDs8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PkppbmcgV2FuZyAoU2hhYW54aSBO
b3JtYWwgVW5pdmVyc2l0eSwgQ2hpbmEpPC9kaXY+DQo8ZGl2PkFsZXhhbmRyZSBNYWRlaXJhIChV
bml2ZXJzaXR5IG9mIEF2ZWlybywgUFQpPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4q
KiogT3JnYW5pc2luZyBDb21taXR0ZWUgY2hhaXIgKioqPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2
Pg0KPGRpdj5MZWkgTGkgKFNoYWFueGkgTm9ybWFsIFVuaXZlcnNpdHksIENoaW5hKSA8c3BhbiBj
bGFzcz0iQXBwbGUtdGFiLXNwYW4iIHN0eWxlPSJ3aGl0ZS1zcGFjZTpwcmUiPg0KPC9zcGFuPjwv
ZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+KioqIFByb2dyYW0gQ29tbWl0dGVlICoqKjwv
ZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+VGhvbWFzPHNwYW4gY2xhc3M9IkFwcGxlLXRh
Yi1zcGFuIiBzdHlsZT0id2hpdGUtc3BhY2U6cHJlIj4gPC9zcGFuPsOFZ290bmVzPHNwYW4gY2xh
c3M9IkFwcGxlLXRhYi1zcGFuIiBzdHlsZT0id2hpdGUtc3BhY2U6cHJlIj4NCjwvc3Bhbj4oVS4g
b2YgQmVyZ2VuLCBObyk8L2Rpdj4NCjxkaXY+Q2FybG9zPHNwYW4gY2xhc3M9IkFwcGxlLXRhYi1z
cGFuIiBzdHlsZT0id2hpdGUtc3BhY2U6cHJlIj4gPC9zcGFuPkFyZWNlczxzcGFuIGNsYXNzPSJB
cHBsZS10YWItc3BhbiIgc3R5bGU9IndoaXRlLXNwYWNlOnByZSI+DQo8L3NwYW4+KEZhTUFGLCBB
cik8L2Rpdj4NCjxkaXY+UGhpbGlwcGUgQmFsYmlhbmkgKElSSVQsIEZyKTwvZGl2Pg0KPGRpdj5B
bGV4YW5kcnUgQmFsdGFnIChVIEFtZXN0ZXJkYW0sIE5sKTwvZGl2Pg0KPGRpdj5MdcOtcyBTb2Fy
ZXMgQmFyYm9zYSAoVSBvZiBNaW5obywgUHQpPC9kaXY+DQo8ZGl2Pk1hcmlvPHNwYW4gY2xhc3M9
IkFwcGxlLXRhYi1zcGFuIiBzdHlsZT0id2hpdGUtc3BhY2U6cHJlIj4gPC9zcGFuPkJlbmV2aWRl
cyAoVUZGLCBCcik8L2Rpdj4NCjxkaXY+VGhvbWFzIEJvbGFuZGVyIChUZWNobmljYWwgVS4gb2Yg
RGVubWFyaywgRGspPC9kaXY+DQo8ZGl2PlJhdWwgRmVydmFyaTxzcGFuIGNsYXNzPSJBcHBsZS10
YWItc3BhbiIgc3R5bGU9IndoaXRlLXNwYWNlOnByZSI+IDwvc3Bhbj4oVS4gTmFjaW9uYWwgZGUg
Q8OzcmRvYmEsICZuYnNwO0NPTklDRVQsIEFyKTwvZGl2Pg0KPGRpdj5TYWJpbmUgRnJpdHRlbGxh
IChMYWIuIGQnSW5mb3JtYXRpcXVlIEZvbmRhbWVudGFsZSBkJ09ybMOpYW5zLCBGcik8L2Rpdj4N
CjxkaXY+WGlhb3h1YW4gRnUgKENoaW5hIFUuIG9mIFBvbGl0aWNhbCBTY2llbmNlIGFuZCBMYXcs
IENoKTwvZGl2Pg0KPGRpdj5TdWphdGE8c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNwYW4iIHN0eWxl
PSJ3aGl0ZS1zcGFjZTpwcmUiPiA8L3NwYW4+R2hvc2ggKEluZGlhbiBTdGF0aXN0aWNhbCBJbnN0
aXR1dGUsIEluKTwvZGl2Pg0KPGRpdj5MZWFuZHJvIEdvbWVzIChMaWxsZSBVbml2ZXJzaXR5LCBG
cik8L2Rpdj4NCjxkaXY+UmVpbmVyPHNwYW4gY2xhc3M9IkFwcGxlLXRhYi1zcGFuIiBzdHlsZT0i
d2hpdGUtc3BhY2U6cHJlIj4gPC9zcGFuPkjDpGhubGUgKFRVIERhcm1zdGFkdCwgR2UpPC9kaXY+
DQo8ZGl2PkFzdGEgSGFsa2rDpnIgRnJvbSAoVS4gb2YgQ29wZW5oYWdlbiwgRGspPC9kaXY+DQo8
ZGl2PkFuZHJlYXM8c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNwYW4iIHN0eWxlPSJ3aGl0ZS1zcGFj
ZTpwcmUiPiA8L3NwYW4+SGVyemlnIChDTlJTLCBJUklULCBVbml2LiBUb3Vsb3VzZSwgRnIpPC9k
aXY+DQo8ZGl2PkdhYnJpZWxlIEtlcm4tSXNiZXJuZXI8c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNw
YW4iIHN0eWxlPSJ3aGl0ZS1zcGFjZTpwcmUiPiA8L3NwYW4+DQooRG9ydG11bmQgVW5pdmVyc2l0
eSwgRGUpPC9kaXY+DQo8ZGl2PkFsZXhhbmRlciBLbmFwcDxzcGFuIGNsYXNzPSJBcHBsZS10YWIt
c3BhbiIgc3R5bGU9IndoaXRlLXNwYWNlOnByZSI+IDwvc3Bhbj4NCihVbml2ZXJzaXTDpHQgQXVn
c2J1cmcsIEdlKTwvZGl2Pg0KPGRpdj5Tb3BoaWE8c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNwYW4i
IHN0eWxlPSJ3aGl0ZS1zcGFjZTpwcmUiPiA8L3NwYW4+S25pZ2h0IChVLiBvZiBNaW5uZXNvdGEg
RHVsdXRoLCBVU0EpPC9kaXY+DQo8ZGl2PkthdGhlcmluZSBLb3NhaWFuIChVLiBvZiBJb3dhLCBV
U0EpPC9kaXY+DQo8ZGl2PkNsZW1lbnM8c3BhbiBjbGFzcz0iQXBwbGUtdGFiLXNwYW4iIHN0eWxl
PSJ3aGl0ZS1zcGFjZTpwcmUiPiA8L3NwYW4+S3Vwa2UgKFUuIG9mIFN0cmF0aGNseWRlLCBVSyk8
L2Rpdj4NCjxkaXY+TGVpIExpIChTaGFhbnhpIE5vcm1hbCBVbml2ZXJzaXR5LCBDaCk8L2Rpdj4N
CjxkaXY+RmVpIExpYW5nIChTY2hvb2wgb2YgUGhpbG9zb3BoeSBhbmQgU29jaWFsIERldmVsb3Bt
ZW50LCBTaGFuZG9uZyBVLiwgQ2gpPC9kaXY+DQo8ZGl2PkZlbnJvbmc8c3BhbiBjbGFzcz0iQXBw
bGUtdGFiLXNwYW4iIHN0eWxlPSJ3aGl0ZS1zcGFjZTpwcmUiPiA8L3NwYW4+TGl1IChUc2luZ2h1
YSBVbml2ZXJzaXR5LCBDaCk8L2Rpdj4NCjxkaXY+QWxleGFuZHJlIE1hZGVpcmEgKFVuaXZlcnNp
dHkgb2YgQXZlaXJvLCBQdCkmbmJzcDs8L2Rpdj4NCjxkaXY+TWFudWVsIEEuIE1hcnRpbnMgKFVu
aXZlcnNpdHkgb2YgQXZlaXJvLCBQdCk8L2Rpdj4NCjxkaXY+QWxlc3NhbmRyYSBQYWxtaWdpYW5v
IChWcmlqZSBVbml2ZXJzaXRlaXQgQW1zdGVyZGFtLCBObCk8L2Rpdj4NCjxkaXY+RWxhaW5lPHNw
YW4gY2xhc3M9IkFwcGxlLXRhYi1zcGFuIiBzdHlsZT0id2hpdGUtc3BhY2U6cHJlIj4gPC9zcGFu
PlBpbWVudGVsIChVQ0wsIFVLKTwvZGl2Pg0KPGRpdj5SIFJhbWFudWphbSAoSS4gb2YgTWF0aGVt
YXRpY2FsIFNjaWVuY2VzLCBDaGVubmFpLCBJbik8L2Rpdj4NCjxkaXY+S2F0c3VoaWtvIFNhbm8g
KEYuIG9mIEh1bWFuaXRpZXMgYW5kIEh1bWFuIFNjaWVuY2VzLCBIb2trYWlkbyBVLiwgSnApPC9k
aXY+DQo8ZGl2Pklnb3IgU2VkbGFyIChDemVjaCBBY2FkZW15IG9mIFNjaWVuY2VzLCBDeik8L2Rp
dj4NCjxkaXY+U29uamEgU21ldHMgKFUuIEFtc3RlcmRhbSwgTmwpPC9kaXY+DQo8ZGl2PklvbnXI
myDImnXIm3UgKElNQVIsIFJvKTwvZGl2Pg0KPGRpdj5Kb2hhbiB2YW4gQmVudGhlbSAoVS4gQW1z
dGVyZGFtLCBObCk8L2Rpdj4NCjxkaXY+SmluZyBXYW5nIChTaGFhbnhpIE5vcm1hbCBVbml2ZXJz
aXR5LCBDaCk8L2Rpdj4NCjxkaXY+WcOsIE5pY2hvbGFzIFfDoW5nIChEZXAgb2YgUGhpbG9zb3Bo
eSwgU3VuIFlhdC1zZW4gVW5pdmVyc2l0eSwgQ2gpPC9kaXY+DQo8ZGl2PlpoYW9xaW5nIFh1IChT
aWNodWFuIFVuaXZlcnNpdHksIENoKTwvZGl2Pg0KPGRpdj5GYW48c3BhbiBjbGFzcz0iQXBwbGUt
dGFiLXNwYW4iIHN0eWxlPSJ3aGl0ZS1zcGFjZTpwcmUiPiA8L3NwYW4+WWFuZyAoVXRyZWNodCBV
bml2ZXJzaXR5LCBObCk8L2Rpdj4NCjxkaXY+WmhpZ3VhbmcgWmhhbyAoVGFpc2hhbiBVbml2ZXJz
aXR5LCBDaCk8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRp
dj48YnI+DQo8L2Rpdj4NCjxkaXY+KioqIFN0ZWVyaW5nIENvbW1pdHRlZSAqKio8L2Rpdj4NCjxk
aXY+PGJyPg0KPC9kaXY+DQo8ZGl2PkFsZXhhbmRydSBCYWx0YWcgKFUuIEFtc3RlcmRhbSwgTkwp
PC9kaXY+DQo8ZGl2PkFsZXhhbmRyZSBNYWRlaXJhIChVLiBBdmVpcm8sIFBUKTwvZGl2Pg0KPGRp
dj5BbmRyZWFzIEhlcnppZyAoSVJJVCwgVS4gUGF1bCBTYWJhdGllciwgRlIpPC9kaXY+DQo8ZGl2
PkZlbnJvbmcgTGl1IChUc2luZ2h1YSBVLiwgQ0gpPC9kaXY+DQo8ZGl2PkpvaGFuIHZhbiBCZW50
aGVtIChVLiBBbXN0ZXJkYW0sIE5MKTwvZGl2Pg0KPGRpdj5JZ29yIFNlZGzDoXIgKEN6ZWNoIEFj
YWRlbXkgb2YgU2NpZW5jZXMsIENaKTwvZGl2Pg0KPGRpdj5MdcOtcyBTb2FyZXMgQmFyYm9zYSAo
VS4gTWluaG8sIFBUKSwgQ2hhaXI8L2Rpdj4NCjxkaXY+TWFudWVsIE1hcnRpbnMgKFUuIEF2ZWly
bywgUFQpPC9kaXY+DQo8ZGl2Pk3DoXJpbyBCZW5ldmlkZXMgKEZlZGVyYWwgVS4gUmlvIGRlIEph
bmVpcm8sIEJSKTwvZGl2Pg0KPGRpdj5Tb25qYSBTbWV0cyAoVS4gQW1zdGVyZGFtLCBOTCk8L2Rp
dj4NCjxkaXY+DQo8ZGl2Pl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX188L2Rpdj4N
CjxkaXY+QWxleGFuZHJlIE1hZGVpcmE8L2Rpdj4NCjxkaXY+bWFkZWlyYUB1YS5wdDwvZGl2Pg0K
PGRpdj48YnI+DQo8L2Rpdj4NCjxiciBjbGFzcz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGluZSI+
DQo8L2Rpdj4NCjxicj4NCjwvYm9keT4NCjwvaHRtbD4NCg==

--_000_68CD2A310A6C46A38C388B75593E6B79uapt_--

--===============6906601795892033284==--