Synthesis over Infinite Domains through Machines with Registers @ Journées GT Vérif 2021 (Invited talk)

I have been invited to give a talk at the Journées du GT Vérif, that will take place at ENS Paris Saclay (Gif-sur-Yvette, France) from the 17^th to the 19^th of November 2021. I will be in Paris for the week, do not hesitate to contact me if you want to meet at this occasion. The event simultaneously happens online, so you can also follow the talk via Zoom.