Scientific Program of SCAN 2025
Organizers of SCAN 2025
Scientific Program of SCAN 2025
SCAN 2025: Book of Abstracts
The complete book of abstracts of SCAN 2025 can be found on the following link: Download program
Downloadable Program of SCAN 2025
A pdf version of the following program containing only the scientific sessions can be found on the following link: Download program
Monday, September 22, 2025
CoProD: Library Auditorium (BIS-Saal) - 8:30-12:30
| 8:30-8:35 | Opening | |
| 8:35-9:00 | Luc Jaulin | Optimal separator for an hyperbola; Application to localization |
| 9:00-9:25 | Milan Hladík | Robustness Properties of Absolute Value Linear Programming Problems and Relations to Interval Analysis |
| 9:25:9:50 | Ana Tapia-Rosero, Olga Kosheleva, and Vladik Kreinovich | What is the most natural way to propagate subjective interval uncertainty -- and why |
| 9:50-10:15 | Niklas Winnewisser, Michael Beer, Olga Kosheleva, and Vladik Kreinovich | How to combine subjective intervals: a natural idea |
| approx. 10:00 | Coffee break (flexibly available) | |
| 10:15-10:40 | Niklas Winnewisser, Michael Beer, Victor Timchenko, Yuriy Kondratenko, Olga Kosheleva, and Vladik Kreinovich | Why midpoint, why radius (half-width): invariance-based numerical characteristics of an interval and how they are related to color vision and color optical computing |
| 10:40-11:05 | Ildar Z. Batyrshin, Luis A. Villa-Vargas, Nailya I. Kubysheva, Olga Kosheleva, Muhammad Ahmad, and Imre J. Rudas | Complex Chemical and Biochemical Reactions: Maybe Fuzzy Techniques Can Help |
| 11:05-11:30 | Martine Ceberio, Olga Kosheleva, and Vladik Kreinovich | Why topology helps to detect cyber-intrusions |
| 11:30-11:55 | Jean Rendon, Clariandys Rivera, Afshin Gholamy, and Leobardo Valera | Pre-Hashing as a Cryptographic Tool for Securing Entrepreneurial Ideas |
| 11:55-12:20 | Andrea Luces, Jean Rendon, Afshin Gholamy, and Leobardo Valera | Predicting Subsurface Soil Parameters Using Surface and Satellite Data with Machine Learning Techniques |
| 12:20-12:30 | General discussion |
Lunch Break - Food Truck - 12:30-14:00
Opening of SCAN: Library Auditorium (BIS-Saal) - 14:00-14:30
Ekaterina Auer: University of Applied Sciences Wismar
Andreas Rauh: Carl von Ossietzky Universität Oldenburg (Dean of the School for Computing Science, Business Administration, Economics, and Law)
Astrid Nieße: Carl von Ossietzky Universität Oldenburg and OFFIS-Institute for Information Technology (Member of the Board of Directors)
Marit Lahme: Carl von Ossietzky Universität Oldenburg
Moore Prize Lecture: Library Auditorium (BIS-Saal) - 14:30-16:00
Chair: Vladik Kreinovich
| 14:30-16:00 | Tristan Buckmaster, Gonzalo Cao-Labora, Javier Gomez-Serrano | Smooth imploding solutions for 3D compressible fluids: published in Forum of Mathematics Pi in 2025 (Vol. 13, paper e6) |
The R. E. Moore Prize for Applications of Interval Analysis: Description and Rationale
The idea of arithmetic over sets to encompass finiteness, roundoff error, and uncertainty dates back to the first part of the twentieth century or earlier. By the late 1950's, with exponentially increasing use of digital electronic computers for mathematical computations, interval arithmetic was a concept whose time had come. With his 1962 dissertation "Interval Arithmetic and Automatic Error Analysis in Digital Computing," encouraged by George Forsythe, Prof. Ramon Moore was one of the first to develop the underlying principles of interval arithmetic in their modern form. Prof. Moore subsequently dedicated much of his life to furthering the subject. This includes guidance of seven Ph.D. students, interaction with other prominent figures in the area such as Eldon Hansen, Louis Rall, and Bill Walster, and publication of the seminal work "Interval Analysis" (Prentice Hall, 1966) and its update "Methods and Applications of Interval Analysis" (SIAM, 1979). In addition, Prof. Moore published a related book "Computational Functional Analysis" (Horwood, 1985), and organized the conference with proceedings Reliability in Computing (Academic Press, 1988). This latter conference was a major catalyst for renewed interest in the subject. It is safe to say that these accomplishments of Professor Moore have made interval analysis what it is today. To continue and further this tradition, in 2002, we decided to dedicate to Prof. Moore a biennial prize for the best dissertation or paper in applications of interval analysis.
Note: By "applications" we intend primarily applications in engineering and the sciences that will bring further recognition to the power of interval computations. However, we do not wish to rule out significant and widely recognized "pure" applications. The editorial board of the journal "Reliable Computing" judges this.
Coffee Break: Library Auditorium (BIS-Saal) - 16:00-16:30
Regular Session: Special Functions: Library Auditorium (BIS-Saal) - 16:30-17:30
Chair: Luc Jaulin
| 16:30-17:00 | Hiroaki Miyauchi, Taisei Asai, Masahide Kashiwagi and Akitoshi Takayasu | Constructing the Bessel function rigorously via the power series arithmetic |
| 17:00-17:30 | Lucas Si Larbi, Eric Lucet and Julien Alexandre Dit Sandretto | Interval Uniform, Non-Uniform, Rational, Non-Rational B-spline Curves |
PhD Poster Session: Library Auditorium (BIS-Saal) - 17:30-18:30
Tuesday, September 23, 2025
Plenary Lecture: Library Auditorium (BIS-Saal) - 9:00-10:30
Chair: Tibor Csendes
| 9:00-10:30 | Siegfried Rump | Verified error bounds for sparse systems |
Coffee Break: Library Auditorium (BIS-Saal) - 10:30-11:00
Regular Session A: Formal Verification: Library Auditorium (BIS-Saal) - 11:00-12:30
Chair: Takeshi Ogita
| 11:00-11:30 | Antoine Besset, Joris Tillet and Julien Alexandre Dit Sandretto | Formal Verification of State and Temporal Properties of Neural Network-Controlled Systems |
| 11:30-12:00 | Martin Fränzle, Paul Kröger and Anna Nienaber | Exploiting the Impossible: Towards Resilience of Decision Making Against Misperceptions |
| 12:00-12:30 | Ryoki Endo and Xuefeng Liu | Computer-assisted proof of the simplicity of the second Dirichlet eigenvalue for non-equilateral triangles |
Regular Session B: Tools and Implementations: A01-0-006 - 11:00-12:30
Chair: Simon Rohou
| 11:00-11:30 | Ryoga Iwanami | Verry: an open-source package for verified computation written in Python 3 |
| 11:30-12:00 | Pierre Filiol, Luc Jaulin, Theotime Bollengier and Jean-Christophe LeLann | Hardware accelerated interval arithmetic for mobile robotics using RISC-V ISA extension |
| 12:00-12:30 | Jiří Khun and Jan Schmidt | Towards Interval Arithmetic in TensorFlow: A Comparison of Approaches |
Lunch Break - Food Truck - 12:30-14:00
Social Program - 14:00-17:00
| 14:15-15:00 | Transfer to ForWind |
| 15:00 | Start of Guided lab Tour at the ForWind Institute |
Wednesday, September 24, 2025
Plenary Lecture: Library Auditorium (BIS-Saal) - 9:00-10:30
Chair: Ekaterina Auer
Coffee Break: Library Auditorium (BIS-Saal) - 10:30-11:00
Regular Session A: PDEs: Library Auditorium (BIS-Saal) - 11:00-12:30
Chair: Anna Gierzkiewicz
| 11:00-11:30 | Kazuaki Tanaka, Ryoga Iwanami, Kaname Matsue and Hiroyuki Ochiai | Green-Representable Solutions: Reformulating Sub- and Super-solution Theory for Poisson's Equation |
| 11:30-12:00 | Taisei Asai, Kazuaki Tanaka, Satoshi Tanaka and Shin'Ichi Oishi | Verified Computation of All Positive Solutions to a Hénon-Type Boundary Value Problem |
| 12:00-12:30 | Akitoshi Takayasu and Jean-Philippe Lessard | Semigroup approach for validating solutions to semilinear parabolic PDEs |
Regular Session B: Uncertainty Quantification: A01-0-006 - 11:00-12:30
Chair: Luc Jaulin
| 11:00-11:30 | Olga Kosheleva and Vladik Kreinovich | For statistical analysis of big data, interval uncertainty is needed |
| 11:30-12:00 | Jahangir Alam, Ismail Hossain, Tausif Hossain, Md Nuruzzaman Sojib, Olga Kosheleva and Vladik Kreinovich | How to compare situations in which we measure different quantities with different uncertainty |
| 12:00-12:30 | Ekaterina Auer and Wolfram Luther | Towards Fair and Explainable Medical Risk Prediction Software via Dempster-Shafer Theory |
Lunch Break - Food Truck - 12:30-14:00
Social Program - 14:00-21:30
| 14:15-15:00 | Bus Transfer to Bad Zwischenahn |
| 15:30 | Boat Tour on Zwischenahner Meer |
| 18:00 | Conference Dinner at Scholjegerdes Hof |
Thursday, September 25, 2025
Plenary Lecture: Library Auditorium (BIS-Saal) - 9:00-10:30
Chair: Andreas Rauh
| 9:00-10:30 | Tino Teige | Bringing Formal Methods from Academia to Real-World Applications in Industry: My Personal Two-Decades-Journey |
Coffee Break: Library Auditorium (BIS-Saal) - 10:30-11:00
Regular Session A: Estimation: Library Auditorium (BIS-Saal) - 11:00-12:30
Chair: Bernd Tibken
| 11:00-11:30 | Quentin Brateau, Fabrice Le Bars and Luc Jaulin | Separator for the remoteness constraint |
| 11:30-12:00 | Damien Esnault, Simon Rohou, Fabrice Le Bars and Luc Jaulin | Computing Interval Detection-Probability Grids via Monte-Carlo method for Underwater Robotics |
| 12:00-12:30 | Marit Lahme and Andreas Rauh | Set-Based Identification of Characteristic Curves and Its Challenges for Real-Life Applications |
Regular Session B: Unceratinty Quantification: A01-0-006 - 11:00-12:30
Chair: Tibor Csendes
| 11:00-11:30 | Olga Kosheleva and Vladik Kreinovich | Inconsistencies in Fuzzy Estimations: Kaucher Arithmetic Naturally Appears |
| 11:30-12:00 | Miroslav Svitek, Olga Kosheleva and Vladik Kreinovich | Shapley Value Under Interval Uncertainty Revisited: Why Seemingly Natural Axiomatic Approach Is Not Fully Adequate |
| 12:00-12:30 | Luc Jaulin | A new wrapper for a reliable resolution of underdetermined nonlinear equations |
Lunch Break - Food Truck - 12:30-14:00
Regular Session A: Linear Systems and Linear Algebra: Library Auditorium (BIS-Saal) - 14:30-16:00
Chair: Siegfried Rump
| 14:30-15:00 | Haruto Kijima and Takeshi Ogita | Fast Implementation of Interval Matrix Multiplication Using Infimum-Supremum Representation With SIMD Operations |
| 15:00-15:30 | Takeshi Terao, Yoshitaka Watanabe and Katsuhisa Ozaki | Verification of Singular Values under Oblique Inner Product Space for Matrices |
| 15:30-16:00 | Katsuhisa Ozaki and Toru Koizumi | Tight Enclosure of Matrix Multiplication using Fused Multiply-Add |
Regular Session B: Optimization: A01-0-006 - 14:30-16:00
Chair: Julien Alexandre Dit Sandretto
| 14:30-15:00 | Milan Hladík | Linear Programming Problems with Absolute Values and Interval Uncertainty |
| 15:00-15:30 | Cyril Kotecký and Milan Hladík | Complementary stability in quadratic interval programming |
| 15:30-16:00 | Christophe Jermann, Nathalie Revol and Christine Solnon | B&P algorithms for continuous constraint problems: a survey of branching strategies |
Coffee Break: Library Auditorium (BIS-Saal) - 16:00-16:30
Regular Session A: Neural Networks: Library Auditorium (BIS-Saal) - 16:30-17:30
Chair: Vladik Kreinovich
| 16:30-17:00 | Attila Szász and Balázs Bánhelyi | Parameter Robustness of Neural Networks |
| 17:00-17:30 | Tibor Csendes | Interval Based Verification of Adversarial Example Free Zones for Neural Networks |
Regular Session B: Dynamic Systems: A01-0-006 - 16:30-17:30
Chair: Simon Rohou
| 16:30-17:00 | Ramiz Dilji, Bernd Tibken, Robert Dehnert, Youping Fan, Regina Deisling and Laura Ackerschott | Estimation of the Domain of Attraction for Nonlinear Systems using the Bihari Inequality |
| 17:00-17:30 | Andreas Rauh and Marit Lahme | Observer-Based Approaches for a Verified Simulation and Pseudo State Estimation of Fractional Dynamic Systems |
Meeting of the program committee including new members: Library Auditorium (BIS-Saal) - 18:00-19:00
Friday, September 26, 2025
Plenary Lecture: Library Auditorium (BIS-Saal) - 9:00-10:30
Chair: Andreas Rauh
| 9:00-10:30 | Christoph Matheja | Automated Verification of Discrete Probabilistic Programs |
Coffee Break: Library Auditorium (BIS-Saal) - 10:30-11:00
Regular Session A: Dynamic Systems: Library Auditorium (BIS-Saal) - 11:00-12:30
Chair: Robert Dehnert
| 11:00-11:30 | Robert Szczelina, Anna Gierzkiewicz and Jakub Kural | Investigating chaos in Delay Differential Equations with rigorous numerical methods |
| 11:30-12:00 | Jakub Kural, Anna Gierzkiewicz and Robert Szczelina | Computer assisted proof of existence of periodic solutions to ENSO delay differential equation model |
| 12:00-12:30 | Théo Le Terrier, Marie Babel and Vincent Drevelle | Ultra-wideband Based Smart Wheelchair Pose Estimation using Interval Analysis |
Regular Session B: Optimization: A01-0-006 - 11:00-12:30
Chair: Ekaterina Auer
| 11:00-11:30 | Mihály Gencsi and Boglárka G.-Tóth | Improvements of the Geometrical Test in Interval Branch and Bound methods |
| 11:30-12:00 | Verlein Radwan, Simon Rohou and Gilles Trombettoni | Exhaustive Interval-based 2-D Shape Registration Under Similarity Transformation |
| 12:00-12:30 | Maël Godard, Luc Jaulin and Damien Massé | Adaptative parallelepipedic approximation of the image of a set by a nonlinear function |
Lunch Break - Food Truck - 12:30-14:00
Regular Session A: Dynamic Systems: Library Auditorium (BIS-Saal) - 14:00-15:30
Chair: Marit Lahme
| 14:00-14:30 | Andreas Rauh and Friederike Bruns | Set-Based Contracts for Systematic Controller Tuning in Interconnected Dynamic Systems |
| 14:30-15:00 | Anna Gierzkiewicz, Maciej Capinski and Pau Martin | Oscillating orbits in the Sitnikov model: equal masses case |
| 15:00-15:30 | Mohamed Fnadi and Régis Lherbier | Interval Particle Filter for LiDAR-Based Object Tracking |
Regular Session B: Optimization: A01-0-006 - 14:00-15:30
Chair: Nathalie Revol
| 14:00-14:30 | Yuki Uchino, Katsuhisa Ozaki and Toshiyuki Imamura | High-Performance Emulation of Matrix Multiplication using INT8 Matrix Engines and its Error Analysis |
| 14:30-15:00 | Lorenz Gillner and Ekaterina Auer | Efficient Acceleration Strategies for Interval Branch-and-Bound Type Methods |
| 15:00-15:30 | Diego Romano, Ekaterina Auer, Francesco Gregoretti and Lorenz Gillner | GPU-Accelerated Algorithmic Differentiation For Reliable Computing: Comparing Different Architectures |