FSAC 2022 Logical Framework and Workplan