BCS Logo
BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP

Formal Aspects of Computing Science

Committee and Contact Details

Contact Details

BCS FACS
c/o Prof. Jonathan Bowen (Chair)
London South Bank University
Faculty of BCIM
Borough Road
London SE1 0AA
United Kingdom

Tele: +44 (0)20 7815 7462
Fax: +44 (0)20 7815 7793
Email: info@bcs-facs.org.uk


Current Officers and Committee Members

Chairman
ZUG Liaison
Jonathan Bowen [London South Bank University/King's College London] Jonathan.Bowen@lsbu.ac.uk
Treasurer Jawed Siddiqi [Sheffield Hallam University] J.I.Siddiqi@shu.ac.uk
Secretary Paul Boca [n/a] paul.boca@googlemail.com
Minutes Secretary Roger Carsley [Westminster University] R.E.Carsley@westminster.ac.uk
BCS Liaison
Newsletter Editor
Margaret West [Huddersfield University] m.m.west@hud.ac.uk
Industrial Liaison Judith Carlton [Escher Technologies] jcarlton@eschertech.com
Publications
FAC Journal Liaison
LMS Liaison
John Cooke [Loughborough University] D.J.Cooke@lboro.ac.uk
LMS Computer Committee Rick Thomas [Leicester University] rmt@mcs.le.ac.uk
Chair of the Formal Methods and Testing Subgroup Rob Hierons [Brunel University] Rob.Hierons@brunel.ac.uk
Chair of the Refinement Subgroup John Derrick [Sheffield University] J.Derrick@dcs.shef.ac.uk
Chair of the Model-Based Specification Subgroup Mark D'Inverno [Goldsmiths College, University of London] dinverno@gold.ac.uk
Societies Liaison
SCSC/SRMC Liaison
FME Liaison
John Fitzgerald [Newcastle University] John.Fitzgerald@newcastle.ac.uk
Web Development
vacant N/A N/A

Formal Aspects of Computing Science
Copyright © BCS-FACS
Valid HTML 4.01!