ETAPS 2023 Extended Stay Support Scheme (ESSS)

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.

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.

• 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 in the scheme are so far:

• CRIStAL, Lille Contact: Patrick Baillot
• EPFL, SYSTEMF, Lausanne: Contact: Clément Pit-Claudel
• Irif, Université Paris-Cité, Paris. Contact: Thomas Colcombet
• LAAS, Toulouse. Contact: Silvano Dal Zilio
• LABRI, Bordeaux. Contact: Cyril Gavoille
• LIP, ENS Lyon Contact: Denis Kuperberg
• Lip6, Sorbonne Université, Paris, and co-organizer of ETAPS 2023. Contact: Fabrice Kordon
• LIPN, Université Sorbonne Paris Nord, Villetaneuse, and co-organizer of ETAPS 2023. Contact: Étienne André
• LiS, Marseille. Contact: Pierre-Alain Reynier
• LMF, Université Paris-Saclay, Saclay. Contact: Dietmar Berwanger
• LORIA, Université de Lorraine & Inria, Nancy. Contact: Stephan Merz
• LS2N, Université de Nantes (SLS axis). Contact: Dalila Tamzalit
• LSL, CEA List, Saclay. Contact: CHIHANI Zakaria
• Télécom Paris. Contact: Théo Zimmermann
• ULB, Team “Formal Methods and Verification”, Brussels, Belgium. Contact: Emmanuel Filiot
• Verimag, Grenoble. Contact: Verimag

Other research labs will be added to this list soon.

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.

For applying as a researcher, please contact the research lab of interest.