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

Papers We Love - Berlin
Papers We Love - Berlin
Public group


Zimmerstraße 23 10969 · Berlin

How to find us

Near Checkpoint Charlie

Location image of event venue


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: and a brief summary/write-up can be found here:

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. :)