for HIGHLIGHTS'25 is *next Monday, 14 July.*
See details below.
On Tue, 1 Jul 2025 at 14:41, Highlights Communication (Antonio Casares) <
info@highlights-conference.org> wrote:
> ================================================
> 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
