HIGHLIGHTS '25 (Saarbrücken, Germany 1-5 September 2025) AND HCRW (6-12
September)
================================================
Registration for HIGHLIGHTS '25 is open now.
The early-bird registration is *open until Monday 14 July*. The *early-bird
registration fee is 110€* (covering lunch and coffee breaks). Online
attendance is free.
*Registration page:* https://pretix.eu/uds-kwt/high2025/
*Highlights' Collaborative Research Weak:*
If you consider staying for HCRW, please indicate it in the registration
form, and share your plans in the Zulip chat (registration at
https://highlights-conference.org/2025/zulip).
There are no fees for participation in HCRW.
*Accommodation:*
The local organizers of Highlights have negotiated quotas for accommodation
in Saarbrücken in two hotels. Check the Zulip channel or the webpage for
details.
For more details, see the full Call for Presentations below.
================================================HIGHLIGHTS'25,
(Saarbrücken, Germany 1-5 September 2025) AND HCRW (6-12 September)
*HIGHLIGHTS'25* is scheduled *from September 1 to September 5, 2025*
at the *Saarland
University in Saarbrücken, Germany*. It will be followed by the *Highlights
Collaborative Research Week (HCRW)*, from *September 6 to 12, 2025*.
*HIGHLIGHTS'25* is the thirteenth in the series of international
conferences "Highlights of Logic, Games and Automata", aiming at
integrating the community working in algorithmic model theory, automata
theory, databases, games for logic and verification, logic and
verification. Papers from these areas are dispersed across many
conferences, which makes them difficult to follow. A visit to the
HIGHLIGHTS conference should offer a wide picture of the latest research in
the field and a chance to meet everybody in the community, not just those
who happen to publish in one particular proceedings volume. There are no
publications.
*HIGHLIGHTS'25* key features:
- HIGHLIGHTS is a conference without publications, where speakers give
short presentations of their best work.
- A chat of the conference is available during the event, and throughout
the year.
- T̶h̶e̶r̶e̶ ̶i̶s̶ ̶a̶n̶ ̶e̶a̶r̶l̶y̶ ̶r̶o̶u̶n̶d̶ ̶o̶f̶
̶s̶u̶b̶m̶i̶s̶s̶i̶o̶n̶s̶ ̶a̶n̶d̶ ̶n̶o̶t̶i̶f̶i̶c̶a̶t̶i̶o̶n̶s̶ ̶t̶o̶ ̶h̶e̶l̶p̶
̶w̶i̶t̶h̶ ̶t̶r̶a̶v̶e̶l̶ ̶p̶l̶a̶n̶n̶i̶n̶g̶.̶
- The *Highlights' Collaborative Research Week* (*HCRW*) offers means
for research collaborations/discussions between participants. HCRW is
scheduled after the conference.
- The *Highlights Extended Stay Support Scheme* (*HESSS*) helps
participants find collaborators and organise visits in the vicinity of
HIGHLIGHTS.
We encourage you to attend and present your best work - be it already
published or not - at *HIGHLIGHTS'25*.
SCOPE
Representative areas include, but are not restricted to:
- Algebraic models of computation
- Algorithmic model theory
- Automata theory
- Databases
- Games for logic and verification
- Logic
- Verification
IMPORTANT DATES AND INFORMATION
- HIGHLIGHTS'25 webpage: https://highlights-conference.org/2025/
- Registration to the chat at
https://highlights-conference.org/2025/zulip (no need if you did it last
year)
- Registration page: https://pretix.eu/uds-kwt/high2025/
- Early-bird registration deadline: July 14 2025
- Conference: September 1 - 5, 2025.
- *Highlights' Collaborative Research Week* (*HCRW*): September 6 - 12,
2025.
- Registration fee: 110€
MODALITIES OF ATTENDANCE
*HIGHLIGHTS'25* is an event that will take place on-site (barring
unforeseen circumstances), and the preferred form of participation is in
person. Remote attendance via a video stream will also be offered, but with
limited possible interactions for these participants.
Submission for a presentation at Highlights'25 is open to everyone, and
attendance to the conference is not a requirement. The selection procedure
will not take into account in-person attendance. Authors who do not intend
to attend Highlights'25 in-person must commit to this choice when
submitting their talk proposal. If accepted, authors of such talk proposals
will have the opportunity to share a prerecorded video of their talk, which
will be made available on the conference website.
Before coming from far away, please review how your trip and international
flights are contributing to climate change. We encourage you to take the
train as much as possible, possibly taking the opportunity for visiting
colleagues on the way and thus decomposing the travel into smaller pieces.
More generally, we encourage you to make the most of your stay. This means
extending your journey to the previous and/or following weeks for more
scientific activities in Saarbrücken and around. Several initiatives are
here to help you in this task:
- You can participate in the *Highlights' Collaborative Research
Week* (*HCRW
<https://highlights-conference.org/2025/hcrw>, September 6 - 12*) in the
week after HIGHLIGHTS, in Saarbrücken.
- You can use the *Highlights Extended Stay Support Scheme* (*HESSS
<https://highlights-conference.org/2025/hesss>*) for finding
collaborators and organising visits.
HIGHLIGHTS COLLABORATIVE RESEARCH WEEK (HCRW)
*HIGHLIGHTS'25* will be followed by the *Highlights' Collaborative Research
Week* (*HCRW*), *from September 6 to 12 at the University of Saarbrücken*.
Participants to HCRW are free to organise any scientific activity they
wish. Possibilities can be to
- meet someone in particular and work together,
- organise or attend a seminar/workshop/reading group,
- gather for solving open problems,
- solicit, offer and participate in a lecture.
Working spaces will be provided on site for these activities to take
place.
We encourage participants to declare their intent to come and offer
activities in advance using the chat of highlights.
INVITED SPEAKERS TUTORIALS
- Christof Löding
- Szymon Toruńczyk
KEYNOTE SPEAKERS
- Shaull Almagor
- Yu-Fang Chen
- Liat Peterfreund
- Mahsa Shirmohammadi
COMMITTEES PROGRAM COMMITTEE HIGHLIGHTS'25
- Luca Aceto (Reykjavik University, Iceland, and Gran Sasso Science
Institute, L'Aquila, Italy)
- Christel Baier (TU Dresden, Germany), chair
- Marie van den Bogaard (Universite Gustav Eiffel, France)
- Michael Blondin (University of Sherbrooke, Canada)
- Agata Ciabattoni (TU Vienna, Austria)
- Wojciech Czerwiński (University of Warsaw, Poland)
- Anuj Dawar (University of Cambridge, UK)
- Dana Fisman (Ben-Gurion University, Israel)
- Marianna Girlando (University of Amsterdam, NL)
- Ichiro Hasuo (National Institute of Informatics, Tokyo, Japan)
- Antoine Mottet (TU Hamburg, Germany)
- B. Srivathsan (Chennai Mathematical Institute, India)
- Patrick Totzke (University of Liverpool, UK)
- Mahesh Viswanathan (University of Illinois at Urbana-Champaign, US)
- Thomas Zeume (Ruhr University, Germany)
ORGANISING COMMITTEE
- Benjamin Kaminski
- Tobias Gürtler
- Ānrán Wáng
- Natalia Weis
STEERING COMMITTEE
- Antoine Amarilli (environmental chair)
- León Bohn (webmaster)
- Antonio Casares (publicity chair)
- Supratik Chakraborty
- Thomas Colcombet (chair)
- Bartek Klin
- Sławek Lasota
- Sophie Tison
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
