Technical papers, Proposals for Tutorials and Embedded Tutorials on topics related to VLSI Design, VLSI Testing, Formal Verification, and CAD Tools are invited.