Some General Activities

• Secretary of CADE and AAR.
• From 2017 to 2018, I was one of the newsletter editors of the AAR
• Between 2014 and 2018, I was member of the Steering Committee of the SMT Workshop (elected 2014, re-elected 2016)
• Organiser of the SAT/SMT/AR Summer School in 2016