Despite saying it was highly unlikely we'd do a public training this year, the promise of eating colourful seabirds has won me over! I'm happy to announce that "Advanced Tool Development with SMT Solvers" will be hosted at NSC from the 26th to the 28th of August. This is going to be the only public course we teach this year, so if you're interested in understanding and extending the tech & research behind modern program analysis tools you should sign up while you can!
As this is something of a once-off, we've also decided to offer a discount of ~10% over our usual fee to all attendees of NSC. So, for $3000, you get two awesome things 1) Great program analysis training and 2) an environment where it isn't frowned upon to bury a fish for 12 weeks before consumption. What more could you want? Sign up now or contact us with any questions.
ooking forward to seeing you there!
- Sean (@seanhn)