We're going to try something new this time and do a video plus discussion! The topic will be about model checking, a technique to validate your design without ever writing a line of executable code. The video is only around 40 minutes long which will be followed by a brief presentation for more context and hopefully some group discussion.
Presenter: David Aramant
As always, we'll start with pizza and socializing (Social Pizza™) at 5:30pm and some short intro stuff around 6.
SEP is located directly south of the Palladium, in the building that is attached to the parking garage. Enter from 3rd Ave SW.