[TYPES/announce] WebAssembly Workshop (WAW) @ POPL 2025 - Call for Presentations
Conrad Watt
conrad.watt at ntu.edu.sg
Mon Sep 9 13:38:42 EDT 2024
Workshop URL: https://urldefense.com/v3/__https://popl25.sigplan.org/home/waw-2025__;!!IBzWLUs!XmdLDnfarz91Go7MaK4WHqCT6Whsq5RHzWrosgMchBIfuAf9LpwDCBBVanlykIM1VoCkCT1QrUjO1NBy0SXwZnimBNnvzlIB-rJ-n-0$
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 POPL 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.
After the success of the first edition of WAW at POPL 2024, we are introducing a new open Call for Presentations alongside this year’s invited speakers. 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://popl25.sigplan.org/home/waw-2025*Call-for-Presentations__;Iw!!IBzWLUs!XmdLDnfarz91Go7MaK4WHqCT6Whsq5RHzWrosgMchBIfuAf9LpwDCBBVanlykIM1VoCkCT1QrUjO1NBy0SXwZnimBNnvzlIBYrRaEeE$
Submission deadline: Wed 30 Oct 2024 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/20240909/4d90db0c/attachment-0001.htm>
More information about the Types-announce
mailing list