[TYPES/announce] WebAssembly Workshop (WAW) @ POPL 2025 - Invited Speakers and final CFP

[Conrad Watt]

Workshop URL: https://urldefense.com/v3/__https://popl25.sigplan.org/home/waw-2025__;!!IBzWLUs!XT1vSyk78WZvXeXuyZK50cGHN5vp18iEjmkYhmu9gA1CehZh3k6aCwWshkMv0b69YT0vB-Le2EKCmZsDnJZ04W8OXBSGqgoROevB4h8$ 

New information - invited speakers: https://urldefense.com/v3/__https://popl25.sigplan.org/home/waw-2025*Invited-Speakers__;Iw!!IBzWLUs!XT1vSyk78WZvXeXuyZK50cGHN5vp18iEjmkYhmu9gA1CehZh3k6aCwWshkMv0b69YT0vB-Le2EKCmZsDnJZ04W8OXBSGqgoRR_oq_28$ 

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!XT1vSyk78WZvXeXuyZK50cGHN5vp18iEjmkYhmu9gA1CehZh3k6aCwWshkMv0b69YT0vB-Le2EKCmZsDnJZ04W8OXBSGqgoR3C0mjjU$ 
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/20241029/b33efce1/attachment-0001.htm>