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

BCS MEMBERSHIP

navigation-membership-member.png

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

CHARTERED IT PROFESSIONAL

navigation-membership-citp.png

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

Young Careers

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

navigation-qualifications-swt.png

Over 100,000 professionals worldwide are certified with BCS.

ESSENTIAL DIGITAL SKILLS

navigation-qualifications-skills.png

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

navigation-events-calendar.png

View all of our upcoming events.

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

ARTICLES, OPINION AND RESEARCH

navigation-articles-people.png

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.
  • Awards and competitions
  • UK IT Industry Awards
  • BCS IT & Digital Apprenticeship Awards
  • Lovelace Medal
  • Karen Spärck Jones Lecture
  • Roger Needham Award
  • Events calendar

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.

Webinar: Jifeng@80: Theories of Programming and Formal Methods
15 September, 6:30am
Webinar: The independence day of witnessing the correctness of systems
4 July, 5:15pm
Webinar: Formal Development of Cyber-Physical Systems: The Event-B Approach
4 April, 5:15pm
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
Crest
  • Data privacy notice
  • Copyright notice
  • Use of cookies
Facebook Twitter LinkedIn YouTube Instagram
© 2023 BCS, The Chartered Institute for IT | England and Wales (No. 292786) and Scotland (No. SC051487)