[ANN] The Fifth Iris Workshop, June 2-6, 2025, Inria Paris
Francois Pottier <[email protected]> Fri, 28 Mar 2025 16:31:23 +0100
| Newsgroups | gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
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 ([email protected],[email protected]) 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