{"id":13,"date":"2012-01-05T21:10:07","date_gmt":"2012-01-05T21:10:07","guid":{"rendered":"http:\/\/bertiemuller.wordpress.com\/?page_id=13"},"modified":"2026-01-22T20:00:50","modified_gmt":"2026-01-22T20:00:50","slug":"organisation-reviewing-and-committee-membership","status":"publish","type":"page","link":"http:\/\/va7.myqnapcloud.com\/WordPress\/organisation-reviewing-and-committee-membership\/","title":{"rendered":"Activities"},"content":{"rendered":"<p><strong>Events<\/strong><\/p>\n<ul>\n<li><strong> Artificial Intelligence for a Sustainable Economy<\/strong>, Tunis, Tunisia \u2013<i>\u00a0<\/i>organised in collaboration with the Foreign, Commonwealth &amp; Development Office (FCDO), 16\/17 April 2024.<\/li>\n<\/ul>\n<p><strong>Advisory Board Membership and Strategic Leadership Roles<\/strong><\/p>\n<ul>\n<li><span style=\"font-weight: 400;\">Chair of the Society for the Study of Artificial Intelligence an Simulation of Behaviour &#8211; AISB \u00a0(2014 &#8211; ) <\/span><span style=\"font-weight: 400;\"><a href=\"http:\/\/aisb.org.uk\/\">http:\/\/aisb.org.uk<\/a><\/span><\/li>\n<li>UK-Tunisia Commission for Higher Education and Scientific Research (2024 &#8211; ) Foreign, Commonwealth and Development Office in conjunction with \u00a0R\u00e9publique Tunisienne &#8211; Minist\u00e8re de L&#8217;Enseignement Sup\u00e9rieur et de la Recherch\u00e9 Scientifique, British Embassy Tunis, and the British Council.<\/li>\n<li>Advisory on BS 30440: A Validation Framework for the use of AI in Healthcare (2022)<\/li>\n<li>Expert advisor to the Welsh Government Panel: Review of Digital Innovation for the Economy and the Future of Work in Wales (2018 &#8211; 2020) <a href=\"https:\/\/beta.gov.wales\/review-digital-innovation-economy-and-future-work-wales\">https:\/\/beta.gov.wales\/review-digital-innovation-economy-and-future-work-wales<\/a><\/li>\n<li>Member of the advisory board The International AIQT Foundation &#8211; INAIQT (2020 \u2013 )\u00a0<a href=\"https:\/\/www.inaiqt.com\">https:\/\/www.inaiqt.com<\/a><\/li>\n<li>Member of the advisory board Techerati\/Big Data World (2018 \u2013 )<\/li>\n<li>Expert advisor to the AI Global Governance Commission (2018\/2019 ) <a href=\"https:\/\/www.aiglobalgovernance.org\/\">https:\/\/www.aiglobalgovernance.org<\/a><\/li>\n<li>Wales Regional Co-Lead of the DEMON network for the application of data science and AI to dementia research (2020-2022)<\/li>\n<\/ul>\n<p><strong>Editorship<\/strong><\/p>\n<ul>\n<li>Associate Editor of the journal Connection Science.<\/li>\n<li>Special issue of Fundamenta Informaticae (IOS Press) co-edited with Melvin Fitting:\u00a0Fundamenta Informaticae 130 (2014), IOS Press. Logics, Agents, and Mobility. Extended Papers from the International Workshops LAM\u201910 and LAM\u201911.<\/li>\n<\/ul>\n<p><strong>Recent Grants &amp; Consultancy<\/strong><\/p>\n<ul>\n<li>Evaluation for Artificial Intelligence (AI) in Health and Care Award: Technology Specific Evaluation Team (TSET), 2021-2024 (M\u00fcller, Porcheron, Roach)<\/li>\n<li>Evaluation for Artificial Intelligence (AI) in Health and Care Award: Technology Specific Evaluation Team (TSET), 2021-2024 (M\u00fcller, Porcheron, Roach)<\/li>\n<li>Home Office\/Adam Smith international &#8211; THE GLOBAL DELIVERY PROGRAMME, 2020\/21<\/li>\n<li>Higher Education Funding Council for Wales &#8211; GLOBAL CHALLENGES RESEARCH FUND, 2020\/21<\/li>\n<li>EPSRC &#8211; Impact &amp; Acceleration &#8211; AI Forum for Wales, 2018\/2019<\/li>\n<\/ul>\n<p><strong>Peer\u00a0Reviewing for the European Commission<\/strong><\/p>\n<ul>\n<li>algo:aware,\u00a0Raising awareness on algorithms,\u00a0Procured by the European Commission\u2019s Directorate-General for Communications Networks,<br \/>\nContent and Technology.\u00a0State-of-the-Art Report | Algorithmic decision-making<\/li>\n<\/ul>\n<p><strong>Evaluation of Proposals for Research Councils<\/strong><\/p>\n<ul>\n<li>Cyprus Research &amp; Innovation Foundation (RIF), 2024<\/li>\n<li>Cyprus Research Promotion Foundation (RPF), 2018<\/li>\n<li>Engineering and Physical Sciences Research Council (EPSRC), 2017<\/li>\n<li>Dutch National Research Council, 2016<\/li>\n<\/ul>\n<p><strong>Refereeing for Journals and Conferences (selection)<\/strong><\/p>\n<ul>\n<li>Design Science \u2013 Cambridge University Press<\/li>\n<li>AI and Ethics \u2013 Springer Nature<\/li>\n<li>Theoretical Computer Science \u2013 Elsevier<\/li>\n<li>Journal of Logic and Computation<\/li>\n<li>Information and Computation \u2013 International Journal<\/li>\n<li>SMC \u2013 IEEE Transactions on Systems, Man, and Cybernetics<\/li>\n<li>Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)<\/li>\n<li>FOSSACS 2011 \u2013 Foundations of Software Science and Computation Structures<\/li>\n<li>CSL\u201909 \u2013 Computer Science Logic<\/li>\n<li>FAW 2009 \u2013 Frontiers of Algorithmics<\/li>\n<li>Discrete Event Dynamic Systems \u2013 International Journal<\/li>\n<li>PNSE\u201909 \u2013 International Workshop on Petri Nets and Software Engineering<\/li>\n<li>AAMAS 2009 \u2013 International Joint Conference on Autonomous Agents and Multi-Agent Systems<\/li>\n<li>PNTAP&#8217;08 \u2013 International Workshop on Petri Nets, Tools, and Applications<\/li>\n<li>ESSLII-LAM\u201908 \u2013 International Workshop on Logics for Agents and Mobility<\/li>\n<li>ECAI 2008 \u2013 European Conference on Artificial Intelligence<\/li>\n<li>AAMAS 2008 \u2013 International Joint Conference on Autonomous Agents and Multi-Agent Systems<\/li>\n<\/ul>\n<p><strong>Programme Committee Memberships<\/strong><\/p>\n<ul>\n<li>International Workshop on Petri Nets for Adaptive Systems (PNAS\u201926)<\/li>\n<li>Superintelligence 2026<\/li>\n<li>IJCAI-ECAI 2026 \u2013 35th International Joint Conference on Artificial Intelligence<\/li>\n<li>Superintelligence 2025<\/li>\n<li>ECAI 2025 \u2013 28th European Conference on Artificial Intelligence<\/li>\n<li>IJCAI 2025 \u2013 34th International Joint Conference on Artificial Intelligence<\/li>\n<li>General PC Chair, AISB 2025<\/li>\n<li>IJCAI 2024 \u2013 33rd International Joint Conference on Artificial Intelligence<\/li>\n<li>IJCAI 2023 \u2013 32nd International Joint Conference on Artificial Intelligence<\/li>\n<li>IJCAI-ECAI 2022 \u2013 31st International Joint Conference on Artificial Intelligence<\/li>\n<li>SIMULTECH 2021 \u2013 11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications<\/li>\n<li>CUI 2021 \u2013 Conversational User Interfaces 2021<\/li>\n<li>IJCAI 2021 \u2013 30th International Joint Conference on Artificial Intelligence<\/li>\n<li>SIMULTECH 2020 \u2013 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications<\/li>\n<li>SIMULTECH 2019 \u2013 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications<\/li>\n<li>SIMULTECH 2018 \u2013 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications<\/li>\n<li>PeMod&#8217;18 \u2013\u00a0International Workshop on Petri Nets and Modeling<\/li>\n<li>PNSE\u201917 \u2013 International Workshop on Petri Nets and Software Engineering 2016<\/li>\n<li>SIMULTECH 2017 \u2013 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications<\/li>\n<li>PNSE\u201916 \u2013 International Workshop on Petri Nets and Software Engineering 2016<\/li>\n<li>SIMULTECH 2016 \u2013 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications<\/li>\n<li>PNSE\u201915 \u2013 International Workshop on Petri Nets and Software Engineering 2015<\/li>\n<li>PAAMS&#8217;15 \u2013\u00a013th Conference on Practical Applications of Agents and Multi-Agent Systems<\/li>\n<li>RDA2ETHICS 2015 \u2013\u00a02nd Workshop on Rights, Duties and Ethics of Autonomous Agents<\/li>\n<li>PNSE&#8217;14 \u2013 International Workshop on Petri Nets and Software Engineering 2014<\/li>\n<li>ModBE&#8217;13 \u2013 Modeling and Business Environments 2013<\/li>\n<li>CompoNet 2012 \u2013 Petri Nets Compositions<\/li>\n<li>LAM\u201912 \u2013 International Workshop on Logics, Agents, and Mobility<\/li>\n<li>PNSE&#8217;12 \u2013 International Workshop on Petri Nets and Software Engineering 2012<\/li>\n<li>CompoNet 2011 \u2013 Petri Nets Compositions<\/li>\n<li>LAM\u201911 \u2013 International Workshop on Logics, Agents, and Mobility<\/li>\n<li>PNSE\u201910 \u2013 International Workshop on Petri Nets and Software Engineering<\/li>\n<li>ProMAS\u201910 \u2013 International Workshop on Programming of Multi Agent Systems<\/li>\n<li>LAM\u201910 \u2013 International Workshop on Logics, Agents, and Mobility<\/li>\n<li>MSVVEIS\u201910 \u2013 Workshop on Modelling, Simulation, Verification and Validation<\/li>\n<li>ICAART\u201910 \u2013 International Conference on Agents and Artificial Intelligence<\/li>\n<li>MOCA\u201909 \u2013 International Workshop on Modelling of Objects, Components, and Agents<\/li>\n<li>OrgMod&#8217;09 \u2013 International Workshop on Organizational Modeling<\/li>\n<li>MSVVEIS 2009 \u2013 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems<\/li>\n<li>LAM\u201909 \u2013 International Workshop on Logics for Agents and Mobility<\/li>\n<li>ProMAS\u201909 \u2013 International Workshop on Programming Multi-Agent Systems<\/li>\n<li>AAMAS 2009 \u2013 International Joint Conference on Autonomous Agents and Multi-Agent Systems<\/li>\n<li>PNSE\u201909 \u2013 International Workshop on Petri Nets and Software Engineering<\/li>\n<li>ICAART 2009 \u2013 International Conference on Agents and Artificial Intelligence<\/li>\n<li>ESSLII-LAM\u201908 \u2013 International Workshop on Logics for Agents and Mobility<\/li>\n<li>EASSS \u2013 10th European Agent Systems Summer School Student Session<\/li>\n<li>PNTAP&#8217;08 \u2013 International Workshop on Petri Nets Tools and APplications<\/li>\n<li>AAMAS 2008 \u2013 International Joint Conference on Autonomous Agents and Multi-Agent Systems<\/li>\n<\/ul>\n<p><strong>Refereeing for Journals and Conferences (prior to 2008)<\/strong><\/p>\n<ul>\n<li>IAT\u201907 \u2013 IEEE \/ WIC \/ ACM International Conference on Intelligent Agent Technology<\/li>\n<li>AAMAS 2007 \u2013 International Joint Conference on Autonomous Agents and Multi-Agent Systems<\/li>\n<li>DALT 2007 \u2013 International Workshop on Declarative Agent Languages and Technologies<\/li>\n<li>Fundamenta Informaticae \u2013 International Journal<\/li>\n<li>iFM 2007 \u2013 Integrated Formal Methods<\/li>\n<li>JBCS SEAS 2006 \u2013 special issue on Software Engineering for Multi-Agent Systems of the JBCS<\/li>\n<li>CS&amp;P\u201906 \u2013 International Workshop on Concurrency, Specification, and Programming<\/li>\n<li>WS-FM\u201906 \u2013 International Workshop on Web Services and Formal Methods<\/li>\n<li>RTA\u201906 \u2013 International Conference on Rewriting Techniques and Applications<\/li>\n<li>ICATPN\u201906 \u2013 International Conference on the Application and Theory of Petri Nets<\/li>\n<li>AMAST \u2013 International Conference on Algebraic Methodology And Software Technology<\/li>\n<li>ICATPN \u2013 International Conference on the Application and Theory of Petri Nets<\/li>\n<li>IJFCS \u2013 International Journal of Foundations of Computer Science<\/li>\n<li>TPLP \u2013 Journal on the Theory and Practice of Logic Programming<\/li>\n<li>FOSSAC \u2013 Foundations of Software Science and Computation Structures<\/li>\n<li>FST-TCS \u2013 Conference on Foundations of Software Technology and Theoretical Computer Science<\/li>\n<li>Fundamenta Informaticae \u2013 International Journal<\/li>\n<li>MOCA \u2013 International Workshop on Modelling of Objects, Components, and Agents<\/li>\n<li>CIAA \u2013 International Conference on Implementation and Application of Automata<\/li>\n<li>RTA \u2013 International Conference on Rewriting Techniques and Applications<\/li>\n<li>CS&amp;P \u2013 International Workshop on Concurrency, Specification, and Programming<\/li>\n<\/ul>\n<p><strong>Other Committee Memberships<\/strong><\/p>\n<ul>\n<li>AISB \u2013 The Society for the Study of Artificial Intelligence and Simulation of Behaviour (Chair)<\/li>\n<li>Board of Patrons \u2013 Big Data World \/ Techerati<\/li>\n<\/ul>\n<p><strong>Membership in other Bodies<\/strong><\/p>\n<ul>\n<li>AISB \u2013 The Society for the Study of Artificial Intelligence and Simulation of Behaviour (Chair &amp; Director)<\/li>\n<li>ASL \u2013 Association for Symbolic Logic<\/li>\n<li>BCS \u2013 British Computer Society<\/li>\n<li>CIE &#8211; Computability in Europe<\/li>\n<li>LMS &#8211; London Mathematical Society<\/li>\n<\/ul>\n<p><strong>Organisation of Workshops and Conferences<\/strong><\/p>\n<ul>\n<li>Co-Organiser of XTAI 2026 &#8211; AISB Symposium on Explainability and Transparency in AI<\/li>\n<li>Organiser and PC chair of AISB 2023<\/li>\n<li>Co-Organiser of XTAI 2022 &#8211; AISB Workshop on Explainability and Transparency in AI<\/li>\n<li>Organiser and PC chair of LAM\u201912 (Logics, Agents and Mobility, International Workshop at Petri Nets 2012)<\/li>\n<li>Organiser and PC co-chair of LAM\u201911 (Logics, Agents and Mobility, International Workshop at CONCUR 2011)<\/li>\n<li>Organiser and PC chair of LAM\u201910 (Logics, Agents and Mobility, International Workshop at LICS 2010)<\/li>\n<li>Organiser and PC chair of LAM\u201909 (Logics for Agents and Mobility, International Workshop at LICS 2009)<\/li>\n<li>Organiser and PC chair of LAM\u201908 (Logics for Agents and Mobility, International Workshop at ESSLLI 2008)<\/li>\n<li>Member of the Organising Committee of EASSS 2007<\/li>\n<li>Member of the Organising Committee of MALLOW 2007<\/li>\n<li>Organiser of the Workshop on Analysing Security Protocols (WASP\u201904)<\/li>\n<li>Member of the Organising Team of the international workshop Petri Nets in System Engineering (PNSE\u201997).<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Events Artificial Intelligence for a Sustainable Economy, Tunis, Tunisia \u2013\u00a0organised in collaboration with the Foreign, Commonwealth &amp; 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 &#8211; AISB \u00a0(2014 &#8211; ) http:\/\/aisb.org.uk UK-Tunisia Commission for Higher Education &#8230; <a title=\"Activities\" class=\"read-more\" href=\"http:\/\/va7.myqnapcloud.com\/WordPress\/organisation-reviewing-and-committee-membership\/\" aria-label=\"Read more about Activities\">Read more<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-13","page","type-page","status-publish"],"_links":{"self":[{"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/pages\/13","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/comments?post=13"}],"version-history":[{"count":19,"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/pages\/13\/revisions"}],"predecessor-version":[{"id":572,"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/pages\/13\/revisions\/572"}],"wp:attachment":[{"href":"http:\/\/va7.myqnapcloud.com\/WordPress\/wp-json\/wp\/v2\/media?parent=13"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}