Deian Stefan (Apr 03 2020 at 21:57): Deian Stefan (Apr 03 2020 at 21:57):Hey all, A few of us are organizing a Dagstuhl Seminar on "Foundations of WebAssembly" (Jan 5-7 2021) with the goal of getting together folks working on Wasm, verification, secure compilation, and formal methods. I already put a few of you on the invite list, but if could be way off interest-wise. If this sounds like something potentially interesting please let me know.
Deian Stefan (May 19 2022 at 20:30):hey folks, if any of you are interested in attending Foundations of WebAssembly please let me know! [I need your name, email, affiliation, country, and homepage]
Last updated: Dec 23 2024 at 12:05 UTC