Highlights of Logic, Games and Automata Current Edition 2024 2023 2022 2021 2020 2019 2018 2017 2016 2014 2013 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
Just like other conferences in the field, Highlights proposes tutorials and invited talks. The contributed talks are short, allowing participants to get an overview of a wide range of different topics in a short amount of time. Additionally, authors are encouraged to prepare posters about their work, which are then presented and discussed in poster sessions. There are no publications.
Highlights takes place on-site, and the preferred form of participation is to give a talk in person. However, we encourage participants to review how their trip to the conference is contributing to climate change.
Antoine Amarilli's website