[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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!SWgc04j17hcYDnT8-AmQIi0N59ZR3FlOVH8PqnDKvrHCh7g_PZo8BjSJwQUcrfsAWJMjXtyaDmOH1MLbHfKrNznz2I8$
),
co-located with CAV and FLOC in Lisbon, Portugal, on July 25, 2026.
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
The workshop's program can be found at
https://urldefense.com/v3/__https://ces.eecs.umich.edu/force26/program/__;!!IBzWLUs!SWgc04j17hcYDnT8-AmQIi0N59ZR3FlOVH8PqnDKvrHCh7g_PZo8BjSJwQUcrfsAWJMjXtyaDmOH1MLbHfKr9QsIln4$
To attend, please register at
https://urldefense.com/v3/__https://www.floc26.org/registration/__;!!IBzWLUs!SWgc04j17hcYDnT8-AmQIi0N59ZR3FlOVH8PqnDKvrHCh7g_PZo8BjSJwQUcrfsAWJMjXtyaDmOH1MLbHfKrQecdheo$
We look forward to seeing you in Lisbon!
Alessandro Cimatti, Paula Herber, and Inigo Incer (the organizers)
