July 14th

Session 1: Modeling - Mark Horowitz (chair)

Session 2: Synthesis I - Rob Rutenbar (chair)

Session 3: Assertions - Chandramouli Kashyap (chair)

Session 4: Simulation - Chris Myers (chair)

Session 5: Industry Panel Discussion - Kevin Jones (chair)

July 15th

Session 6: Analysis - Kevin Jones (chair)

Session 7: Formal Verification - Christoph Grimm (chair)

Session 8: Synthesis II - Lars Hedrich (chair)

Session 9: Special Session - Mark Greenstreet (chair)

Session 10: Future of the Workshop Panel Discussion - Oded Maler (chair)