<div dir="ltr">********************************************************<br><br>HIGHLIGHTS 2021: 9th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA<br><br>15-17 September 2021, Aachen (but most probably online)<br><a href="http://highlights-conference.org/" target="_blank">http://highlights-conference.org</a><br><br>We invite submissions <span class="gmail-il">for</span> contributed talks (around 10 minutes).<br><br>IMPORTANT DATES:<br>+ Submission deadline: 4 JUNE, 7pm GMT<br>+ Notification:               18 JUNE, 7pm GMT<br><br>Submission instructions and more detailed information about the conference to be found at<br><a href="http://highlights-conference.org/" target="_blank">http://highlights-conference.org</a><br><br>********************************************************<br><br>HIGHLIGHTS 2021 is the 9th conference on Highlights of Logic, Games, and Automata that aims to integrate the diverse research community working in the areas of Logic, Finite Model Theory, Automata Theory, Games 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.<br><br>There will be a tutorial day (14 September) and three days <span class="gmail-il">for</span> the conference (15-17 September).<br>This year's edition will be most probably held online, with no registration fees.<br><br>TUTORIAL (September 14)<br>+ Christoph Haase<br>+ Michał Pilipczuk<br><br>KEYNOTES<br>+ Rajeev Alur<br>+ Balder ten Cate<br>+ Karoliina Lehtinen<br>+ Nutan Limaye<br>+ Joel Ouaknine<br><div><br></div></div>