FACS: Past events

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

Joint FACS/FME meetings and seminar
26 March, 2:00pm
Hybrid event: Functional Programming and Dependent Types for Metrology
11 February, 5:30pm
Webinar: LMS/BCS-FACS Seminar 2025
15 January, 7:00pm
Hybrid event: FACS AGM and Peter Landin Semantics Seminar
12 December, 4:00pm
FME/BCS-FACS Joint Webinar: The self-aware digital twin
15 October, 5:15pm
Hybrid event: Verifying system-level properties of neural-network robotic controllers
28 May, 3:00pm
Webinar: Scott models for probabilistic computation
26 March, 6:00pm
Webinar: The SI Digital Framework: Underpinning FAIR measurement data
20 February, 5:15pm
Webinar: Formalising 21st-Century Mathematics
15 January, 4:00pm
Hybrid event: AGM & Landin Semantics Seminar Logical Relations & Mathematical Foundations
12 December, 4:00pm
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