Conferences:

• JELIA 2016
• IJCAI-16 Workshop on Ethics for Artificial Intelligence
• LAMAS 2016
• Dagstuhl Seminar: Engineering Moral Agents - from Human Morality to Artificial Morality
• JELIA Steering Committee
• Verification and Validation of Autonomous Systems: Ethical, Social and Trustworthy behaviour, 2017
• International Symposium on Artificial Intelligence and Mathematics, 2018

Journal editorial boards:

• Annals of Mathematics and Artificial Intelligence
• Journal of Applied Logic
• Journal of Logic and Computation [Corner Editor]

Committees:

• Robot Safety [British Standards Institution]
• Robot Ethics [British Standards Institution]
• Harwell Robotics and Autonomy Facility
• RoboCalc Advisory Board
• IEEE P7009 Standard