Formal verification and specification techniques (including  equivalence checking, model checking, symbolic simulation,  theorem-proving, abstraction and refinement techniques, and real time  verification); technologies supporting formal verification (including SMT, SAT, BDD, ATPG, and related work); semi-formal verification techniques; applications and case studies; formal verification of IPs,  SoCs, cores and real-time/embedded systems; verification in practice,  namely the integration of verification into the design flow.