13 Feb
2023
13 Feb
'23
7:33 p.m.
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(a)irif.fr>
* LABRI, Bordeaux (https://www.labri.fr/en). Contact: Cyril
Gavoille <gavoille(a)labri.fr>
* LAAS, Toulouse (https://www.laas.fr/public/en). Contact: Silvano
Dal Zilio <dalzilio(a)laas.fr>
* Lip6, Sorbonne Université, Paris
(https://www.lip6.fr/recherche/index.php), and co-organizer of ETAPS
2023. Contact: Fabrice Kordon <Fabrice.Kordon(a)lip6.fr>
* LIPN, Université Sorbonne Paris Nord, Villetaneuse
(https://lipn.univ-paris13.fr/), and co-organizer of ETAPS 2023.
Contact: Étienne André <Andre.Etienne(a)lipn13.fr>
* LMF, Université Paris-Saclay, Saclay (https://lmf.cnrs.fr/).
Contact: Dietmar Berwanger <dwb(a)lsv.fr>
* LORIA, Université de Lorraine & Inria, Nancy
(https://www.loria.fr/en/). Contact: Stephan Merz <stephan.merz(a)loria.fr>
* ULB, Team "Formal Methods and Verification"
(https://verif.ulb.ac.be/), Brussels, Belgium. Contact: Emmanuel Filiot
<efiliot(a)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(a)lipn13.fr