ETAPS 2023 EXTENDED STAY SUPPORT SCHEME The ETAPS 2023 conference (European joint conferences on theory & practice of software), organized in Paris from 22nd to 27th April 2023, offers an Extended Stay Support Scheme (ESSS) 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. In a nutshell: interested individual participants to ETAPS can get a financial support from interested labs to stay longer "near" Paris, supported by labs throughout France or neighboring countries (Belgium and Switzerland). 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 The ETAPS organizers are NOT involved in this selection process. 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 by the inviting labs, such as favoring long distance participants or applying "first come first served" policy. The research labs participating to the scheme are so far:     * CRIStAL, Lille (https://www.cristal.univ-lille.fr/?rubrique9) Contact: <Patrick Baillot patrick.baillot(a)univ-lille.fr&gt;     * EPFL, SYSTEMF, Lausanne (https://www.epfl.ch/): Contact: Clément Pit-Claudel (https://pit-claudel.fr/clement/)     * Irif, Université Paris-Cité, Paris (https://www.irif.fr/). Contact: Thomas Colcombet &lt;thomas.colcombet(a)irif.fr&gt;     * LAAS, Toulouse (https://www.laas.fr/public/en). Contact: Silvano Dal Zilio &lt;dalzilio(a)laas.fr&gt;     * LABRI, Bordeaux (https://www.labri.fr/en). Contact: Cyril Gavoille &lt;gavoille(a)labri.fr&gt;     * LIP, ENS Lyon (http://www.ens-lyon.fr/LIP/) Contact: Denis Kuperberg &lt;denis.kuperberg(a)ens-lyon.fr&gt;     * Lip6, Sorbonne Université, Paris (https://www.lip6.fr/recherche/index.php), and co-organizer of ETAPS 2023. Contact: Fabrice Kordon &lt;Fabrice.Kordon(a)lip6.fr&gt;     * LIPN, Université Sorbonne Paris Nord, Villetaneuse (https://lipn.univ-paris13.fr/), and co-organizer of ETAPS 2023. Contact: Étienne André &lt;Andre.Etienne(a)lipn13.fr&gt;     * LiS, Marseille (https://www.lis-lab.fr/). Contact: Pierre-Alain Reynier &lt;pierre-alain.reynier(a)lis-lab.fr&gt;     * LMF, Université Paris-Saclay, Saclay (https://lmf.cnrs.fr/). Contact: Dietmar Berwanger &lt;dwb(a)lsv.fr&gt;     * LORIA, Université de Lorraine & Inria, Nancy (https://www.loria.fr/en/). Contact: Stephan Merz &lt;stephan.merz(a)loria.fr&gt;     * LS2N, Université de Nantes (SLS axis: https://www.ls2n.fr/pole/SLS/). Contact: Dalila Tamzalit &lt;dalila.tamzalit(a)univ-nantes.fr&gt;     * LSL, CEA List, Saclay (https://pyrat-analyzer.com/). Contact: CHIHANI Zakaria &lt;Zakaria.CHIHANI(a)cea.fr&gt;     * Telecom Paris (https://www.telecom-paris.fr/en/research/laboratories/information-processin…). Contact: Théo Zimmermann &lt;theo.zimmermann(a)telecom-paris.fr&gt;     * ULB, Team "Formal Methods and Verification" (https://verif.ulb.ac.be/), Brussels, Belgium. Contact: Emmanuel Filiot &lt;efiliot(a)ulb.be&gt;     * Verimag, Grenoble (https://www-verimag.imag.fr/). Contact: verimag-direction(a)univ-grenoble-alpes.fr 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(a)lipn13.fr