Trainings: If you're interested in organising one in 2013, book soon!

I'm pleased to say our trainings have been popular so far, so popular in fact that they're essentially booked out until September! That's the first update: if you're interested in organising a class in 2013 then it's probably better to do it sooner rather than later as the number of slots remaining are quite limited.

pdate #2 is that we've made some improvements and changes to the tool development class. Two points are worth mentioning. First, we've decided to focus the class more on symbolic methods (SAT/SMT solvers, symbolic execution, whitebox fuzzing etc) at the expense of abstract interpretation (AI) and dataflow (DFA) analysis. These areas are more practically interesting in my opinion, and the current state of the art shows more promise for the types of tasks we're interested in. We've removed the material on AI and DFA for now, which allows us to change the class to be 3 days in length instead of 4.  It also allows us to add new material on intermediate languages, as well as a bunch of new exercises across all topics. 

The current metrics for that class are something like 500+ slides and 40+ exercises! It's intense, but I guess going from propositional logic to the state of the art in symbolic program analysis techniques in 3 days is probably going to be that way =)

- Sean (@seanhn)