The series of International Symposia on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN) will be continued with the 20th edition from the 22nd to 26th of September 2025 (Monday to Friday) in Germany.

We are pleased to invite you to the Carl von Ossietzky Universität in the city of Oldenburg, a distinguished location in the German state of Lower Saxony.

The upcoming SCAN 2025 will be the meeting place for researchers from the fields of reliable computing, software engineering, and uncertainty quantification and those from such wide and varied areas as robotics, control, structural and civil engineering, and signal processing.

Here, long-standing colleagues will be able to meet again in a relaxed though productive setting after a long absence of an in-person SCAN event. The new edition of the conference will continue to further strengthen the exchange of novel scientific ideas and will contain not only classical presentations in a lecture format but also discussion sessions focused on young researchers. In those, PhD students will have the opportunity to present their research activities in more detail and exchange views about them with a broad audience of more experienced scientists or other PhD students.

Finally, we are looking forward to having several plenary lectures with a focus on the key topics of our conference, with the following confirmed plenary contributions to this date:

• Christoph Matheja (Carl von Ossietzky Universität Oldenburg): Automated Verification of Discrete Probabilistic Programs
• Tino Teige (BTC Embedded Systems AG): Bringing Formal Methods from Academia to Real-World Applications in Industry

Information concerning further plenary speakers, the procedure for abstract submission, planned social events, and the publication of post-workshop proceedings will be announced shortly.

Until then, we kindly ask you share the information about SCAN 2025 with your colleagues. We are looking forward to welcoming you in Oldenburg for a thrilling scientific event!

The Organizing Committee: Andreas Rauh (1), Marit Lahme (1), Ekaterina Auer (2)

1. Carl von Ossietzky Universität Oldenburg, Germany
2. University of Applied Sciences Wismar, Germany