[TYPES/announce] CfP: 1st Workshop on 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!UBvJiLNSOTjztoT7v8Mmq1V8sfLn2wvyWcqkZmwhZPhluwYGH8I78EUeZ1_zSbKownBvXJygOstASgfhr6Cf7jwunhw$ ),
co-located with CAV and FLoC in Lisbon, Portugal, on July 25, 2026.
Exciting keynotes will be provided by Darren Cofer from Collins Aerospace
and Bettina Könighofer from the Graz University of Technology.

The aim of the FORCE workshop is to explore theory, methodologies, and
tools to formally prove properties of complex engineering systems that
require a multidisciplinary approach, and 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
- Cyber-physical 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!UBvJiLNSOTjztoT7v8Mmq1V8sfLn2wvyWcqkZmwhZPhluwYGH8I78EUeZ1_zSbKownBvXJygOstASgfhr6Cf6KqWW1Y$  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 presentations can be based on previously published
work.

*Important dates*

Submission deadline: April 30, 2026
Notification of acceptance: May 15, 2026
FLoC workshop early registration deadline: 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/20260328/7c693d16/attachment.htm>