EPHJ-EPMT-SMT 2015 Showcases the State of the Art