In the week from 16 to 20/09/24, the 12th international conference in the Highlights series, jointly organized with Jewels of Automata Theory (ex AutoMathA), takes place at the LaBRI.
Highlights is the twelfth international conference in the Highlights of Logic, Games and Automata series, aimed at integrating the community working on algorithmic model theory, automata theory, databases, games for logic and verification, logic and verification. Papers in these areas are scattered across many conferences, making them difficult to follow. A visit to the Highlights conference should offer an overview of the latest research in the field and a chance to meet all members of the community, not just those publishing in a particular proceedings volume.
Highlights is an unpublished conference, where speakers briefly present their best work.
Visit the conference website, here.