Date/Time
Date(s) - 05/09/2016 - 08/09/2016
All Day
Location
ULB
Categories
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.
website: http://highlights-conference.org
Organizers: Véronique Bruyère (UMONS) and Emmanuel Filiot (ULB)