Colloque Highlights - LaBRI (original) (raw)

16.09.2024

La semaine du 16 au 20/09/24, se déroule, au LaBRI, la 12ème conférence internationale de la série Highlights, conjointement organisée avec Jewels of Automata Theory (ex AutoMathA).

Highlights est la douzième conférence internationale de la série Highlights of Logic, Games and Automata, visant à intégrer la communauté travaillant sur la théorie des modèles algorithmiques, la théorie des automates, les bases de données, les jeux pour la logique et la vérification, la logique et la vérification. Les communications dans ces domaines sont dispersées dans de nombreuses conférences, ce qui les rend difficiles à suivre. Une visite à la conférence Highlights devrait offrir une vue d'ensemble des dernières recherches dans le domaine et une chance de rencontrer tous les membres de la communauté, et pas seulement ceux qui publient dans un volume d'actes particulier.
Highlights est une conférence sans publication, où les orateurs présentent brièvement leurs meilleurs travaux.

Consulter le site de la conférence, ici.