Foundations
Thursday, 7 November
15:30-17:00
Technical Papers: Static Analysis
Friday, 8 November
10:30-12:00
Technical Papers: Foundations