Validated Numerics for Computer-Assisted Proofs

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

Participants

There are 32 confirmed participants, from institutions in 13 countries, with around 40% of participants being early-career researchers:

• Thomas Baldini - Centrale Méditerranée, France
• Luis Benet - 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
• Deborah Kent - University of St Andrews, Scotland
• Gabor Kiss - Queen’s University Belfast, Northern Ireland
• Jean-Philippe Lessard - McGill University, Canada
• Benjamin Mestel - Open University (Retired), England
• Nicolae Mihalache-Ciurdea - Univ Paris-Est Creteil, France
• Juan Miranda - Florida Atlantic University, USA
• Jason Mireles-James - Florida Atlantic University, USA
• Jeremy Parker - University of Dundee, Scotland
• 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