The next edition of the *Highlights of Logic, Games and Automata*
conference will be held at the* TU Vienna, Austria*, from the *7th to the
11th of September 2026*.
Highlights's *Collaborative Research Week (CReW)* will happen the week
after the Highlights conference: from *14th to 18th September, in Vienna*.
This week offers Highlights' participants the opportunity to extend their
stay to collaborate with fellow researchers from the community. It aims to
foster meaningful research activities and provide an engaging environment
for interactions.
Highlights is an annual conference with the goal of integrating the
community of researchers working on logic, games and automata. 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.
Further information will be posted on the webpage:
https://highlights-conference.org.
**********************************************************
*
* 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
