BINSEC will be at Formal Methods 2016 where Adel Djoudi will present the paper Recovering high-level conditions from binary programs.

The abstract is here.