The Coq mailing list

[Francois Pottier <francois.pottier AT inria.fr>]

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 now and
booking accommodation as soon as possible, as Paris in June can be very 
busy.

  https://iris-project.org/workshop-2025/

If you would like to propose a talk, please email the organizers
(francois.pottier AT inria.fr,jacques-henri.jourdan AT 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**, but there is no
reason to wait: send your proposal as soon as possible! 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