Skip to content
BCS logo
  • Community
  • About us
  • Making IT good for society
  • Training providers
  • Employers
  • Educators
Login to MyBCS

BCS MEMBERSHIP

Join the global and diverse home for digital, technical and IT professionals.

CHARTERED IT PROFESSIONAL

CITP is the independent standard of competence and professionalism in the technology industry.

  • Become a member
  • Member communities
  • Get registered
  • Membership for organisations
  • Academic membership
  • Register of BCS members
  • Our members

STARTING YOUR IT CAREER

Kick-start a career in IT, whether you're starting out or looking for a career change.

  • Apprenticeships
  • Continuing professional development (CPD)
  • SFIAplus - IT skills framework

SOFTWARE TESTING CERTIFICATION

Over 100,000 professionals worldwide are certified with BCS.

ESSENTIAL DIGITAL SKILLS

Improve your digital skills so you can get on in today's workplace.

  • Certifications for professionals
  • Digital literacy qualifications
  • Higher education qualifications (HEQ)
  • Training and scholarships for teachers
  • Home education

EVENTS CALENDAR

View all of our upcoming events.

  • Events calendar
  • BCS Insights
  • UK IT Industry Awards
  • BCS IT & Digital Apprenticeship Awards
  • Lovelace Lecture
  • Turing Talk
  • Karen Spärck Jones Lecture
  • Roger Needham Lecture
  • Awards and competitions

ARTICLES, OPINION AND RESEARCH

The latest insights, ideas and perspectives.

IN FOCUS

  • Green IT and net zero
  • Computing in society
  • Security, data and privacy
  • Careers and skills
  • Community
  • About us
  • Making IT good for society
  • Training providers
  • Employers
  • Educators

BCS MEMBERSHIP

  • Join the global and diverse home for digital, technical and IT professionals.

CHARTERED IT PROFESSIONAL

  • CITP is the independent standard of competence and professionalism in the technology industry.
  • Become a member
  • Member communities
  • Get registered
  • Membership for organisations
  • Academic membership
  • Register of BCS members
  • Our members

STARTING YOUR IT CAREER

  • Kick-start a career in IT, whether you're starting out or looking for a career change.
  • Apprenticeships
  • Continuing professional development (CPD)
  • SFIAplus - IT skills framework

SOFTWARE TESTING CERTIFICATION

  • Over 100,000 professionals worldwide are certified with BCS.

ESSENTIAL DIGITAL SKILLS

  • Improve your digital skills so you can get on in today's workplace.
  • Certifications for professionals
  • Digital literacy qualifications
  • Higher education qualifications (HEQ)
  • Training and scholarships for teachers
  • Home education

EVENTS CALENDAR

  • View all of our upcoming events.
  • Events calendar
  • BCS Insights
  • UK IT Industry Awards
  • BCS IT & Digital Apprenticeship Awards
  • Lovelace Lecture
  • Turing Talk
  • Karen Spärck Jones Lecture
  • Roger Needham Lecture
  • Awards and competitions

ARTICLES, OPINION AND RESEARCH

  • The latest insights, ideas and perspectives.

IN FOCUS

  • Green IT and net zero
  • Computing in society
  • Security, data and privacy
  • Careers and skills
Login to MyBCS
  • Home /
  • /
  • Member communities /
  • FACS (Formal Aspects of Computing Science) group /
  • Past events

FACS: Past events

Take a look at the recent events held by the FACS (Formal Aspects for Computing Science) group.

Annual Peter Landin Semantics Seminar and FACS AGM
6 December, 4:00pm
Webinar: Programming-based foundations for statistics
17 November, 6:00pm
Hybrid event: Alan Turing at 110 - and at Oxford!
24 June, 5:15pm
Webinar: Dependent types for practical use
29 March, 5:15pm
Webinar: FACS - Landin Semantics Seminar: Making Concurrency Functional
17 December, 6:00pm
Webinar: FACS AGM 2021
17 December, 4:00pm
LMS/FACS talk: Underpinning mainstream engineering with mathematical semantics
18 November, 6:00pm
Webinar: Formal Modelling, Programming and Verification of Quantum Systems
19 October, 5:15pm
Webinar: Matrices of Sets - BCS Formal Aspects of Computing Science SG (FACS)
23 September, 5:15pm
Webinar: Dimensionally correct by construction: Type systems for programs
15 June, 5:15pm
Webinar: New Ways of Using Formal Models in Industry Evening Seminar - FACS SG
6 May, 5:15pm
Webinar: NPL’s Experience with Formal Aspects
6 April, 5:15pm
Webinar: BCS-FACS 2020 AGM
3 December, 3:30pm
Delay Insensitive Circuits: an exercise in formal methods - FACS (Recording available)
28 May, 6:00pm
Privacy Assurance in Ubiquitous Systems by Typing in a Calculus of Context-aware Ambients - FACS
27 February, 6:00pm
Peter Landin Semantics Seminar - Some History of Functional Programming Languages - FACS
5 December, 6:00pm
LMS / BCS-FACS Evening Seminar 2019
21 November, 6:00pm
BCS Doctoral Research Symposium
6 June, 9:30am
Composing Protocols - FACS
3 April, 6:00pm
Ontologies for Data Provenance and Curation - FACS
15 March, 6:00pm
Who we are
  • About us
  • Press office
  • Our royal charter
You might also like:
  • Academy of Computing
  • Learned publishing
  • Jobs board
Legal and privacy
  • Legal and privacy notices
  • Accessibility
  • Whistleblowing policy
Highlights
Contact us
Policy and influence
Careers at BCS
BCS Bookshop
  • Data privacy notice
  • Copyright notice
  • Use of cookies
Facebook Twitter LinkedIn YouTube Instagram
© 2023 BCS, The Chartered Institute for IT | Registered charity: No. 292786