Highlights Extended Stay Support Scheme
The Highlights Extended Stay Support Scheme (HESSS) is an incentive for collaborations between participants to the conference and researchers working in research units reachable by train from the conference locations. The objective is to foster interactions with low carbon footprint. The mechanism is as follows:
- Research units wanting to participate in the scheme are listed below. These units are willing to fund collaborations between highlights' participants and their members.
- The pair of a Highlights' participant and a member of one of a listed research unit submit a proposal which takes the form of a mail containing names, period of collaboration, and a sentence describing the activity planned. It has to be sent to the HESSS contact person of the research unit.
- The decision of acceptation is up to the research unit. It may be in particular subject to scientific scope, number or requests, or, eg, favouring distant participants.
- The only strict rule is that the visit should be around the moment of Highlights, and no plane should be taken by the visitor between Highlights and the visit.
- Research units interested in participating in the program should contact us through the appropriate channels on Zulip.
Participating Research Units
If you are interested in formal methods (broadly) and possibly Belgian beers, our group (Thomas Brihaye, Véronique Bruyère, Mickael Randour) in Mons might be a good fit.
The trip from/to Bordeaux by train takes approximately 8 hours.
Contact Thomas Brihaye, Véronique Bruyère or Mickael Randour.IRIF, in Paris, is welcoming Highlights participants to collaborate with its members. This concerns in particular, but is not limited to, the teams:
- automata, and
- verification.
Paris is located 2 hours from Bordeaux by TGV.
Contact Thomas Colcombet.LIP6, in Paris, welcomes collaborations with Highlights participants.
If you are interested, please contact one member of the following teams: BD, DECISION, MoVe, RO and SMA. The other teams at LIP6 can be seen on this webpage.
Travel time from Bordeaux to LIP6 is about 2h30.
Contact Fabrice Kordon.The department Formal Methods at LORIA focuses on methodologies, techniques and tools for analyzing, verifying and developing safe and secure software-based systems. The department consists of five teams sharing common concepts, techniques and tools related to formal methods and focusing on specific topics. More information including the teams' web sites are available here.
Travel time from Bordeaux to Nancy by train is roughly 5 hours.
Contact Horatiu Cirstea.A lab working on formal methods for the design and verification of computational paradigms. Research groups:
- Model-Checking & Synthesis: Games, Logic, Automata
- Distributed Computing: Concurrent and Distributed Systems
The travel time from Bordeaux is roughly 2 hours by train and the lab itself is about 1h15 from central Paris. Alternatively, there is a hotel on campus or accommodation in Massy (which is 30 minutes from campus).
Contact Laurent Doyen.