Activities

Events

  • Artificial Intelligence for a Sustainable Economy, Tunis, Tunisia – organised in collaboration with the Foreign, Commonwealth & Development Office (FCDO), 16/17 April 2024.

Advisory Board Membership and Strategic Leadership Roles

  • Chair of the Society for the Study of Artificial Intelligence an Simulation of Behaviour – AISB  (2014 – ) http://aisb.org.uk
  • Advisory on BS 30440: A Validation Framework for the use of AI in Healthcare (2022)
  • Expert advisor to the Welsh Government Panel: Review of Digital Innovation for the Economy and the Future of Work in Wales (2018 – 2020) https://beta.gov.wales/review-digital-innovation-economy-and-future-work-wales
  • Member of the advisory board The International AIQT Foundation – INAIQT (2020 – ) https://www.inaiqt.com
  • Member of the advisory board Techerati/Big Data World (2018 – )
  • Expert advisor to the AI Global Governance Commission (2018/2019 ) https://www.aiglobalgovernance.org
  • Wales Regional Co-Lead of the DEMON network for the application of data science and AI to dementia research (2020-2022)

Editorship

  • Associate Editor of the journal Connection Science.
  • Special issue of Fundamenta Informaticae (IOS Press) co-edited with Melvin Fitting: Fundamenta Informaticae 130 (2014), IOS Press. Logics, Agents, and Mobility. Extended Papers from the International Workshops LAM’10 and LAM’11.

Recent Grants & Consultancy

  • Evaluation for Artificial Intelligence (AI) in Health and Care Award: Technology Specific Evaluation Team (TSET), 2021-2024 (Müller, Porcheron, Roach)
  • Evaluation for Artificial Intelligence (AI) in Health and Care Award: Technology Specific Evaluation Team (TSET), 2021-2024 (Müller, Porcheron, Roach)
  • Home Office/Adam Smith international – THE GLOBAL DELIVERY PROGRAMME, 2020/21
  • Higher Education Funding Council for Wales – GLOBAL CHALLENGES RESEARCH FUND, 2020/21
  • EPSRC – Impact & Acceleration – AI Forum for Wales, 2018/2019

Peer Reviewing for the European Commission

  • algo:aware, Raising awareness on algorithms, Procured by the European Commission’s Directorate-General for Communications Networks,
    Content and Technology. State-of-the-Art Report | Algorithmic decision-making

Evaluation of Proposals for Research Councils

  • Cyprus Research Promotion Foundation (RPF), 2018
  • Engineering and Physical Sciences Research Council (EPSRC), 2017
  • Dutch National Research Council, 2016

Refereeing for Journals and Conferences (selection)

  • Design Science – Cambridge University Press
  • AI and Ethics – Springer Nature
  • Theoretical Computer Science – Elsevier
  • Journal of Logic and Computation
  • Information and Computation – International Journal
  • SMC – IEEE Transactions on Systems, Man, and Cybernetics
  • Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)
  • FOSSACS 2011 – Foundations of Software Science and Computation Structures
  • CSL’09 – Computer Science Logic
  • FAW 2009 – Frontiers of Algorithmics
  • Discrete Event Dynamic Systems – International Journal
  • PNSE’09 – International Workshop on Petri Nets and Software Engineering
  • AAMAS 2009 – International Joint Conference on Autonomous Agents and Multi-Agent Systems
  • PNTAP’08 – International Workshop on Petri Nets, Tools, and Applications
  • ESSLII-LAM’08 – International Workshop on Logics for Agents and Mobility
  • ECAI 2008 – European Conference on Artificial Intelligence
  • AAMAS 2008 – International Joint Conference on Autonomous Agents and Multi-Agent Systems

