AJACS Meetings

TC39 meeting, May 23-25 2016

As part of this 3 days standardization meeting, Alan Schmitt presented the current work on JSExplain. [slides]

Verified Trustworthy Software Systems, April 4-7 2016

Event link

As part of this 4 days meeting, attended by several members of Ajacs, Arthur Charguéraud gave a talk on “An Interactive Debugger for the JavaScript Specification”. Here are the video and the slides.

Informal Workshop on Formal JavaScript, 23 March 2015, Inria Paris

Please see this page.