Decoding Formal Club Agenda February 9, 2015
Constraints, Liveness vs. Safety, Formal at ARM

11:30 AM    Welcome, Lunch and Networking
12:30 PM   Constraint Management for Formal Sign-off 
                  Vigyan Singhal, CEO, Oski Technology
1:30 PM     Coffee Break
1:40 PM    Liveness vs. Safety – A Practical Viewpoint 
                 Jonathan Michelson, Principal Engineer, NVIDIA
2:25 PM    “What if “Table Topics and Networking
2:45 PM    Formal Verification and a New CPU Project at ARM 
                 Ross Weber, Formal Verification Engineer, ARM
3:30 PM    Low Dimensional Topology for Fun and Profit 
                 Cliff Stoll, TED-Talk presenter, Newfield Wireless and Acme Klein Bottles
4:00 PM    Wrap-up and Prize Drawing
4:15 PM    Computer History Museum Tour (Self-Guided) 

Sponsored by Synopsys.