I am attending <a href="https://highlights-conference.org/2022/">Highlights of Logic, Games and Automata</a>. I will be talking about our work on program synthesis as dependency quantified formulas. Also, looking forward to visit Pierre Marquis and Daniel Le Berre as a part of Highlights Extended Stay Program.