VSTTE 2026: Second Call for Papers and WIP Presentations
Tan Yong Kiam <[email protected]> Mon, 15 Jun 2026 01:47:07 +0000
| Newsgroups | gmane.comp.lang.caml.inria,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.agda,gmane.comp.lang.haskell.cafe,gmane.science.mathematics.logic.isabelle.user |
|---|---|
| Message-ID | <TYZPR01MB5926136A09621C3A05509056B1E62@TYZPR01MB5926.apcprd01.prod.exchangelabs.com> |
--_000_TYZPR01MB5926136A09621C3A05509056B1E62TYZPR01MB5926apcp_
Content-Type: text/plain; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
VSTTE 2026: Second Call for Papers and WIP Presentations
18th International Conference on Verified Software: Theories, Tools, and Ex=
periments
14 September, 2026, Graz, Austria
Co-located with Formal Methods in Computer-Aided Design 2026 (FMCAD 2026<ht=
tps://fmcad.org/FMCAD26>)
________________________________
Key Information
Conference Website: https://fmcad.org/FMCAD26/vstte/
Important Dates:
Abstract submission: July 10th, 2026 AoE July 17th, 2026 AoE
Paper submission: July 17th, 2026 AoE July 24th, 2026 AoE (firm, no further=
extensions)
Notification of acceptance: August 22nd, 2026 AoE (tentative)*
Final pre-conference paper submission (optional): September 2nd, 2026 AoE (=
tentative)
Camera-ready for papers included in post-conference proceedings: October 23=
, 2026 (tentative)
* Authors of accepted papers at VSTTE 2026 will be able to register at earl=
y-bird rates for FMCAD/VSTTE.
________________________________
Paper Submissions:
VSTTE 2026 accepts both long (limited to 16 pages, excluding references) an=
d
short (limited to 10 pages, excluding references) paper submissions. Short
submissions also cover =93verification pearls=94 describing an elegant proo=
f or
proof technique. Submitted research papers and system descriptions must be
original and not submitted for publication elsewhere.
Papers must be submitted via EasyChair at the VSTTE 2026 conference submiss=
ion
page: https://easychair.org/conferences/?conf=3Dvstte2026.
The use of LaTeX and the Springer LNCS class files<https://www.springer.com=
/gp/computer-science/lncs/conference-proceedings-guidelines> is strongly en=
couraged.
Submissions that are not in the proper format or are too long will not be c=
onsidered.
Accepted regular-track papers will be included in the post-conference
proceedings of VSTTE 2026, which will be published as a LNCS volume by
Springer Verlag. Authors of those papers will have to transfer copyright of
their contribution to Springer Verlag.
________________________________
Invited speakers
*
Roderick Bloem<https://www.isec.tugraz.at/person/roderick-bloem/> (Graz Uni=
versity of Technology)
*
Martin Jon=E1=9A<https://mjonas.net/> (Masaryk University, Brno)
Invited tutorial
*
Daniela Kaufmann<https://danielakaufmann.at/> (TU Wien)
*
Omri Isac<https://omriisack.github.io/> (Hebrew University of Jerusalem)
--_000_TYZPR01MB5926136A09621C3A05509056B1E62TYZPR01MB5926apcp_
Content-Type: text/html; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1=
252">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div style=3D"margin-top: 0pt; margin-bottom: 0pt;" id=3D"docs-internal-gui=
d-4f740e0a-7fff-dc34-5ee9-0c04e908293f" class=3D"elementToProof">
<div style=3D"direction: ltr; line-height: 1.38; font-family: Aptos, "=
Aptos_EmbeddedFont", "Aptos_MSFontService", Calibri, Helveti=
ca, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class=3D"elementToPr=
oof">
<span style=3D"font-weight: 700;">VSTTE 2026: Second Call for Papers and WI=
P Presentations</span></div>
</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">18th International Conference on Verified=
Software: Theories, Tools, and Experiments</span></div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
14 September, 2026, Graz, Austria</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Co-located with Formal Methods in Computer-Aided Design 2026 (<span style=
=3D"color: rgb(17, 85, 204);"><a href=3D"https://fmcad.org/FMCAD26" id=3D"O=
WA9b8ba649-e1f2-7328-def8-20fb2f01a199" class=3D"OWAAutoLink" style=3D"colo=
r: rgb(17, 85, 204);"><u>FMCAD 2026</u></a></span>)</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<hr>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Key Information</span></div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Conference Website:</span> <span style=3D=
"color: rgb(17, 85, 204);">
<a href=3D"https://fmcad.org/FMCAD26/vstte/" id=3D"OWAf3e5e5bf-6f56-ce52-99=
c3-8c9abc2f01b8" class=3D"OWAAutoLink" style=3D"color: rgb(17, 85, 204);"><=
u>https://fmcad.org/FMCAD26/vstte/</u></a></span></div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Important Dates:</span></div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Abstract submission: <s>July 10th, 2026 AoE</s> <span style=3D"font-w=
eight: 700;">July 17th, 2026 AoE</span></div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Paper submission: <s>July 17th, 2026 AoE</s> <span style=3D"font-weight: 70=
0;">July 24th, 2026 AoE (firm, no further extensions)</span></div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Notification of acceptance: August 22nd, 2026 AoE (tentative)*</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Final pre-conference paper submission (optional): September 2nd, 2026 AoE (=
tentative)</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Camera-ready for papers included in post-conference proceedings: October 23=
, 2026 (tentative)</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
* Authors of accepted papers at VSTTE 2026 will be able to register at earl=
y-bird rates for FMCAD/VSTTE.</div>
<hr>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Paper Submissions:</span></div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
VSTTE 2026 accepts both long (limited to 16 pages, excluding references) an=
d</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
short (limited to 10 pages, excluding references) paper submissions. Short<=
/div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
submissions also cover =93verification pearls=94 describing an elegant proo=
f or</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
proof technique. Submitted research papers and system descriptions must be<=
/div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
original and not submitted for publication elsewhere.</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Papers must be submitted via EasyChair at the VSTTE 2026 conference submiss=
ion</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
page: <span style=3D"color: rgb(17, 85, 204);"><a href=3D"https://easychair=
.org/conferences/?conf=3Dvstte2026" id=3D"OWAb67cd987-c474-4e85-711c-0a6893=
4cacdf" class=3D"OWAAutoLink" style=3D"color: rgb(17, 85, 204);"><u>https:/=
/easychair.org/conferences/?conf=3Dvstte2026</u></a></span>.</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
The use of LaTeX and the <span style=3D"color: rgb(17, 85, 204);"><a href=
=3D"https://www.springer.com/gp/computer-science/lncs/conference-proceeding=
s-guidelines" id=3D"OWA80bfd821-5a0b-254e-6898-6a7638c27774" class=3D"OWAAu=
toLink" style=3D"color: rgb(17, 85, 204);"><u>Springer
LNCS class files</u></a></span> is strongly encouraged.</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Submissions that are not in the proper format or are too long will not be c=
onsidered.</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Accepted regular-track papers will be included in the post-conference</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
proceedings of VSTTE 2026, which will be published as a LNCS volume by</div=
>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
Springer Verlag. Authors of those papers will have to transfer copyright of=
</div>
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt; font-family: Aptos, "Aptos_EmbeddedFont", "Aptos_=
MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; color=
: rgb(0, 0, 0);" class=3D"elementToProof">
their contribution to Springer Verlag.</div>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
<hr>
<div style=3D"direction: ltr; line-height: 1.656; margin-top: 14pt; margin-=
bottom: 4pt; font-family: Aptos, "Aptos_EmbeddedFont", "Apto=
s_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; col=
or: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Invited speakers</span></div>
<ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apto=
s_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; col=
or: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt;" class=3D"elementToProof" role=3D"presentation">
<span style=3D"color: rgb(17, 85, 204);"><a href=3D"https://www.isec.tugraz=
.at/person/roderick-bloem/" id=3D"OWA83dad113-ef7d-bba5-cb71-697b7c0e7290" =
class=3D"OWAAutoLink" style=3D"color: rgb(17, 85, 204);"><u>Roderick Bloem<=
/u></a></span> (Graz University of Technology)</div>
</li><li style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "=
;Aptos_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt=
; font-weight: 700; color: rgb(0, 0, 0); direction: ltr; list-style-type: d=
isc;">
<div style=3D"direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bo=
ttom: 0pt;" class=3D"elementToProof" role=3D"presentation">
<span style=3D"color: rgb(17, 85, 204); font-weight: 400;"><a href=3D"https=
://mjonas.net/" id=3D"OWAd2104e47-bd75-b1b0-d7a1-6c3b6ecb4289" class=3D"OWA=
AutoLink" style=3D"color: rgb(17, 85, 204);"><u>Martin Jon=E1=9A</u></a></s=
pan><span style=3D"font-weight: 400;"> (Masaryk
University, Brno)</span></div>
</li></ul>
<div style=3D"direction: ltr; line-height: 1.656; margin-top: 14pt; margin-=
bottom: 4pt; font-family: Aptos, "Aptos_EmbeddedFont", "Apto=
s_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; col=
or: rgb(0, 0, 0);" class=3D"elementToProof">
<span style=3D"font-weight: 700;">Invited tutorial</span></div>
<ul style=3D"margin-top: 0px; margin-bottom: 0px;">
<li style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apto=
s_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; col=
or: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style=3D"direction: ltr; line-height: 1.656; margin-top: 14pt; margin-=
bottom: 4pt;" class=3D"elementToProof" role=3D"presentation">
<span style=3D"color: rgb(17, 85, 204);"><a href=3D"https://danielakaufmann=
.at/" id=3D"OWAa9c7a13c-abc4-b343-cf5b-69faa67babcf" class=3D"OWAAutoLink" =
style=3D"color: rgb(17, 85, 204);"><u>Daniela Kaufmann</u></a></span> =
(TU Wien)</div>
</li><li style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "=
;Aptos_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt=
; color: rgb(0, 0, 0); direction: ltr;">
<div style=3D"direction: ltr; line-height: 1.656; margin-top: 14pt; margin-=
bottom: 4pt;" role=3D"presentation">
<span style=3D"color: rgb(17, 85, 204);"><a href=3D"https://omriisack.githu=
b.io/" id=3D"OWAff105988-1390-cb69-9287-9dc7ed8c5c5a" class=3D"OWAAutoLink"=
style=3D"color: rgb(17, 85, 204);"><u>Omri Isac</u></a></span> (Hebre=
w University of Jerusalem)</div>
</li></ul>
<div style=3D"font-family: Aptos, "Aptos_EmbeddedFont", "Apt=
os_MSFontService", Calibri, Helvetica, sans-serif; font-size: 12pt; co=
lor: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>
--_000_TYZPR01MB5926136A09621C3A05509056B1E62TYZPR01MB5926apcp_--