International Workshop on Validated Numerics for Computer-Assisted Proofs
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