Highlights Extended Stay Support Scheme

The HESSS is an incentive for collaborations between participants of the conference and researchers working in research groups reachable by train from the conference location. The objective is to foster interactions with low carbon footprint. The mechanism is as follows:

  • Research groups willing to participate in the scheme will be listed on the webpage. These groups are offering to fund collaborations between HIGHLIGHTS'25 participants and their members.
  • The pair of a HIGHLIGHTS'25 participant and a member of a listed research group submit a proposal, which takes the form of an email containing names, period of collaboration, and a sentence describing the planned activity. It has to be sent to the HESSS contact person of the research unit.
  • The decision of acceptance is up to the research group. In particular, it may be subject to scientific scope, number of requests, or e.g., favouring distant participants.
  • The only strict rule is that the visit should be around HIGHLIGHTS'25, and no airplane should be taken by the visitor to travel from HIGHLIGHTS'25 to the visit location.

Participating Research Units

Quantitative Verification Group in Saarbrücken, Germany

Topics include quantitative, probabilistic and deductive verification, Hoare logic, weakest preconditions, fixed point theory. A visit can take place any time after September 5, for a duration of approximately one week.

We can provide financial support for accomodation.

Contact Benjamin Kaminski
Dependable Systems Group in Saarbrücken, Germany

Topics include stochastic models, model checking, software dependability, system dependability, energy informatics, space informatics, and decision diagram enhancements.I myself will be out of office until September 22, but there is no obstacle preventing a visit to the group before then. A visit is possible until October 10.

We do not provide financial support for accomodation.

Contact Holger Hermanns
LIP at ENS in Lyon, France

Topics include automata theory, logics, semantics of programming languages, and graph theory. A visit with a duration of up to 2 weeks can take place anytime after Highlights. Approximately 5-6 hours from Saarbrücken.

We can provide some financial support for travelling and possibly also for accomodation, depending on the intended collaborations.

Contact Denis Kuperberg
IRIF in Paris, France

The automata and verification teams are participating. Approximately 2 hours from Saarbücken by train.

Contact Thomas Colcombet
Software Engineering group in Darmstadt, Germany

Topics include deductive verification, PL semantics, and program logic for stateful languages. A visit is possible from September 8 until September 19.

We are happy to pay for rail travel within Germany and we might be able to provide some financial support for accomodation.

Contact Reiner Hähnle

Workshops

25th Max Planck Advanced Course on the Foundations of Computer Science

The goal of this year's ADFOCS is to educate people with a TCS background on recent advances in graph decomposition techniques and their use in designing efficient algorithms. The focus of the summer school will be on the following topics:

  • Structure theory for graph classes with forbidden induced subgraphs and designing efficient algorithms on such graphs (Maria Chudnovsky)
  • Structural Sparsity and efficient algorithms for First-Order model checking (Michał Pilipczuk)
  • Expander decompositions and their variants, and their applications to design (near) linear-time algorithms (Thatchaphol Saranurak)

Visit our site for more information.

Sponsors