Session #1 - Language-oriented programming, language and proofs

I am super excited to announce another session for DSL&CA!

This time we a lucky to host two awesome speakers - Matthias Felleisen and Adam Chlipala. Please stay tuned for the talk topics. The remainder of the evening will be the same format as before ;-)

We are getting together on Tuesday, November 19th, 6-9PM at Jobcase (201 Broadway, 6th floor, Cambridge).

The venue is on the company grounds; please RSVP if you are planning to come so that I can get the passes for everyone.

Looking forward to seeing you all!