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 .

Participating Research units

TCS group in Georg-August-Universität, Göttingen Distance from Kassel is about 30 minutes by train. Typical subjects of interest include word combinatorics, string algorithm, or word equations. (more info).
Contact Florin Manea.
TCS/Formal Methods group at University of Kassel Typical subjects of interest include formal specification and verification; logic in CS; automata and formal languages; verification in machine learning; formal methods for learning tools. (more info).
Contact Martin Lange.
Models of Computation group at MPI-SWS in Kaiserslautern Distance from Kassel is just over 3h by train, 5:30 from Paderborn. Our interests are in automata, logic, infinite-state systems, decidability, complexity, and algorithmic group theory. (more info).
Contact Georg Zetzsche.
LogiDAC group at TU Dortmund University Distance from Kassel is 2h 15 by direct train, 1h from Paderborn. The group is interested in various aspects of Database Theory and Logic & Complexity, with some emphasis on constant-time parallel dynamic algorithms. (more info).
Contact Thomas Schwentick.
Theoretical Computer Science group in Leibniz Univertität Hannover Distance from Kassel is 1h15 by train, 2h from Paderborn. Typical subjects include (parameterised) complexity theory, logic in computer science (nonmonotonic and nonclassical logics), enumeration complexity, and recently neural networks. (more info).
Contact Arne Meier.
Theoretical Computer Science Group at the University of Duisburg-Essen (based in Duisburg) Distance from Kassel is 3h30 by train, 2h from Paderborn. Research areas include concurrency theory, coalgebra, graph transformation, fixpoint theory, reasoning under uncertainty. (more info).
Contact Barbara König.