From vladana.perlic at telecom-paris.fr Wed Jul 16 09:57:23 2025 From: vladana.perlic at telecom-paris.fr (Vladana Perlic) Date: Wed, 16 Jul 2025 09:57:23 +0200 (CEST) Subject: [Event@CIG] DEADLINE EXTENDED: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025) Message-ID: <981152395.14333017.1752652643740.JavaMail.zimbra@telecom-paris.fr> Conference: 16th - 19th December 2025 Modena, Italy Conference website: https://conferences-website.github.io/prima2025 ------------------------------------------------------------------------------------------------------------------- IMPORTANT DATES Abstract Submission Deadline (EXTENDED): 22 July (AoE, UTC-12) Paper Submission Deadline (EXTENDED): 29 July (AoE, UTC-12) Paper Notification: 29 September 2025 (AoE, UTC-12) Camera Ready Submission: 13 October 2025 (AoE, UTC-12) ------------------------------------------------------------------------------------------------------------------- We invite you to submit your best work on agents and multi-agent systems to PRIMA 2025, the 26th International Conference on Principles and Practice of Multi-Agent Systems, to be held in Modena (Italy) in December 2025. Papers will be submitted through CMT at the link: https://cmt3.research.microsoft.com/PRIMA2025/Submission/Index ------------------------------------------------------------------------------------------------------------------- Awards To recognize outstanding contributions, PRIMA 2025 will have the following awards: Aditya Ghose Best Paper Award ? ?1000 prize Awarded to the best overall paper based on reviewers' scores and program committee discussions. Martin Purvis Student Best Paper Award ? ?500 prize Awarded to the best paper where the lead author is a student, based on the same evaluation criteria. ------------------------------------------------------------------------------------------------------------------- Scope and Background Software systems are rapidly becoming more intelligent in the functionality they offer to users. They are also becoming more decentralized, with components that act autonomously and must communicate among themselves or with human users to achieve their goals. Examples of such systems include those in healthcare, disaster management, e-business, and smart grids. A multi-agent perspective is crucial to the proper conceptualization, deployment, and governance of these systems. Rooted in solid computational and software engineering foundations, this perspective offers abstractions such as intelligent agents, protocols, norms, organizations, trust and incentives, among others. As a large, but still growing research field of artificial intelligence, multi-agent systems today remain a unique enabler of interdisciplinary research. ------------------------------------------------------------------------------------------------------------------- Areas of Interest The conference areas of interest include, but are not limited to: * Logic and Reasoning * Logics of Agency * Logics of Multi-Agent Systems * Logics of Belief and Knowledge * Norms, Obligations, Deontic Logic * Argumentation * Logics and Game Theory * Uncertainty in Agent Systems * Agent and Multi-Agent Learning * Reinforcement Learning * Evolutionary approaches * Machine Learning Problems in Multi-Agent Systems * Agents Embodied with Large Language Models * Engineering Multi-Agent Systems * Agent-Oriented Software Engineering * Interaction Protocols * Formal Specification and Verification * Agent Programming Languages * Middleware and Platforms * Testing, Debugging, and Evolution * Deployed System Case Studies * Agent-Based Modeling and Simulation * Simulation Languages and Platforms * Artificial Societies * Virtual Environments * Emergent Behavior * Modeling System Dynamics * Application Case Studies * Collaboration & Coordination * Multi-Agent Planning * Distributed Problem Solving and Optimization * Teamwork * Coalition Formation * Negotiation * Trust and Reputation * Commitments * Institutions and Organizations * Normative Systems * Algorithmic Game Theory * Auctions and Mechanism Design * Bargaining and Negotiation * Behavioral Game Theory * Cooperative Games: Theory, Analysis, Computation * Game Theory for Practical Applications * Noncooperative Games: Theory, Analysis, Computation * Computational Social Choice * Voting * Fair Division and Resource Allocation * Matching under Preferences * Coalition Formation Games * Aggregation of Beliefs, Opinions, Judgments * Ethics and Computational Social Choice * Participatory Budgeting * Facility Location * Communication Issues in Social Choice, Distortion * Behavioral Social Choice * Human-Agent Interaction * Adaptive Personal Assistants * Embodied Conversational Agents * Virtual Characters * Multimodal User Interfaces * Mobile Agents * Human-Robot Interaction * Affective Computing * Decentralized Paradigms * Cloud Computing * Service-Oriented Computing * Data spaces * Big data * Cybersecurity * Robotics and Multirobot Systems * Ubiquitous Computing * Social Computing * Internet of Things * Edge Computing * Blockchain * Ethics and Social Issues * Explainable Artificial Intelligence * Ethics of AI Systems * Multi-Agent Systems for Social Good * Application Domains for Multi-Agent Systems * Healthcare, Pandemics Management * Autonomous Systems * Transport and Logistics * Emergency and Disaster Management * Energy and Utilities Management * Sustainability and Resource Management * Games and Entertainment * e-Business, e-Government, and e-Learning * Smart Cities * Financial markets * Legal applications * Crowdsourcing ------------------------------------------------------------------------------------------------------------------- Information for Authors PRIMA 2025 invites submissions of original, unpublished work strongly relevant to multi-agent systems. Apart from theoretical work, we encourage the submission of reports on the development of applications or prototypes of deployed agent systems, and of experiments that demonstrate novel agent system capabilities. In addition to this, we also encourage the submission of position papers that are of relevance to the multi-agent community. All submitted papers must be in a form suitable for double-blind review. Specifically, in order to make blind reviewing possible, authors must omit their names and affiliations from the paper. Also, while the references should include all published literature relevant to the paper, including previous work of the authors, it should not include unpublished works. When referring to one's own work, use the third person rather than the first person. For example, say "Previously, Foo and Bar [2] have shown that?", rather than "In our previous work [2], we have shown that?". Such identifying information can be added back to the final camera-ready version of accepted papers. All papers will be reviewed by at least 2-3 experts in the area following a detailed review form that will assess the paper based on the significance and novelty of the idea, the technical description of the proposal, clarity and organization, the evaluation methodology, and any ethical considerations. All accepted papers will be published in Springer's Lecture Notes in Artificial Intelligence series (LNCS/LNAI). All papers must be submitted using the Springer LNCS/LNAI format. Type of submissions: * Full papers, 16 pages plus references * Short papers, 4 pages plus references * Position papers, 2 pages plus references Kind regards, General Chairs: Angelo Ferrando, University of Modena and Reggio Emilia (Italy) Vadim Malvone, T?l?com Paris (France) Program Chairs: Federico Bergenti, University of Parma (Italy) Catalin Dima, Universit? Paris-Est Cr?teil (France) From x.yin20 at imperial.ac.uk Thu Jul 17 22:11:40 2025 From: x.yin20 at imperial.ac.uk (Yin, Xiang) Date: Thu, 17 Jul 2025 20:11:40 +0000 Subject: [Event@CIG] CFP: XloKR-25 Deadline Extended to 31 July Message-ID: [Apologies if you receive multiple copies] ******************************************************************************* CALL FOR PAPERS ******************************************************************************* The 6th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2025) will be held in Melbourne, Australia, between November 11 and 13, 2025, see https://sites.google.com/view/xlokr2025/startseite As in previous years, it will be co-located with KR 2025 (https://kr.org/KR2025). ******************************************************************************* Description ******************************************************************************* Embedded or cyber-physical systems that interact autonomously with the real world, or with users they are supposed to support, must continuously make decisions based on sensor data, user input, knowledge they have acquired during runtime as well as knowledge provided during design-time. To make the behavior of such systems comprehensible, they need to be able to explain their decisions to the user or, after something has gone wrong, to an accident investigator. While systems that use Machine Learning (ML) to interpret sensor data are very fast and usually quite accurate, their decisions are notoriously hard to explain, though huge efforts are currently being made to overcome this problem. In contrast, decisions made by reasoning about symbolically represented knowledge are in principle easy to explain. For example, if the knowledge is represented in (some fragment of) first-order logic, and a decision is made based on the result of a first-order reasoning process, then one can in principle use a formal proof in an appropriate calculus to explain a positive reasoning result, and a counter-model to explain a negative one. In practice, however, things are not so easy also in the symbolic KR setting. For example, proofs and counter-models may be very large, and thus it may be hard to comprehend why they demonstrate a positive or negative reasoning result, in particular for users that are not experts in logic. Thus, to leverage explainability as an advantage of symbolic KR over ML-based approaches, one needs to ensure that explanations can really be given in a way that is comprehensible to different classes of users (from knowledge engineers to laypersons). The problem of explaining why a consequence does or does not follow from a given set of axioms has been considered for full first-order theorem proving since at least 40 years, but there usually with mathematicians as users in mind. In knowledge representation and reasoning, efforts in this direction are more recent, and were usually restricted to sub-areas of KR such as AI planning and description logics. The purpose of this workshop is to bring together researchers from different sub-areas of KR and automated deduction that are working on explainability in their respective fields, with the goal of exchanging experiences and approaches. ******************************************************************************* Topics of Interest ******************************************************************************* A non-exhaustive list of areas to be covered by the workshop are the following: * AI planning * Answer set programming * Argumentation frameworks * Automated reasoning * Causal reasoning * Constraint programming * Description logics * Non-monotonic reasoning * Probabilistic representation and reasoning ******************************************************************************* IMPORTANT DATES ******************************************************************************* Paper submission deadline: July 31, 2025 Notification: August 21, 2025 Workshop date: between November 11-13, 2025 ******************************************************************************* AUTHOR GUIDELINES AND SUBMISSION INFORMATION ******************************************************************************* We invite extended abstracts of 2-5 pages on topics related to explanation in logic-based KR. The papers should be formatted in Springer LNCS Style and can be submitted via EasyChair to https://easychair.org/my/conference?conf=xlokr25 Since the workshop will only have informal proceedings and the main purpose is to exchange results, we welcome not only papers covering unpublished results, but also previous publications that fall within the scope of the workshop. From yang.song1 at unsw.edu.au Fri Jul 18 07:22:47 2025 From: yang.song1 at unsw.edu.au (Yang Song) Date: Fri, 18 Jul 2025 05:22:47 +0000 Subject: [Event@CIG] [Meetings] [CFP] First International Workshop on LLMs and KRR for Trustworthy AI (LMKR-TrustAI 2025) Message-ID: First International Workshop on LLMs and KRR for Trustworthy AI (LMKR-TrustAI 2025) Held in conjunction with KR 2025 Half day, 11-13 November 2025 (TBD) Paper submission: August 4, 2025 Workshop web site: https://sites.google.com/view/lmkr-trustai-2025/home Call for Papers Overview The emergence of large language models (LLMs) has brought significant opportunities for developing scalable and generalisable AI applications more easily. Compared to knowledge representation and reasoning (KRR) methods, LLMs demonstrate remarkable capability in encoding linguistic knowledge, enabling them to generate human-like text and generalise across diverse tasks with minimal domain-specific training. However, LLMs? reliance on statistical patterns rather than explicit reasoning mechanisms raises concerns about factual consistency, logical coherence, vulnerability to hallucinations, bias and misalignment with human values. This workshop focuses on an emerging research paradigm: the integration of LLMs with KRR techniques to enhance transparency, verifiability and robustness in AI systems. We explore approaches that incorporate structured knowledge (ontologies, knowledge graphs, symbolic logic, etc.), neuro-symbolic methods, formal reasoning frameworks and explainability techniques to improve the trustworthiness of LLM-driven decision-making. The workshop will feature invited talks from leading experts, research paper presentations, and interactive discussions on bridging probabilistic learning with symbolic reasoning for trustworthy AI. By bringing together researchers from KRR and deep learning, this workshop aims to foster new collaborations and technical insights to develop AI systems that are both powerful and trustworthy. Topics of interest include but are not limited to: * Knowledge-grounded language models * Hybrid neuro-symbolic architectures * Reasoning-aware prompt engineering * Logical consistency checks in LLM outputs * Uncertainty and automated verification * Causality and reasoning * Explainability and controllability * Commonsense reasoning integrating LLMs and KRR * Reinforcement learning for ensuring safety and trustworthiness * Alignment and preference-guided LLMs * Multi-agent AI frameworks * Benchmarks, datasets and quantitative evaluation metrics * Evaluation and user studies in real-world applications Organising Committee * Maurice Pagnucco, UNSW, Australia * Yang Song, UNSW, Australia Program Committee * Professor Tony Cohn, University of Leeds, UK * Dr Mingming Gong, University of Melbourne, Australia * Professor Gerhard Lakemeyer, RWTH Aachen, Germany * Professor Fangzhen Lin, HKUST, China * Professor Tim Miller, University of Queensland, Australia * Dr Nina Narodytska, VMware Research, USA * Associate Professor Abhaya Nayak, Macquarie University, Australia * Professor Ken Satoh, National Institute of Informatics, Japan * Professor Michael Thielscher, University of New South Wales, Australia * Professor Guy Van den Broeck, UCLA, USA Important Dates Paper submission: August 4, 2025 Paper notification: August 25, 2025 Workshop date and time: Half-day during November 11-13, 2025 (TBD) Submissions Contributions may be regular papers (up to 9 pages) or short/position papers (up to 5 pages), including everything. Submissions should follow the KR 2025 formatting guidelines and be submitted through the submission page. Each submission will be reviewed by at least two program committee members. We also welcome submissions that have recently been accepted in top AI conferences. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Submission link: https://openreview.net/group?id=kr.org/KR/2025/Workshop/LMKR-TrustAI Best regards, Maurice Pagnucco, Yang Song Organisers, KR 2025 Workshop on LLMs and KRR for Trustworthy AI Confidential communication - This email and any files transmitted with it are confidential and are intended solely for the addressee. If you are not the intended recipient, please be advised that you have received this email in error and that any use, dissemination, forwarding, printing, or copying of this email and any file attachments is strictly prohibited. If you have received this email in error, please notify me immediately by return email and destroy this email. From PotykaN at cardiff.ac.uk Fri Jul 18 16:29:47 2025 From: PotykaN at cardiff.ac.uk (Nico Potyka) Date: Fri, 18 Jul 2025 14:29:47 +0000 Subject: [Event@CIG] 2nd CfP: KR 2025 Doctoral Consortium In-Reply-To: References: Message-ID: The 22nd International Conference on Principles of Knowledge Representation and Reasoning, KR 2025 November 11 - November 17, 2025, Melbourne, Australia Co-located with CPAIOR 2025, ICAPS 2025 and NMR 2025. ######################################################### KR 2025 Doctoral Consortium - First Call for Applications ######################################################### The 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) invites PhD students to apply for the Doctoral Consortium program. ** Important Dates *** - Applications deadline: 27 July 2025 (Sunday, AoE) - Acceptance notification: 25 August 2025 (Monday, AoE) - Conference: 11 - 17 November 2025 Several scholarships will be available. Information about scholarships will be announced at a later time at the KR 2025 webpage. ** Aims and Scope *** The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: -to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; -to promote contacts among PhD students working in similar areas; -to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but we also encourage students to apply who are at an earlier or more advanced stage of the completion of their thesis. Accepted students will participate in several dedicated DC events, which will likely consist of - a lightning talk session, - a poster session, where student present their posters, and - a mentoring session. The precise format of the DC will be finalized closer to the conference. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. *** Application Submission *** Applications must be submitted through the CMT conference system: ??????https://easychair.org/conferences/?conf=kr2025 Each application must contain the following elements combined into a single PDF document: 1. DC paper. A description of a problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It is up to the student which of these points is emphasised most. The maximum number of pages is four (bibliography included), and the same style as for KR paper submissions should be used (see https://kr.org/KR2025/). 2. Curriculum Vitae. A description of your background and relevant experience (research, education, employment), maximum two pages. 3. Brief letter of recommendation. A brief letter from your thesis advisor that states that they support your participation in the DC. 4. Optionally, a suggestion of some potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. For inspiration who to name, you can refer to program committee members of previous KR conferences. The selection process will consider the quality of the submitted proposal. By default, proposals of the selected students will be made available to the public. Every student may decide that their paper will not be made public by explicitly indicating this to the DC chairs. This is mainly to enable doctoral students to submit previously published or recently submitted works and to encourage them to submit papers to KR 2025 and associated conferences and workshops. Doctoral Consortium Chairs Inquiries should be sent by email to the KR 2025 Doctoral Consortium Chairs: -Shqiponja Ahmetaj, TU Wien, Austria (shqiponja.ahmetaj at tuwien.ac.at) -Kai Sauerwald, University of Hagen, Germany (kai.sauerwald at fernuni-hagen.de)