Mateja Jamnik

Researcher in Artificial Intelligence

Professional Activities

Conference and Workshop Organization

  • 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 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 2017).
  • International Conference on Conceptual Structures (ICCS 2016).
  • International Conference on Intelligent Computer Mathematics (CICM 2017, 2016, 2014, 2012, 2010, 2009, 2008, 2007).
  • International Workshop on Set Visualization and Reasoning (SetVR 2016, ED 2014, ED 2012).
  • International Workshop on User Interfaces for Theorem Provers (UITP 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

  • CPHC/BCS Distinguished Dissertation committee. Member since 2016.
  • BCS Academy group for Women in Computing Research. Member since 2015.
  • AAAI -- The American association for artificial intelligence. Member.
  • AISB -- The society for the study of artificial intelligence and the simulation of behaviour. Member.
  • EPSRC Peer Review College. Member 2002-2012.
  • women@CL national network project. Founder and Director since 2003.
  • 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.