Last call for registration for HIGHLIGHTS 2019. REGISTRATION DEADLINE: 31 AUGUST 2019 *************** HIGHLIGHTS 2019: 7th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 17-20 September 2019, Warsaw http://highlights-conference.org COLOCATED EVENT: + School on Nominal Techniques - 3rd School on Foundations of Programming and Software Systems (FOPSS), 10-15 September ================================================ HIGHLIGHTS 2019 is the 7th conference on Highlights of Logic, Games, and Automata that aims to integrate the diverse research community working in the areas of Logic and Finite Model Theory, Automata Theory, and Games for Logic and Verification. Individual papers are dispersed across many conferences, which makes them challenging to follow. A visit to the annual Highlights conference offers a wide picture of the latest research in the field and a chance to meet and interact with most of the members of the research community. The speakers are encouraged to present their best recent work at Highlights, whether already published elsewhere or not. The conference is short (from 18 September to the mid-day on 20 September) and it is preceded by the Highlights Tutorial Day (17 September). The participation costs are modest and Warsaw is easy to reach. Invited Tutorials + Sebastian Siebertz, Nowhere dense graph classes and algorithmic applications + Guy Avni, Formal Methods Meets Algorithmic Game Theory Invited Talks + Dmitry Chistikov, On the complexity of logics over the integers + Marie Fortin, Expressivity of first-order logic and star-free propositional dynamic logic over ordered structures Invited Spotlight Talks Upper and Lower bounds for Reachability in Petri Nets and Vector Addition Systems + Jérôme Leroux + Sylvain Schmitz