DomCode - March 2016
29 Mar 2016 at SURFnet


Host: DomCode
Event Website: http://www.meetup.com/DomCode/events/229413645/
Short URL: https://joind.in/e/domcode-march-2016 QR-Code (opens in new window)

Despite what your boss thinks, programs don't just appear straight out of specifications. But...what if they did? This month's topic is "Program Derivation for Functional Languages." Assistant Professor and Speaker Extraordinaire Felienne Hermans will show you how to do exactly that, albeit with some very specific specifications.

With food and drink sponsored by the excellent folks at SURFnet (at their fancy new office), it's going to be a great evening so RSVP early!

Schedule
19:00 - Welcome with food & drinks
19:30 - Main Talk: Program Derivation for Functional Languages
20:30 - Raffle & News
20:35 - Social!