| 10:30 - 11:45 | Pierluigi Rolandi & Pierluigi Daglio, ST Mircoelectronics, Italy AMS Macrocells Verification today in a Challenging and Evolving Industrial Environment. Status, Activities and Trends |
| 11:45 - 12:00 | Discussion |
| 12:00 - 12:30 | Stefan Laemmermann et.al., University of Tuebingen, Germany Checking Heterogeneous Signal Characteristics: Applying Assertion-Based Verification |
| 12:30 - 14:00 | Break |
| 14:00 - 15:15 | Philippe Raynaud & Kenneth Bakkalar, Mentor Graphics, France Verifying Analog Designs: Needs, Constraints and Future Challenges for Complex Analog Designs from Cells to Systems |
| 15:15 - 15:30 | Discussion |
| 15:30 - 16:00 | Break |
| 16:00 - 16:30 | Mohamed Zaki et.al., University of British Columbia, Canada DC Operating Point Analysis -- A Formal Approach |
| 16:30 - 17:00 | Sebastian Steinhorst et.al., University of Frankfurt/Main, Germany Targeting the Analog Verification Gap: State Space-based Formal Verification Approaches for Analog Circuits |