The detailed program is to be determined. There will be three days of informal talks and social activities including dinners scheduled for the evenings.
We are happy to include two keynotes form Microsoft Researchers:
- Rustan Leino — Reasoning about Programs
- Patrice Godefroid — SAGE: White-box Fuzzing using Billions and Billions of SMT constraints
There will also be an interactive session with several other Microsoft Research tools that use Z3.