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

UMONS Formal Methods Group in Mons, Belgium

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.
LoVe team at LIPN in Paris, France

At LIPN, the LoVe team, both for the "Logic" axis and the "Verification" axis. A list of members can be found here.

Paris is located 2 hours from Bordeaux by TGV.

Contact Étienne André.
IRIF in Paris, France

IRIF, in Paris, is welcoming Highlights participants to collaborate with its members. This concerns in particular, but is not limited to, the teams:

Paris is located 2 hours from Bordeaux by TGV.

Contact Thomas Colcombet.
LIP6 in Paris, France

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.
Formal Methods department at LORIA in Nancy, France

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.
Laboratoire Méthodes Formelles at ENS Paris-Saclay, France

A lab working on formal methods for the design and verification of computational paradigms. Research groups:

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.

Sponsors