ETAPS 2023 EXTENDED STAY SUPPORT SCHEME The ETAPS 2023 conference (European joint conferences on theory & practice of software) offers to its attendees an Extended Stay Support Scheme (IESS) aiming at enhancing scientific collaborations and diminishing the carbon footprint of scientific research activities, following similar initiatives at HIGHLIGHTS and ICALP. ETAPS 2023 attendees are encouraged to combine their visit to Paris with collaborations with local researchers. This support scheme is primarily intended for participants traveling long distances and must be combined with an attendance to ETAPS 2023. Upon acceptation, research institutes involved in this mechanism will cover standard expenses (accommodation and traveling fees, plane excluded) and will provide material support for research activities. How to apply to the ETAPS 2023 Extended Stay Support Scheme? Application to the ETAPS 2023 Extended Stay Support Scheme is made by two persons, a visitor and a local collaborator and should be sent to the contact person in the hosting research institute. The application should include: - The name of the visitor (the ETAPS attendant) mentioning their affiliation, city and country of origin - The name of the local collaborator - The dates of the visits - Few lines describing the subject of the collaboration Web page: https://etaps.org/2023/esss/ Specific constraints: - For applying, the visitor should attend ETAPS 2023 - Dates of the visit do not have to be adjacent to the conference dates as long as the applicant avoids traveling by plane in between - If too many applications are received, further criteria of selection may have to be applied, such as favoring long distance participants or applying "first come first served" policy. The research labs participating to the scheme are so far:     * Irif, Université Paris-Cité, Paris (https://www.irif.fr/). Contact: Thomas Colcombet <thomas.colcombet@irif.fr>     * LABRI, Bordeaux (https://www.labri.fr/en). Contact: Cyril Gavoille <gavoille@labri.fr>     * LAAS, Toulouse (https://www.laas.fr/public/en). Contact: Silvano Dal Zilio <dalzilio@laas.fr>     * Lip6, Sorbonne Université, Paris (https://www.lip6.fr/recherche/index.php), and co-organizer of ETAPS 2023. Contact: Fabrice Kordon <Fabrice.Kordon@lip6.fr>     * LIPN, Université Sorbonne Paris Nord, Villetaneuse (https://lipn.univ-paris13.fr/), and co-organizer of ETAPS 2023. Contact: Étienne André <Andre.Etienne@lipn13.fr>     * LMF, Université Paris-Saclay, Saclay (https://lmf.cnrs.fr/). Contact: Dietmar Berwanger <dwb@lsv.fr>     * LORIA, Université de Lorraine & Inria, Nancy (https://www.loria.fr/en/). Contact: Stephan Merz <stephan.merz@loria.fr>     * ULB, Team "Formal Methods and Verification" (https://verif.ulb.ac.be/), Brussels, Belgium. Contact: Emmanuel Filiot <efiliot@ulb.be> Other research labs may be added to this list. For applying as a researcher, please contact the research lab of interest. For applying as a research unit, please get in touch with Andre.Etienne@lipn13.fr