This is an ONLINE event only.
The AGM and Semantics Seminar now have separate booking links. Please book accordingly.
- Apologies (Jonathan Bowen)
- Minutes of the previous AGM (Roger Carsley/Jonathan Bowen)
- Chairman's Report (Jonathan Bowen)
- Liaison Reports – LMS/FME/NPL/Refinement Workshop/BCS Women (Rob Hierons/Ana Calvalcanti/Keith Lines/Brijesh Dongol)
- Inclusion Report (Margaret West)
- Statement of Accounts (John Cooke)
- Election of Officers and Committee Members (Jonathan Bowen)
- Future events (Jonathan Bowen et al.)
- FACS FACTS newsletter (Tim Denvir/Brian Monahan)
- Any other business
Our events are for adults aged 16 years and over.
This event is brought to you by: BCS Formal Aspects of Computing Science Specialist Group