Extended Stay Support Scheme
We propose to the STACS 2024 attendees an Extended Stay Support Scheme (ESSS) aiming at enhancing scientific collaborations and diminishing the carbon footprint of scientific research activities. STACS 2024 attendees are encouraged to combine their visit to Clermont-Ferrand by collaborations with local researchers.
This support scheme is primarily intended for participants travelling long distances and must be combined with an attendance to STACS. Upon acceptance, research institutes involved in this mechanism may (partially) cover standard expenses (accommodation, living expenses and traveling fees, plane excluded) and will provide material support for research activities.
- How to apply to the STACS 2024 Extended Stay Support Scheme?
- Application to the STACS 2024 Extended Stay Support Scheme is made by two persons, a visitor and a (future) 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 STACS attendant) mentioning her or his affiliation, city and country of origin.
- – The name of the (future) local collaborator.
- – The dates of the visits.
- – Few lines describing the subject of the collaboration.
- Specific constraints:
- – For applying, the visitor should attend STACS 2024.
- – Dates of the visit do not have to be directly 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 a « first come first served » policy.
The overall coordinator is Florent Foucaud (florent[DOT]foucaud[AT]uca[DOT]fr). Please contact him for general inquiries or if you wish to include your research group/lab in the list of hosts.
The research units participating to the scheme are:
Potential research teams: Logic, Computation and Programming, Systems Specification and Verification
Contact: Florent Madelaine (florent[DOT]madelaine[AT]u-pec[DOT]fr) for the former, Catalin Dima (dima[AT]u-pec[DOT]fr) for the latter
Potential research teams: ADA (algorithms, bioinformatics, computational linguistic), BAAM (analysis of algorithms, automata, database theory)
Contact: Gregory Kucherov (gregory[DOT]kucherov[AT]univ-eiffel[DOT]fr)
Potential research teams: AOC (optimisation), CALIN (algorithms and combinatorics), LOVE (logic and verification)
Contact: Florent Koechlin (florent[DOT]koechlin[AT]lipn[DOT]univ-paris13[DOT]fr)
LIP6 (Paris 5th)
Potential research teams: ALMASTY (cryptography and security), APR (programming languages), MoVe (verification), QI (quantum computing), RO (operations research)
Contact: Please contact the head of the team you want to visit, with Fabrice Kordon in CC (fabrice[DOT]Kordon[AT]lip6[DOT]fr)
Potential research teams: GALAC (Graphs Algorithms and Combinatorics), ParSys (distributed algorithms)
Contact: Nicolas[DOT]Thiery[AT]universite-paris[DOT]saclay[DOT]fr, hellouin[AT]lisn[DOT]fr, nathalie[DOT]aubrun[AT]lri[DOT]fr
Potential research teams: ACRO (Algorithmics, Combinatorics, and Operations Research), MOVE (Modelisation and Verification)
Contact: Pascal Préa (pascal[DOT]prea[AT]lis-lab[DOT]fr) and Karoliina Lehtinen (karoliina[DOT]lehtinen[AT]lis-lab[DOT]fr), respectively