[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=== 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.
