Tuesday, June 6, 2023

[DMANET] Call For Participation HIGHLIGHTS 2023 - Registration deadline 29 June

CALL FOR PARTICIPATION: HIGHLIGHTS OF LOGIC, GAMES, AND AUTOMATA (Kassel,
Germany, 24 — 28 July 2023) IMPORTANT

- Registration is free, but mandatory *before June 29*. Registration
link: https://highlights-conference.org/2023/register
- The list of accepted presentations is now online:
https://highlights-conference.org/2023/accepted
- You can register to the *chat of HIGHLIGHTS*:
https://highlights-conference.org/2023/zulip, even if you do not plan to
participate in the event itself.
- Consider participating in the *Highlights Collaborative Research Week*
(HCRW) <https://highlights-conference.org/2023/hcrw>
- Consider participating in the *Highlights Extended Stay Support Scheme*
(HESSS) <https://highlights-conference.org/2023/hesss>

Key information

The 2023 edition of Highlights is scheduled *from July 24 to July 28, 2023*
at the Campus Center of the *University of Kassel, Germany*. Monday *July
24* is the tutorial day.

Some online attendance will be made possible.

The main conference will be preceded by the *Highlights Collaborative
Research Week (HCRW), from July 17 to July 23, 2023* at the Faculty of
Electrical Engineering and Computer Science of the University of Kassel.

Website: https://highlights-conference.org/2023/
PARTICIPATION IN THE HIGHLIGHTS' COLLABORATIVE RESEARCH WEEK

>From *July 17 to July 23* the Faculty of Electrical Engineering and
Computer Science of the University of Kassel will be open. Participants
will be able to meet, to exchange, and to work together. Participants are
welcome to organise the activities they want.

For participating, just mention it during the registration process, and
register to the HCRW stream in the zulip chat. This is the place where the
activities during the week will be organised. You can declare there what
are your centers of interests, what topic you would be happy to work on
with other participants, or what activities you would like to participate
too.
MODALITIES OF ATTENDANCE

*HIGHLIGHTS'23* 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.

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 Kassel and around.

Further information about the venue, visa requirements and a list of
related scientific activities can be found in the webpage:
https://highlights-conference.org/2023/cfp

**********************************************************
*
* 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/
*
**********************************************************