Decoding Formal Club Meeting:
    Formal Talks by AMD, Qualcomm and Oski,
    Sponsored by Synopsys
    Santa Clara Marriott 
    Tuesday, Oct 11, 11:30 am – 4:30 pm 

    11:30 AM                 Welcome, Lunch and Networking
    1:00 PM                  “Verifying Datapath for an AMD Processor” Ankit Saxena, Oski-joint
                                     work with S.Gurumurthy (AMD), F. Rahman (AMD), A. Prasad (Oski)
    2:00 PM                  “Mutation and Proof Core: Two Sides of the Same Coin”
                                     Mandar Munishwar, Qualcomm
    3:00 PM                  “Formal Verification for Networking Blocks”
                                     Vigyan Singhal, CEO, Oski
    4:00 PM                  Closing

    pre-registration is required (registration link) .