FACS: Committee and contact details
Here are the members of the Formal Aspects of Computing Science group committee.
Chair
Keith Lines, National Physical Laboratory
Treasurer
Roger Carsley, University of Westminster
Secretary and Seminar Organiser
Alvaro Miyazawa, University of York
Newsletter editors
- Jonathan Bowen, London South Bank University Museophile Limited
- Tim Denvir, Translimina
- Brian Monahan, Independent
LMS Liaison
Andrei Popescu, University of Sheffield
FME Liaison
Ana Cavalcanti, University of York
Inclusion officer
Margaret West, University of Huddersfield
Emeritus and Publications
John Cooke, Loughborough University
To contact the group, please email groups@bcs.uk.