Oski Technology "Decoding Formal" Club Event October 2013
Join us for the next Decoding Formal Club Event, “Formal Testplanning”
The next Decoding Formal Club event is about formal testplanning. 

Upcoming Decoding Formal Club Event Monday April 21

What: Decoding Formal Club event, “Formal Testplanning”
Where: Computer History Museum, Mountain View
When: Monday, April 21 from 10:00 AM – 2:00 PM
Please complete the form below to register. Those new to formal verification are most welcome. Limited space is available and registration is required, so don’t delay!

Welcome & Overview
Part 1: Oski presentation “Formal Test Planning”
Lunch (registration required)
Part 2: Panel on “How to Build a Productive Formal Team”
Computer History Museum Tour (self-guided, starts 1:00 PM)

[contact-form-7 404 "Not Found"]

Please subscribe to our newsletter to receive notice of future Decoding Formal Club meetings.