Formal Methods, 2-6 November