Logo

International Workshop on Validated Numerics for Computer-Assisted Proofs

5 July 2026

New results, open problems, big ideas

by Julia Slipantschuk

Dear participants,

We are very much looking forward to welcoming you all on Monday morning!

On Monday afternoon, we will be hosting an informal Open Problem session. We highly encourage you to bring your unsolved problems, preliminary results, or grand ideas to the floor. No polished presentations are required! A quick blackboard sketch (a single slide’s worth), or just a few minutes of explanation is perfect!

If you would like a few minutes to share a problem or an idea, or an anecdote from computer-assisted proofs, simply send us an email or let us know when you arrive on Monday.

Best, the organisers.

tags: discussions