Committee / Contact Details | FACS (Formal Aspects of Computing Science) Group | Specialist Groups | Member Groups | Membership

Committee and Contact Details

Chairman	Jawed Siddiqi Sheffield Hallam University Email: J.I.Siddiqi@shu.ac.uk
Treasurer ZUG Liaison	Jonathan Bowen London South Bank University/Museophile Limited Email: Jonathan.Bowen@lsbu.ac.uk
Secretary	Paul Boca Email: paul.boca@googlemail.com
Minutes Secretary	Roger Carsley Westminster University Email: R.E.Carsley@westminster.ac.uk
Newsletter Editor	Margaret West Huddersfield University Email: m.m.west@hud.ac.uk
BCS Liaison	John Cooke Loughborough University Email: D.J.Cooke@lboro.ac.uk
Publications	John Cooke Loughborough University Email: D.J.Cooke@lboro.ac.uk
LMS Liaison	Tom Melham
FME Liaison	John Fitzgerald Newcastle University Email: John.Fitzgerald@newcastle.ac.uk

Chair of the Formal Methods and Testing Subgroup	Rob Hierons Brunel University Email: Rob.Hierons@brunel.ac.uk
Chair of the Refinement Subgroup	John Derrick Sheffield University Email: J.Derrick@dcs.shef.ac.uk