Chair. 12th International Workshop on User Interfaces for Theorem Provers (UITP 2018) at FLOC 2018.
Program Chair. 9th International Conference on the Theory and Application of Diagrams (Diagrams 2016).
Conference Chair. 6th International Conference on the Theory and Application of Diagrams (Diagrams 2010).
Organiser. PhD Programme at International Conferences on Intelligent Computer Mathematics (CICM 2008: MKM + AISC + Calculemus).
Organiser. Careers workshop "Women in Computing Research" at 2005 International Joint Conference on Artificial Intelligence (IJCAI 2005).
Local Chair. 3rd International Conference on the Theory and Application of Diagrams (Diagrams 2004).
Workshop and Tutorial Chair. 18th International Conference on Automated Deduction (CADE-18), part of Federated Logic Conference (FLOC 2002).
Organiser. Symposium on Diagrammatic Reasoning, Automated Reasoning Workshop at the Conference on Artificial Intelligence and the Simulation of Behaviour (AISB 1999).
Membership of International Programme Committees
International Joint Conference on Artificial Intelligence (IJCAI 2019). Senior Programme Committee member.
International Conference on Intelligent Computer Mathematics (CICM 2019, 2018, 2017, 2016, 2014, 2012, 2010, 2009, 2008, 2007).
International Conference on Conceptual Structures (ICCS 2019, 2018, 2016).
International Conference on the Theory and Application of
Diagrams (Diagrams 2018, 2016, 2014, 2012, 2010, 2008, 2006, 2004, 2002, 2000).
Global Conference on Artificial Intelligence (GCAI 2018, 2017).
International Workshop on Set Visualization and Reasoning (SetVR 2018, 2016, ED 2014, ED 2012).
International Workshop on User Interfaces for Theorem Provers (UITP 2018, 2016, 2014).
CADE Workshop on Empirically Successful Automated Reasoning with AI (ESARAI 2013).
Visualization and Reasoning with Euler Diagrams (VRED 2013).
International Workshop on Similarity and Analogy-based Methods in AI (SAMAI 2012).
Visual Representations and Reasoning Workshop at International AAAI Conference (AAAI 2010).
International Workshop on Visual Languages and Logic (VLL 2009, 2007).
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005, 2002).
International Conference on Automated Deduction (CADE 2002), part of Federated Logic Conference (FLOC 2002).
Other Appointments and Affiliations
Mark Foundation Institute for Integrated Cancer Medicine. Management committee member since 2018.
Athena Forum. Member representing the BCS, The Chartered Institute for IT, since 2016.
CPHC/BCS Distinguished Dissertation committee. Member since 2016.
BCS Academy group for Women in Computing Research. Member since 2015.
EPSRC Peer Review College. Member 2002-2012.
women@CL national network project. Founder. Director 2003-2014.
Biennial International Conference Series on the Theory and Application of Diagrams. Steering Committee member since 2004.
Annual series of Workshops on Automated Reasoning: Bridging the Gap between Theory and Practice. Organising Committee member since 2005.
AAAI - The American Association for Artificial Intelligence. Member.
AISB - The Society for the Study of Artificial Intelligence and the Simulation of Behaviour. Member.