本卷包含2023年11月15日和16日举行的第五届自治系统正式方法国际研讨会（FMAS 2023）的会议记录。FMAS 2023与莱顿大学莱顿高级计算机科学研究所组织的第18届国际集成形式方法会议（iFM）（iFM'22）共同举办。研讨会本身在Scheltema Leiden举行，这是一家位于运河边的19世纪毛毯厂，经过翻新。