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!
19:00 - Welcome with food & drinks
19:30 - Main Talk: Program Derivation for Functional Languages
20:30 - Raffle & News
20:35 - Social!