<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="markdown-here-wrapper" data-md-url="" style=""
markdown-here-wrapper-content-modified="true">
<p style="margin: 0px 0px 1.2em !important;"><b><font size="4">6th
International Workshop on Formal Methods for Blockchains -
First Call for Papers</font></b></p>
<p style="margin: 0px 0px 1.2em !important;"><a
href="https://fmbc.gitlab.io/2025"
class="moz-txt-link-freetext">https://fmbc.gitlab.io/2025</a></p>
<p style="margin: 0px 0px 1.2em !important;">May 04, 2025,
Hamilton, ON, Canada</p>
<p style="margin: 0px 0px 1.2em !important;">Co-located with the
European joint conferences on theory and practice of software
(ETAPS 2025)</p>
<p style="margin: 0px 0px 1.2em !important;"><a
href="https://www.etaps.org/2025/"
class="moz-txt-link-freetext">https://www.etaps.org/2025/</a></p>
<hr>
<hr>
<h2
style="margin: 1.3em 0px 1em; padding: 0px; font-weight: bold;font-size: 1.4em; border-bottom: 1px solid rgb(119, 119, 119);">IMPORTANT
DATES</h2>
<p style="margin: 0px 0px 1.2em !important;">Abstract submission:
February 3rd, 2025<br>
Full paper submission: February 10th, 2025<br>
Notification: March 14th, 2025<br>
Camera-ready: March 31st, 2025<br>
Workshop: May 4th, 2025</p>
<p style="margin: 0px 0px 1.2em !important;">Deadlines are
Anywhere on Earth:<br>
<a href="https://en.wikipedia.org/wiki/Anywhere_on_Earth"
class="moz-txt-link-freetext">https://en.wikipedia.org/wiki/Anywhere_on_Earth</a></p>
<hr>
<hr>
<h2
style="margin: 1.3em 0px 1em; padding: 0px; font-weight: bold;font-size: 1.4em; border-bottom: 1px solid rgb(119, 119, 119);">TOPICS
OF INTEREST</h2>
<p style="margin: 0px 0px 1.2em !important;">Blockchain is a novel
technology to store data in a decentralized way.<br>
Although the technology was originally invented to enable
cryptocurrencies, it quickly found applications in several other
domains.</p>
<p style="margin: 0px 0px 1.2em !important;">Blockchains may also
provide support for Smart Contracts. Smart Contracts are scripts
of an ad-hoc programming language that are<br>
stored in the blockchain and that run on the network. They can
interact with the ledger’s data and update its state.<br>
These scripts can express the logic of possibly complex
contracts between users of the blockchain. Thus, Smart Contracts
can facilitate<br>
the economic activity of blockchain participants.</p>
<p style="margin: 0px 0px 1.2em !important;">Since blockchains are
often used to store financial transactions, bugs may result in
huge economic losses and thus it is now of utmost<br>
importance to have strong guarantees of the behaviour of
blockchain software. These guarantees can be brought by using
Formal Methods.<br>
Indeed, Blockchain software encompasses many topics of computer
science where using Formal Methods techniques and tools is
relevant:<br>
consensus algorithms to ensure the liveness and the security of
the data on the chain, programming languages specifically
designed to<br>
write smart contracts, cryptographic protocols, such as
zero-knowledge proofs, used to ensure privacy, etc.</p>
<p style="margin: 0px 0px 1.2em !important;">This workshop is a
forum to identify theoretical and practical approaches of formal
methods for Blockchain technology.<br>
Topics include, but are not limited to:</p>
<ul style="margin: 1.2em 0px;padding-left: 2em;">
<li style="margin: 0.5em 0px;">Formal models of Blockchain
applications or concepts</li>
<li style="margin: 0.5em 0px;">Formal methods for consensus
protocols</li>
<li style="margin: 0.5em 0px;">Formal methods for
Blockchain-specific cryptographic primitives or protocols</li>
<li style="margin: 0.5em 0px;">Design and implementation of
Smart Contract languages</li>
<li style="margin: 0.5em 0px;">Verification of Smart Contracts</li>
<li style="margin: 0.5em 0px;">Zero-knowledge proof and its
applications in a blockchain setting</li>
</ul>
<hr>
<hr>
<h2
style="margin: 1.3em 0px 1em; padding: 0px; font-weight: bold;font-size: 1.4em; border-bottom: 1px solid rgb(119, 119, 119);">SUBMISSION</h2>
<p style="margin: 0px 0px 1.2em !important;">Submit original
manuscripts (not published or considered elsewhere) with a page
limit of 12 pages for full papers and 6 pages for short and tool
papers<br>
(excluding bibliography and short appendix of up to 5 additional
pages).</p>
<p style="margin: 0px 0px 1.2em !important;">Alternatively you may
also submit an extended abstract of up to 3 pages (including
bibliography) summarizing your ongoing work in the area of<br>
formal methods and blockchain. Authors of selected
extended-abstracts are invited to give a short lightning talk.
Extended abstracts will not occur in<br>
the workshop proceedings.</p>
<p style="margin: 0px 0px 1.2em !important;">Submission link: <a
href="https://easychair.org/conferences/?conf=fmbc2025"
class="moz-txt-link-freetext">https://easychair.org/conferences/?conf=fmbc2025</a></p>
<p style="margin: 0px 0px 1.2em !important;">Authors are
encouraged to use LaTeX and prepare their submissions according
to the instructions and styling guides for OASIcs provided by
Dagstuhl.</p>
<p style="margin: 0px 0px 1.2em !important;">Instructions for
authors:</p>
<p style="margin: 0px 0px 1.2em !important;"><a
href="https://submission.dagstuhl.de/documentation/authors#oasics"
class="moz-txt-link-freetext">https://submission.dagstuhl.de/documentation/authors#oasics</a></p>
<p style="margin: 0px 0px 1.2em !important;">At least one author
of an accepted paper is expected to present the paper at the
workshop as a registered participant.</p>
<hr>
<hr>
<h2
style="margin: 1.3em 0px 1em; padding: 0px; font-weight: bold;font-size: 1.4em; border-bottom: 1px solid rgb(119, 119, 119);">PROCEEDINGS</h2>
<p style="margin: 0px 0px 1.2em !important;">All submissions will
be peer-reviewed by at least three members of the program
committee for quality and relevance.<br>
Accepted regular papers (full, short, and tool papers) will be
included in the workshop proceeding, which will be published as
a volume of the<br>
OpenAccess Series in Informatics (OASIcs) by Dagstuhl.</p>
<hr>
<hr>
<h2
style="margin: 1.3em 0px 1em; padding: 0px; font-weight: bold;font-size: 1.4em; border-bottom: 1px solid rgb(119, 119, 119);">PROGRAM
COMMITTEE</h2>
<p style="margin: 0px 0px 1.2em !important;">PC CO-CHAIRS</p>
<ul style="margin: 1.2em 0px;padding-left: 2em;">
<li style="margin: 0.5em 0px;">Diego Marmsoler (University of
Exeter, UK) (<a href="mailto:D.Marmsoler@exeter.ac.uk"
class="moz-txt-link-freetext">D.Marmsoler@exeter.ac.uk</a>)</li>
<li style="margin: 0.5em 0px;">Meng Xu (University of Waterloo,
Canada) (<a href="mailto:meng.xu.cs@uwaterloo.ca"
class="moz-txt-link-freetext">meng.xu.cs@uwaterloo.ca</a>)</li>
</ul>
<p style="margin: 0px 0px 1.2em !important;">PC MEMBERS</p>
<ul style="margin: 1.2em 0px;padding-left: 2em;">
<li style="margin: 0.5em 0px;">Massimo Bartoletti (University of
Cagliari)</li>
<li style="margin: 0.5em 0px;">Bernhard Beckert (Karlsruhe
Institute of Technology)</li>
<li style="margin: 0.5em 0px;">Franck Cassez (Movement Labs)</li>
<li style="margin: 0.5em 0px;">Denisa Diaconescu (University of
Bucharest)</li>
<li style="margin: 0.5em 0px;">Maurice Herlihy (Brown
University)</li>
<li style="margin: 0.5em 0px;">Sebastian Holler (Max Planck
Institute for Security and Privacy)</li>
<li style="margin: 0.5em 0px;">Enrico Lipparini (University of
Genoa)</li>
<li style="margin: 0.5em 0px;">Fan Long (University of Toronto)</li>
<li style="margin: 0.5em 0px;">Orestis Melkonian (Input Output
(IOG))</li>
<li style="margin: 0.5em 0px;">Baoluo Meng (GE Aerospace
Research)</li>
<li style="margin: 0.5em 0px;">Burcu Kulahcioglu Ozkan (Delft
University of Technology)</li>
<li style="margin: 0.5em 0px;">Gordon Pace (University of Malta)</li>
<li style="margin: 0.5em 0px;">Vincent Rahli (University of
Birmingham)</li>
<li style="margin: 0.5em 0px;">Sophie Rain (TU Wien)</li>
<li style="margin: 0.5em 0px;">Augusto Sampaio (Federal
university of Pernambuco)</li>
<li style="margin: 0.5em 0px;">Derek Sorensen (Certora)</li>
<li style="margin: 0.5em 0px;">Bas Spitters (Aarhus University)</li>
<li style="margin: 0.5em 0px;">Meng Sun (Peking University)</li>
<li style="margin: 0.5em 0px;">Mark Utting (The University of
Queensland)</li>
<li style="margin: 0.5em 0px;">Adele Veschetti (TU Darmstadt)</li>
<li style="margin: 0.5em 0px;">Christoph Weidenbach (Max Planck
Institute for Informatics)</li>
<li style="margin: 0.5em 0px;">Teng Zhang (Aptos Labs)</li>
</ul>
<div
title="MDH:PGI+PGZvbnQgc2l6ZT0iNCI+NnRoIEludGVybmF0aW9uYWwgV29ya3Nob3Agb24gRm9ybWFsIE1l
dGhvZHMgZm9yIEJsb2NrY2hhaW5zIC0gRmlyc3QgQ2FsbCBmb3IgUGFwZXJzPC9mb250PjwvYj48
YnI+PGJyPmh0dHBzOi8vZm1iYy5naXRsYWIuaW8vMjAyNTxicj48YnI+TWF5IDA0LCAyMDI1LCBI
YW1pbHRvbiwgT04sIENhbmFkYTxicj48YnI+Q28tbG9jYXRlZCB3aXRoIHRoZSBFdXJvcGVhbiBq
b2ludCBjb25mZXJlbmNlcyBvbiB0aGVvcnkgYW5kIHByYWN0aWNlIG9mIHNvZnR3YXJlIChFVEFQ
UyAyMDI1KTxicj48YnI+aHR0cHM6Ly93d3cuZXRhcHMub3JnLzIwMjUvPGJyPjxicj4tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLTxicj4tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLTxicj5JTVBPUlRBTlQgREFURVM8YnI+LS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS08YnI+QWJzdHJhY3Qgc3VibWlzc2lvbjogRmVicnVhcnkgM3JkLCAyMDI1
PGJyPkZ1bGwgcGFwZXIgc3VibWlzc2lvbjogRmVicnVhcnkgMTB0aCwgMjAyNTxicj5Ob3RpZmlj
YXRpb246IE1hcmNoIDE0dGgsIDIwMjU8YnI+Q2FtZXJhLXJlYWR5OiBNYXJjaCAzMXN0LCAyMDI1
PGJyPldvcmtzaG9wOiBNYXkgNHRoLCAyMDI1PGJyPjxicj5EZWFkbGluZXMgYXJlIEFueXdoZXJl
IG9uIEVhcnRoOjxicj5odHRwczovL2VuLndpa2lwZWRpYS5vcmcvd2lraS9Bbnl3aGVyZV9vbl9F
YXJ0aDxicj48YnI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+VE9Q
SUNTIE9GIElOVEVSRVNUPGJyPi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tPGJyPjxicj5CbG9ja2NoYWluIGlz
IGEgbm92ZWwgdGVjaG5vbG9neSB0byBzdG9yZSBkYXRhIGluIGEgZGVjZW50cmFsaXplZCB3YXku
PGJyPkFsdGhvdWdoIHRoZSB0ZWNobm9sb2d5IHdhcyBvcmlnaW5hbGx5IGludmVudGVkIHRvIGVu
YWJsZSBjcnlwdG9jdXJyZW5jaWVzLCBpdCBxdWlja2x5IGZvdW5kIGFwcGxpY2F0aW9ucyBpbiBz
ZXZlcmFsIG90aGVyIGRvbWFpbnMuPGJyPjxicj5CbG9ja2NoYWlucyBtYXkgYWxzbyBwcm92aWRl
IHN1cHBvcnQgZm9yIFNtYXJ0IENvbnRyYWN0cy4gU21hcnQgQ29udHJhY3RzIGFyZSBzY3JpcHRz
IG9mIGFuIGFkLWhvYyBwcm9ncmFtbWluZyBsYW5ndWFnZSB0aGF0IGFyZTxicj5zdG9yZWQgaW4g
dGhlIGJsb2NrY2hhaW4gYW5kIHRoYXQgcnVuIG9uIHRoZSBuZXR3b3JrLiBUaGV5IGNhbiBpbnRl
cmFjdCB3aXRoIHRoZSBsZWRnZXLigJlzIGRhdGEgYW5kIHVwZGF0ZSBpdHMgc3RhdGUuPGJyPlRo
ZXNlIHNjcmlwdHMgY2FuIGV4cHJlc3MgdGhlIGxvZ2ljIG9mIHBvc3NpYmx5IGNvbXBsZXggY29u
dHJhY3RzIGJldHdlZW4gdXNlcnMgb2YgdGhlIGJsb2NrY2hhaW4uIFRodXMsIFNtYXJ0IENvbnRy
YWN0cyBjYW4gZmFjaWxpdGF0ZTxicj50aGUgZWNvbm9taWMgYWN0aXZpdHkgb2YgYmxvY2tjaGFp
biBwYXJ0aWNpcGFudHMuPGJyPjxicj5TaW5jZSBibG9ja2NoYWlucyBhcmUgb2Z0ZW4gdXNlZCB0
byBzdG9yZSBmaW5hbmNpYWwgdHJhbnNhY3Rpb25zLCBidWdzIG1heSByZXN1bHQgaW4gaHVnZSBl
Y29ub21pYyBsb3NzZXMgYW5kIHRodXMgaXQgaXMgbm93IG9mIHV0bW9zdDxicj5pbXBvcnRhbmNl
IHRvIGhhdmUgc3Ryb25nIGd1YXJhbnRlZXMgb2YgdGhlIGJlaGF2aW91ciBvZiBibG9ja2NoYWlu
IHNvZnR3YXJlLiBUaGVzZSBndWFyYW50ZWVzIGNhbiBiZSBicm91Z2h0IGJ5IHVzaW5nIEZvcm1h
bCBNZXRob2RzLjxicj5JbmRlZWQsIEJsb2NrY2hhaW4gc29mdHdhcmUgZW5jb21wYXNzZXMgbWFu
eSB0b3BpY3Mgb2YgY29tcHV0ZXIgc2NpZW5jZSB3aGVyZSB1c2luZyBGb3JtYWwgTWV0aG9kcyB0
ZWNobmlxdWVzIGFuZCB0b29scyBpcyByZWxldmFudDo8YnI+Y29uc2Vuc3VzIGFsZ29yaXRobXMg
dG8gZW5zdXJlIHRoZSBsaXZlbmVzcyBhbmQgdGhlIHNlY3VyaXR5IG9mIHRoZSBkYXRhIG9uIHRo
ZSBjaGFpbiwgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzIHNwZWNpZmljYWxseSBkZXNpZ25lZCB0bzxi
cj53cml0ZSBzbWFydCBjb250cmFjdHMsIGNyeXB0b2dyYXBoaWMgcHJvdG9jb2xzLCBzdWNoIGFz
IHplcm8ta25vd2xlZGdlIHByb29mcywgdXNlZCB0byBlbnN1cmUgcHJpdmFjeSwgZXRjLjxicj48
YnI+VGhpcyB3b3Jrc2hvcCBpcyBhIGZvcnVtIHRvIGlkZW50aWZ5IHRoZW9yZXRpY2FsIGFuZCBw
cmFjdGljYWwgYXBwcm9hY2hlcyBvZiBmb3JtYWwgbWV0aG9kcyBmb3IgQmxvY2tjaGFpbiB0ZWNo
bm9sb2d5Ljxicj5Ub3BpY3MgaW5jbHVkZSwgYnV0IGFyZSBub3QgbGltaXRlZCB0bzo8YnI+KiBG
b3JtYWwgbW9kZWxzIG9mIEJsb2NrY2hhaW4gYXBwbGljYXRpb25zIG9yIGNvbmNlcHRzPGJyPiog
Rm9ybWFsIG1ldGhvZHMgZm9yIGNvbnNlbnN1cyBwcm90b2NvbHM8YnI+KiBGb3JtYWwgbWV0aG9k
cyBmb3IgQmxvY2tjaGFpbi1zcGVjaWZpYyBjcnlwdG9ncmFwaGljIHByaW1pdGl2ZXMgb3IgcHJv
dG9jb2xzPGJyPiogRGVzaWduIGFuZCBpbXBsZW1lbnRhdGlvbiBvZiBTbWFydCBDb250cmFjdCBs
YW5ndWFnZXM8YnI+KiBWZXJpZmljYXRpb24gb2YgU21hcnQgQ29udHJhY3RzPGJyPiogWmVyby1r
bm93bGVkZ2UgcHJvb2YgYW5kIGl0cyBhcHBsaWNhdGlvbnMgaW4gYSBibG9ja2NoYWluIHNldHRp
bmc8YnI+PGJyPi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tPGJyPi0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tPGJyPlNVQk1J
U1NJT048YnI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+PGJyPlN1Ym1pdCBvcmlnaW5hbCBtYW51c2Ny
aXB0cyAobm90IHB1Ymxpc2hlZCBvciBjb25zaWRlcmVkIGVsc2V3aGVyZSkgd2l0aCBhIHBhZ2Ug
bGltaXQgb2YgMTIgcGFnZXMgZm9yIGZ1bGwgcGFwZXJzIGFuZCA2IHBhZ2VzIGZvciBzaG9ydCBh
bmQgdG9vbCBwYXBlcnM8YnI+KGV4Y2x1ZGluZyBiaWJsaW9ncmFwaHkgYW5kIHNob3J0IGFwcGVu
ZGl4IG9mIHVwIHRvIDUgYWRkaXRpb25hbCBwYWdlcykuPGJyPjxicj5BbHRlcm5hdGl2ZWx5IHlv
dSBtYXkgYWxzbyBzdWJtaXQgYW4gZXh0ZW5kZWQgYWJzdHJhY3Qgb2YgdXAgdG8gMyBwYWdlcyAo
aW5jbHVkaW5nIGJpYmxpb2dyYXBoeSkgc3VtbWFyaXppbmcgeW91ciBvbmdvaW5nIHdvcmsgaW4g
dGhlIGFyZWEgb2Y8YnI+Zm9ybWFsIG1ldGhvZHMgYW5kIGJsb2NrY2hhaW4uIEF1dGhvcnMgb2Yg
c2VsZWN0ZWQgZXh0ZW5kZWQtYWJzdHJhY3RzIGFyZSBpbnZpdGVkIHRvIGdpdmUgYSBzaG9ydCBs
aWdodG5pbmcgdGFsay4gRXh0ZW5kZWQgYWJzdHJhY3RzIHdpbGwgbm90IG9jY3VyIGluPGJyPnRo
ZSB3b3Jrc2hvcCBwcm9jZWVkaW5ncy48YnI+PGJyPlN1Ym1pc3Npb24gbGluazogaHR0cHM6Ly9l
YXN5Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPWZtYmMyMDI1PGJyPjxicj5BdXRob3JzIGFy
ZSBlbmNvdXJhZ2VkIHRvIHVzZSBMYVRlWCBhbmQgcHJlcGFyZSB0aGVpciBzdWJtaXNzaW9ucyBh
Y2NvcmRpbmcgdG8gdGhlIGluc3RydWN0aW9ucyBhbmQgc3R5bGluZyBndWlkZXMgZm9yIE9BU0lj
cyBwcm92aWRlZCBieSBEYWdzdHVobC48YnI+PGJyPkluc3RydWN0aW9ucyBmb3IgYXV0aG9yczo8
YnI+PGJyPmh0dHBzOi8vc3VibWlzc2lvbi5kYWdzdHVobC5kZS9kb2N1bWVudGF0aW9uL2F1dGhv
cnMjb2FzaWNzPGJyPjxicj5BdCBsZWFzdCBvbmUgYXV0aG9yIG9mIGFuIGFjY2VwdGVkIHBhcGVy
IGlzIGV4cGVjdGVkIHRvIHByZXNlbnQgdGhlIHBhcGVyIGF0IHRoZSB3b3Jrc2hvcCBhcyBhIHJl
Z2lzdGVyZWQgcGFydGljaXBhbnQuPGJyPjxicj4tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLTxicj4tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLTxicj5QUk9DRUVESU5HUzxi
cj4tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLTxicj48YnI+QWxsIHN1Ym1pc3Npb25z
IHdpbGwgYmUgcGVlci1yZXZpZXdlZCBieSBhdCBsZWFzdCB0aHJlZSBtZW1iZXJzIG9mIHRoZSBw
cm9ncmFtIGNvbW1pdHRlZSBmb3IgcXVhbGl0eSBhbmQgcmVsZXZhbmNlLjxicj5BY2NlcHRlZCBy
ZWd1bGFyIHBhcGVycyAoZnVsbCwgc2hvcnQsIGFuZCB0b29sIHBhcGVycykgd2lsbCBiZSBpbmNs
dWRlZCBpbiB0aGUgd29ya3Nob3AgcHJvY2VlZGluZywgd2hpY2ggd2lsbCBiZSBwdWJsaXNoZWQg
YXMgYSB2b2x1bWUgb2YgdGhlPGJyPk9wZW5BY2Nlc3MgU2VyaWVzIGluIEluZm9ybWF0aWNzIChP
QVNJY3MpIGJ5IERhZ3N0dWhsLjxicj48YnI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS08YnI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+UFJPR1JBTSBDT01NSVRU
RUU8YnI+LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08YnI+PGJyPlBDIENPLUNIQUlS
Uzxicj4qIERpZWdvIE1hcm1zb2xlciAoVW5pdmVyc2l0eSBvZiBFeGV0ZXIsIFVLKSAoRC5NYXJt
c29sZXJAZXhldGVyLmFjLnVrKTxicj4qIE1lbmcgWHUgKFVuaXZlcnNpdHkgb2YgV2F0ZXJsb28s
IENhbmFkYSkgKG1lbmcueHUuY3NAdXdhdGVybG9vLmNhKTxicj48YnI+UEMgTUVNQkVSUzxicj4q
IE1hc3NpbW8gQmFydG9sZXR0aSAoVW5pdmVyc2l0eSBvZiBDYWdsaWFyaSk8YnI+KiBCZXJuaGFy
ZCBCZWNrZXJ0IChLYXJsc3J1aGUgSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3kpPGJyPiogRnJhbmNr
IENhc3NleiAoTW92ZW1lbnQgTGFicyk8YnI+KiBEZW5pc2EgRGlhY29uZXNjdSAoVW5pdmVyc2l0
eSBvZiBCdWNoYXJlc3QpPGJyPiogTWF1cmljZSBIZXJsaWh5IChCcm93biBVbml2ZXJzaXR5KTxi
cj4qIFNlYmFzdGlhbiBIb2xsZXIgKE1heCBQbGFuY2sgSW5zdGl0dXRlIGZvciBTZWN1cml0eSBh
bmQgUHJpdmFjeSk8YnI+KiBFbnJpY28gTGlwcGFyaW5pIChVbml2ZXJzaXR5IG9mIEdlbm9hKTxi
cj4qIEZhbiBMb25nIChVbml2ZXJzaXR5IG9mIFRvcm9udG8pPGJyPiogT3Jlc3RpcyBNZWxrb25p
YW4gKElucHV0IE91dHB1dCAoSU9HKSk8YnI+KiBCYW9sdW8gTWVuZyAoR0UgQWVyb3NwYWNlIFJl
c2VhcmNoKTxicj4qIEJ1cmN1IEt1bGFoY2lvZ2x1IE96a2FuIChEZWxmdCBVbml2ZXJzaXR5IG9m
IFRlY2hub2xvZ3kpPGJyPiogR29yZG9uIFBhY2UgKFVuaXZlcnNpdHkgb2YgTWFsdGEpPGJyPiog
VmluY2VudCBSYWhsaSAoVW5pdmVyc2l0eSBvZiBCaXJtaW5naGFtKTxicj4qIFNvcGhpZSBSYWlu
IChUVSBXaWVuKTxicj4qIEF1Z3VzdG8gU2FtcGFpbyAoRmVkZXJhbCB1bml2ZXJzaXR5IG9mIFBl
cm5hbWJ1Y28pPGJyPiogRGVyZWsgU29yZW5zZW4gKENlcnRvcmEpPGJyPiogQmFzIFNwaXR0ZXJz
IChBYXJodXMgVW5pdmVyc2l0eSk8YnI+KiBNZW5nIFN1biAoUGVraW5nIFVuaXZlcnNpdHkpPGJy
PiogTWFyayBVdHRpbmcgKFRoZSBVbml2ZXJzaXR5IG9mIFF1ZWVuc2xhbmQpPGJyPiogQWRlbGUg
VmVzY2hldHRpIChUVSBEYXJtc3RhZHQpPGJyPiogQ2hyaXN0b3BoIFdlaWRlbmJhY2ggKE1heCBQ
bGFuY2sgSW5zdGl0dXRlIGZvciBJbmZvcm1hdGljcyk8YnI+KiBUZW5nIFpoYW5nIChBcHRvcyBM
YWJzKTxicj48YnI+" aria-hidden="true"
style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0;padding:0;margin:0;"></div>
</div>
<br>
</body>
</html>