[TYPES/announce] WebAssembly Workshop @ ICFP / SPLASH 2025 - Call for Presentations

[Conrad Watt]

=== WebAssembly Workshop @ ICFP / SPLASH 2025 ===

website: https://urldefense.com/v3/__https://conf.researchr.org/home/icfp-splash-2025/webassembly-ws-2025__;!!IBzWLUs!WXy8dKeR_zcrpGmYv-j9OtcONe-owh21XfM0-d0CxlIK6gT6iANQwcjacJcevWyhojPH95d9dCy3c8nnjtzoBtpYw8DrR3XNiMrB9jc$ 

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.

We enthusiastically request WebAssembly-related abstract submissions, including prior, ongoing, and early-stage work, for presentation and discussion at the workshop.

Call for presentations URL:
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$ 

Submission deadline: Thursday 31st July 2025 (EOD AOE)

Best wishes
Conrad Watt


________________________________

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.
Towards a sustainable earth: Print only when necessary. Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250709/47dfa7fe/attachment-0001.htm>