Programme Committee Memberships

  • IJCAI 2024 – 33rd International Joint Conference on Artificial Intelligence
  • IJCAI 2023 – 32nd International Joint Conference on Artificial Intelligence
  • IJCAI-ECAI 2022 – 31st International Joint Conference on Artificial Intelligence
  • SIMULTECH 2021 – 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
  • CUI 2021 – Conversational User Interfaces 2021
  • IJCAI 2021 – 30th International Joint Conference on Artificial Intelligence
  • SIMULTECH 2020 – 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
  • SIMULTECH 2019 – 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
  • SIMULTECH 2018 – 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
  • PeMod’18 – International Workshop on Petri Nets and Modeling
  • PNSE’17 – International Workshop on Petri Nets and Software Engineering 2016
  • SIMULTECH 2017 – 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
  • PNSE’16 – International Workshop on Petri Nets and Software Engineering 2016
  • SIMULTECH 2016 – 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
  • PNSE’15 – International Workshop on Petri Nets and Software Engineering 2015
  • PAAMS’15 – 13th Conference on Practical Applications of Agents and Multi-Agent Systems
  • RDA2ETHICS 2015 – 2nd Workshop on Rights, Duties and Ethics of Autonomous Agents
  • PNSE’14 – International Workshop on Petri Nets and Software Engineering 2014
  • ModBE’13 – Modeling and Business Environments 2013
  • CompoNet 2012 – Petri Nets Compositions
  • LAM’12 – International Workshop on Logics, Agents, and Mobility
  • PNSE’12 – International Workshop on Petri Nets and Software Engineering 2012
  • CompoNet 2011 – Petri Nets Compositions
  • LAM’11 – International Workshop on Logics, Agents, and Mobility
  • PNSE’10 – International Workshop on Petri Nets and Software Engineering
  • ProMAS’10 – International Workshop on Programming of Multi Agent Systems
  • LAM’10 – International Workshop on Logics, Agents, and Mobility
  • MSVVEIS’10 – Workshop on Modelling, Simulation, Verification and Validation
  • ICAART’10 – International Conference on Agents and Artificial Intelligence
  • MOCA’09 – International Workshop on Modelling of Objects, Components, and Agents
  • OrgMod’09 – International Workshop on Organizational Modeling
  • MSVVEIS 2009 – 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
  • LAM’09 – International Workshop on Logics for Agents and Mobility
  • ProMAS’09 – International Workshop on Programming Multi-Agent Systems
  • AAMAS 2009 – International Joint Conference on Autonomous Agents and Multi-Agent Systems
  • PNSE’09 – International Workshop on Petri Nets and Software Engineering
  • ICAART 2009 – International Conference on Agents and Artificial Intelligence
  • ESSLII-LAM’08 – International Workshop on Logics for Agents and Mobility
  • EASSS – 10th European Agent Systems Summer School Student Session
  • PNTAP’08 – International Workshop on Petri Nets Tools and APplications
  • AAMAS 2008 – International Joint Conference on Autonomous Agents and Multi-Agent Systems

Refereeing for Journals and Conferences (prior to 2008)

  • IAT’07 – IEEE / WIC / ACM International Conference on Intelligent Agent Technology
  • AAMAS 2007 – International Joint Conference on Autonomous Agents and Multi-Agent Systems
  • DALT 2007 – International Workshop on Declarative Agent Languages and Technologies
  • Fundamenta Informaticae – International Journal
  • iFM 2007 – Integrated Formal Methods
  • JBCS SEAS 2006 – special issue on Software Engineering for Multi-Agent Systems of the JBCS
  • CS&P’06 – International Workshop on Concurrency, Specification, and Programming
  • WS-FM’06 – International Workshop on Web Services and Formal Methods
  • RTA’06 – International Conference on Rewriting Techniques and Applications
  • ICATPN’06 – International Conference on the Application and Theory of Petri Nets
  • AMAST – International Conference on Algebraic Methodology And Software Technology
  • ICATPN – International Conference on the Application and Theory of Petri Nets
  • IJFCS – International Journal of Foundations of Computer Science
  • TPLP – Journal on the Theory and Practice of Logic Programming
  • FOSSAC – Foundations of Software Science and Computation Structures
  • FST-TCS – Conference on Foundations of Software Technology and Theoretical Computer Science
  • Fundamenta Informaticae – International Journal
  • MOCA – International Workshop on Modelling of Objects, Components, and Agents
  • CIAA – International Conference on Implementation and Application of Automata
  • RTA – International Conference on Rewriting Techniques and Applications
  • CS&P – International Workshop on Concurrency, Specification, and Programming

Other Committee Memberships

  • AISB – The Society for the Study of Artificial Intelligence and Simulation of Behaviour (Chair)
  • Board of Patrons – Big Data World / Techerati

Membership in other Bodies

  • AISB – The Society for the Study of Artificial Intelligence and Simulation of Behaviour (Chair & Director)
  • ASL – Association for Symbolic Logic
  • BCS – British Computer Society
  • CIE – Computability in Europe
  • LMS – London Mathematical Society

Organisation of Workshops and Conferences

  • Organiser and PC chair of LAM’12 (Logics, Agents and Mobility, International Workshop at Petri Nets 2012)
  • Organiser and PC co-chair of LAM’11 (Logics, Agents and Mobility, International Workshop at CONCUR 2011)
  • Organiser and PC chair of LAM’10 (Logics, Agents and Mobility, International Workshop at LICS 2010)
  • Organiser and PC chair of LAM’09 (Logics for Agents and Mobility, International Workshop at LICS 2009)
  • Organiser and PC chair of LAM’08 (Logics for Agents and Mobility, International Workshop at ESSLLI 2008)
  • Member of the Organising Committee of EASSS 2007
  • Member of the Organising Committee of MALLOW 2007
  • Organiser of the Workshop on Analysing Security Protocols (WASP’04)
  • Member of the Organising Team of the international workshop Petri Nets in System Engineering (PNSE’97).

Leave a comment