Workshop on Formal Arguments for CPS Certification

FACCT 2026

Date 11 May 2026
Location Saint Malo, France
Venue Le Centre Sheraton Montréal, Montréal, Canada
Format In Person

About this Conference

A workshop focusing on formal integration of analysis methods for Cyber-Physical Systems (CPS) certification. The event aims to explore formal arguments that can automate the verification and integration of multiple analysis domains for safety-critical systems.

Call for Papers

The workshop invites two types of submissions:

1. Position Papers: Extended abstracts presenting challenges and research directions. Formatted in double column ACM conference format, maximum 2 pages in length.

2. Regular Innovation Papers: Reporting field innovations. Formatted in double column ACM conference format, maximum 6 pages in length.

Important Dates

  • Full Paper Submission February 28, 2026
  • Notification March 13, 2026
  • Camera Ready March 31, 2026
  • Submission January 8, 2026
  • Submission January 13, 2026
  • Conference June 25, 2026
  • Conference dates 11 May 2026