decoding_folmal_clubLogo
Decoding Formal Club Agenda
October 10, 2013
11:30 AM – 11:45 AM                        Welcome & overview/agenda
11:45 AM – 12:15 PM                       Lunch, networking
12:15 PM – 1:00 PM                         Part 1: Oski presentation Sign-off with Bounded Proofs
1:00 PM – 1:15 PM                           Break
1:15 PM – 2:15 PM                           Part 2: Group Discussion on Best Formal Practices
2:15 PM – 2:30 PM                           Part 3: Wrap up / sharing ideas / suggestions for future meetings
2:30 PM – 3:00 PM                           Tea/Coffee & Museum tickets

Management
Career
Media
Contact