Validated Numerics for Computer-Assisted Proofs

6-10 July 2026, ICMS, Bayes Centre, Edinburgh

Participants

At present, there are 28 confirmed participants, from 11 countries:

Luis Benet Fernández - Universidad Nacional Autónoma de México (UNAM), Mexico
Maxime Breden - École Polytechnique, France
George Browne - The Open University, England
Andrew Burbanks - University of Portsmouth, England
Matthieu Cadiot - École Polytechnique, France
Maciej Capinski - AGH University Kraków, Poland
Hugo Chu - École Polytechnique, France
Artem Dudko - Institute of Mathematics of the Polish Academy of Sciences (IM PAN), Poland
Jean-Pierre Eckmann - Université de Genève, Switzerland
Igors Gorbovickis - Constructor University, Germany
Olivier Henot - National Taiwan University, Taiwan
Tomasz Kapela - Jagiellonian University in Kraków, Poland
Jean-Philippe Lessard - McGill University, Canada
Benjamin Mestel - Open University (Retired), England
Nicolae Mihalache - Univ Paris-Est Creteil, France
Juan Miranda - Florida Atlantic University, USA
Jason Mireles-James - Florida Atlantic University, USA
Owen Pennington - University of Surrey, England
Maria Pickett - University of Portsmouth, England
Mark Pollicott - University of Warwick, England
Zainab Rahman - University of Portsmouth, England
Siegfried Rump - Hamburg University of Technology, Germany
Julia Slipantschuk - University of Bayreuth, Germany
Jan Bouwe van den Berg - Vrije Universiteit Amsterdam, Netherlands
Polina Vytnova - University of Surrey, England
Daniel Wilczak - Jagiellonian University in Kraków, Poland
Caroline Wormell - The University of Sydney, Australia
Piotr Zgliczynski - Jagiellonian University in Kraków, Poland