# WebAssembly Workshop @ POPL 2027

**URL:** <https://discourse.rocq-prover.org/t/webassembly-workshop-popl-2027/3152>\
**Category:** CFPs\
**Created:** [October 22, 2026, 11:32am UTC](https://discourse.rocq-prover.org/t/webassembly-workshop-popl-2027/3152 "2026-10-22T11:32:51Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![conrad-watt](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/conrad-watt/32/1317_2.png) [@conrad-watt](https://discourse.rocq-prover.org/u/conrad-watt)\
**Post date:** [October 22, 2026, 11:32am UTC](https://discourse.rocq-prover.org/t/webassembly-workshop-popl-2027/3152/1 "2026-10-22T11:32:51Z")

</div>

=== WebAssembly Workshop @ POPL 2027 ===

Website: [WAW 2027 - POPL 2027](https://popl27.sigplan.org/home/waw-2027)

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 2027 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://popl27.sigplan.org/home/waw-2027#call-Call-for-Presentations](https://popl27.sigplan.org/home/waw-2027#call-Call-for-Presentations)

Submission deadline: Tuesday 3rd November 2026 (EOD AOE)

Best wishes  
Conrad Watt