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