We are organising the one-day event Learning and Verification on November 15th 2019 at UCL.

We organised with Marta Kwiatkowska and Stephen Roberts the "Summit on Machine Learning Meet Formal Methods" as part of FLOC on July 13th 2018.

We organised the FOPSS summer school on Logic and Learning on July 1st to 6th 2018 in Oxford.

We organised a workshop called Logic and Learning on January 11th and 12th 2018 at the Turing.