[TYPES/announce] CfP: Formal Reasoning for Compositional Systems Engineering (FORCE), co-located with CAV and FLoC on July 25

[Inigo Incer]

We are delighted to announce the 1st Workshop on Formal Reasoning for
Compositional Systems Engineering (https://urldefense.com/v3/__https://ces.eecs.umich.edu/force26/__;!!IBzWLUs!QUen3Vcr9XO0OhNlbAbJUyfWpgBrBHlIXYocXly_I1yzMr4Cjthiopbh4n7lavvF4rkC666-0qfIGfYGKD6gokXfRnY$ ),
co-located with CAV and FLoC in Lisbon, Portugal, on July 25, 2026.

The FORCE workshop aims to explore theory, methodologies, and tools for
formally proving properties of complex engineering systems, and to study a
variety of complex systems through the lens of formal methods. The topics
of interest include the following:

- Theories and tools for compositional system design
- Experiences applying formal reasoning to engineering systems
- Descriptions of current challenges in systems engineering

We solicit contributed short presentations. Proposals for presentations
should be submitted at https://urldefense.com/v3/__https://submissions.floc26.org/force/__;!!IBzWLUs!QUen3Vcr9XO0OhNlbAbJUyfWpgBrBHlIXYocXly_I1yzMr4Cjthiopbh4n7lavvF4rkC666-0qfIGfYGKD6gEcR78hQ$  as extended
abstracts of up to three pages, excluding references, in LNCS format. The
review process will be single-blind. Workshop proceedings will not be
formally published so that presentations can be based on previously
published work.

*Important dates*

Submission deadline: May 8, 2026
Presentation notification: May 15, 2026
FLoC workshop early registration: June 1, 2026
Workshop: July 25, 2026

Looking forward to your submissions,
Alessandro Cimatti, Paula Herber, and Inigo Incer (the organizers)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260429/397f36b1/attachment-0001.htm>