The latest issue of the FACS-FACTS (July 2026), a newsletter of the Formal Aspects of Computer Science group of the BCS, The Chartered Institute for IT, features a report on the RoboStar Summer School that we hosted earlier this month.
We are delighted to see a feature article on the RoboStar Summer School included in this edition. A big thank you to the editors and the BCS-FACS team for highlighting our event and supporting the formal methods community.
The full issue is available from here (PDF).
Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements
