<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
=== WebAssembly Workshop @ ICFP / SPLASH 2025 ===</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
website: <a style="margin: 0px;" data-auth="NotApplicable" rel="noopener noreferrer" title="https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025" class="OWAAutoLink" id="OWA6a7244a4-247e-fef9-e005-2658707cd66a" target="_blank" href="https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025__;!!IBzWLUs!WXy8dKeR_zcrpGmYv-j9OtcONe-owh21XfM0-d0CxlIK6gT6iANQwcjacJcevWyhojPH95d9dCy3c8nnjtzoBtpYw8DrR3XNiMrB9jc$">
https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025</a></div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
WebAssembly is a general-purpose low-level virtual machine, adopted by all major Web browsers and specified fully in terms of a pen-and-paper formal semantics. The WebAssembly Workshop (WAW) at ICFP / SPLASH 2025 aims to bring together researchers, standards
body members, and industry practitioners, in order to continue and foster a growing trend of academic contributions to the WebAssembly ecosystem spanning verification, security, and programming language analysis and theory.</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
We enthusiastically request WebAssembly-related abstract submissions, including prior, ongoing, and early-stage work, for presentation and discussion at the workshop.</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
Call for presentations URL:</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
<a style="margin: 0px;" data-auth="NotApplicable" rel="noopener noreferrer" title="https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025#Call-for-Presentations" class="OWAAutoLink" id="OWAba653333-f428-406e-1c76-4a0fe9e48757" target="_blank" href="https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025*Call-for-Presentations__;Iw!!IBzWLUs!WXy8dKeR_zcrpGmYv-j9OtcONe-owh21XfM0-d0CxlIK6gT6iANQwcjacJcevWyhojPH95d9dCy3c8nnjtzoBtpYw8DrR3XNlV3WYKE$">https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025#Call-for-Presentations</a></div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
Submission deadline: Thursday 31st July 2025 (EOD AOE)</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
Best wishes</div>
<div style="text-align: left; text-indent: 0px; background-color: rgb(255, 255, 255); margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black;" class="elementToProof">
Conrad Watt</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<hr>
<p style="font-size:10pt; color:#808080;font-family: 'Arial';">CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy,
use, or disclose its contents. <br>
Towards a sustainable earth: Print only when necessary. Thank you. </p>
</body>
</html>