SAFT: Static Analysis with Finite Tree Automata

May 2008. Masters Course on Program Analysis, Verification, and Optimization (in European Computational Logic Masters Programme, Universidad Politécnica de Madrid). Lectures on Regular types, tree automata and model checking, by John Gallagher
January 5-23 2009, DTU/IMM: Ph.D. Course: Advanced Analysis Techniques, taught by Hanne Riis Nielson, Flemming Nielson and John Gallagher. Supported by FIRST Graduate School.
18 February 2009. Mini-workshop on control flow analysis.
Thursday 20 August 2009. DANSAS 2009. 1st Danish Static Analysis Symposium, Odense. Jointly sponsored by SAFT Project.