Papers We Will Love & A Model for Reasoning About JavaScript Promises

For an introduction, Martin Kavalar will be discussing how dynamic mediums can improve scientific publishing in a talk titled "Papers We Will Love."

The second presentation at this month's meetup will be about the paper "A Model for Reasoning About JavaScript Promises" by Magnus Madsen, Ondrej Lhotak, and Frank Tip. The paper is available here: http://www.franktip.org/pubs/oopsla2017promises.pdf and a brief summary/write-up can be found here: https://blog.acolyer.org/2017/11/10/a-model-for-reasoning-about-javascript-promises/

If you are interested in presenting a paper, please get in touch, because we'll have another meeting next month as well. Thanks!

Food sponsors also welcome. :)