7 Mar
2023
7 Mar
'23
3:31 p.m.
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>
* 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 <thomas.colcombet(a)irif.fr>
* LAAS, Toulouse (https://www.laas.fr/public/en). Contact: Silvano
Dal Zilio <dalzilio(a)laas.fr>
* LABRI, Bordeaux (https://www.labri.fr/en). Contact: Cyril
Gavoille <gavoille(a)labri.fr>
* LIP, ENS Lyon (http://www.ens-lyon.fr/LIP/) Contact: Denis
Kuperberg <denis.kuperberg(a)ens-lyon.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>
* LiS, Marseille (https://www.lis-lab.fr/). Contact: Pierre-Alain
Reynier <pierre-alain.reynier(a)lis-lab.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>
* LS2N, Université de Nantes (SLS axis:
https://www.ls2n.fr/pole/SLS/). Contact: Dalila Tamzalit
<dalila.tamzalit(a)univ-nantes.fr>
* LSL, CEA List, Saclay (https://pyrat-analyzer.com/). Contact:
CHIHANI Zakaria <Zakaria.CHIHANI(a)cea.fr>
* Telecom Paris
(https://www.telecom-paris.fr/en/research/laboratories/information-processin…).
Contact: Théo Zimmermann <theo.zimmermann(a)telecom-paris.fr>
* ULB, Team "Formal Methods and Verification"
(https://verif.ulb.ac.be/), Brussels, Belgium. Contact: Emmanuel Filiot
<efiliot(a)ulb.be>
* 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