63
0
0
2025-06-02
Special Issue on Set-Based Methods for Reliable Modeling, Identification, Decision Making, and Simulation Submission Date: 2026-02-28 The special issue on “Set-Based Methods for Reliable Modeling, Identification, Decision Making, and Simulation” presents selected research papers that are based on presentations given during the International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN). Its 20th edition will be held in Oldenburg, Germany, from the 22nd to 26th of September 2025.
Over the last decades, SCAN has become an important meeting place for researchers from the fields of reliable computing, software engineering, and uncertainty quantification and those from such wide and varied application areas as robotics, control, structural and civil engineering, and signal processing. The goal is, on the one hand, to put into practice modern findings in verified methods to assess the influence of uncertainty caused by modeling errors, model order reduction, or numerical methods in a rigorous manner. On the other hand, problems from practice give new impulse for theoretical developments in verification.
With this special issue, we intend to continue the tradition of publishing high-quality post-proceedings of the series of SCAN symposia on the basis of a thorough review of the latest, not yet published research results. The special issue will enhance the visibility of SCAN in the community of uncertainty modeling and quantification, both from theoretical and applied perspectives.
Guest editors:
Prof. Dr.-Ing. habil. Andreas Rauh
Department of Computing Science, Carl von Ossietzky Universit?t Oldenburg, Germany
Email: [email protected]
Fields of interest: Uncertainty modeling, Optimal control, Robust control, State Estimation, Interval methods, Stochastic filtering
Prof. Dr. Ekaterina Auer
University of Applied Sciences Wismar, Germany
Email: [email protected]
Fields of interest: Uncertainty modeling and quantification using verified, stochastic, or mixed approaches; algorithms with result verification and their application to engineering problems; verification and validation frameworks including uncertainty visualization; automated comparison and recommendation of verified software; algorithms using modern HPC (e.g., the GPU)
M.Sc. Marit Lahme
Department of Computing Science, Carl von Ossietzky Universit?t Oldenburg, Germany
Email: [email protected]
Fields of interest: Uncertainty modeling, Interval methods, Robust state and parameter estimation
Manuscript submission information:
Important Dates:
Submission Open Date: September 28, 2025
Submission Deadline: February 28, 2026
Notification of Acceptance: July 31, 2026
Manuscripts must be submitted via the International Journal of Approximate Reasoning online submission system (Editorial Manager). Please select the article type “VSI: selected papers from SCAN” when submitting your manuscript online.
Please refer to the Guide for Authors to prepare your manuscript.
All submitted papers under this call will undergo the standard review process of the journal.
For any further information, the authors may contact the Guest Editors.
Keywords:
Set-based methods for uncertainty quantification and modeling; Estimation and decision making under uncertainty; Simulation and control of uncertain systems; Numerical methods with result verification
