https://www.dagstuhl.de/23101

March 5 – 10 , 2023, Dagstuhl Seminar 23101

Foundations of WebAssembly

Organizers

Karthikeyan Bhargavan (INRIA – Paris, FR)
Jonathan Protzenko (Microsoft – Redmond, US)
Andreas Rossberg (Dfinity – Zürich, CH)
Deian Stefan (University of California – San Diego, US)

For support, please contact

Christina Schwarz for administrative matters

Michael Gerke for scientific matters

Classification

  • Cryptography And Security
  • Logic In Computer Science
  • Programming Languages

Keywords

  • WebAssembly
  • Software Verification
  • Software-fault Isolation
  • Just-in-Time Compilers
  • Formal Methods

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.