Following the success of the previous four Iris Workshops in Aarhus (2019),
Nijmegen (2022), Saarbrücken (2023), and Zürich (2024), the Fifth Iris
Workshop will take place on June 2-6, 2025 at Inria in Paris, France.
More details, as well as registration information, are available at the
workshop's Web site. If you wish to attend, we suggest registering and
booking accommodation now, as Paris in June can be very busy.
If you would like to propose a talk, please email the organizers
(francois.pottier@inria.fr,jacques-henri.jourdan@cnrs.fr) with a description
of your talk (a title and abstract). If the talk is based on a paper or
preprint, please attach it or provide its URL. You may indicate whether you
wish to give a regular talk or a long talk (but we may not be able to honor
your wish). **The deadline for talk proposals is April 25**. Send your
proposal now! If there is enough space, all proposals will be accepted;
otherwise, we will make a selection.
Best wishes,
The Iris Workshop 2025 organizers
François Pottier and Jacques-Henri Jourdan