I gave an invited talk on neuro-symbolic program synthesis at the USCKI symposium “Neuro ∧ Symbolic ⇒ AI” in Utrecht, alongside invited talks by Luc de Raedt and Emile van Krieken.