Highlights 2016 The Fourth International Conference on Highlights of Logic, Games and Automata, Brussels, 6-9/09/2016

Date(s) - 06/09/2016 - 09/09/2016
All Day



The Highlights conference aims at integrating the community working on logic, com-
putational game theory, automata and formal methods. These are fundamental
areas of theoretical computer science with important applications in the design and
veri cation of complex systems. Nevertheless, contributions to these topics are dispersed
across many conferences, which makes them dicult to follow. Highlights (whose
rst edition was held in 2013 in Paris), brings together researchers from these elds,
which have very di erent publication cultures. Highlights was built on the European
research and training programme GAMES (2002-2013), on the design and veri cation
of computing systems on the basis of nite and in nite games, mathematical logic and
automata theory.


Organizers: Véronique Bruyère (UMONS) and Emmanuel Filiot (ULB)

Leave a Reply

Your email address will not be published. Required fields are marked *