Instructions for authors

Participants may submit one or more abstracts in PDF format. The deadline for abstract submission is May 23, 2025.

Include: Author(s) including presenting author, title, keywords, and an appropriate list of references

Submit an abstract (2-4 pages) prepared according to the template: SWIM2025_Template.tex

The abstracts submitted will be reviewed on an ongoing basis, and the authors will be notified of acceptance by e-mail.

Contributions can be for example in the domain of :

• Verification and Validation
• Robust and Nonlinear Control Systems
• State Estimation
• Interval Observer Design
• Parameter Identification
• Fault Detection and Diagnosis, Fault Tolerant Systems
• Stability, Reachability, Observability
• Reliable Software Design
• Robotics
• Mathematics
• Verified Solution of Algebraic and Dynamic System Models
• Verified Numerics and Scientific Computing
• Linear Algebra
• and any other applications of interval methods, verified numerics, and other related set-membership techniques (e.g: affine arithmetics, polytopes, etc).