HIGHLIGHTS 2020: 8th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 15-18 September 2020, Online http://highlights-conference.org Call for Contributed Presentations Deadline: 19 June 5pm GMT SUBMISSION SERVER: https://easychair.org/conferences/?conf=highlights2020 ================================================ HIGHLIGHTS 2020 is the 8th 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. Participating in 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 15 to 18 September). The participation costs are modest (zero) and the location is easy to reach (your office). The Contributed Presentations will be around ten minutes long. TUTORIAL (September 15) Two tutorials of 3 hours each: + Laure Daviaud, Probabilistic Automata, + Uri Zwick, Algorithms for Turn-based Stochastic games. KEYNOTES + Michael Benedikt + Stéphane Demri + Mehryar Mohri + Anca Muscholl