From PotykaN at cardiff.ac.uk Mon Feb 23 10:42:22 2026 From: PotykaN at cardiff.ac.uk (Nico Potyka) Date: Mon, 23 Feb 2026 09:42:22 +0000 Subject: [Event@CIG] Second Call for Hosting KR 2027 or KR 2028 Message-ID: Dear Colleagues, The KR Steering Committee is seeking statements of interest from individuals or consortia interested in hosting the 24th or 25th International Conference on Principles of Knowledge Representation and Reasoning (KR 2027 or KR 2028). We are accepting bids from all locations; however, especially for 2027, we particularly encourage bids from North America and South America. KR conferences usually take place between July and November. For each of the two conferences, the process comprises two stages. During the first stage, KR Inc. solicits statements of interest through an open call. They should be submitted using the letter-of-interest form. Once the first phase is complete, KR Inc. will shortlist a number of applications, which will then be invited to submit a full proposal. The important dates for applying to host the KR 2027 or KR 2028 Conference are: - March 15, 2026: Deadline for receiving statements of interest - April 15, 2026: Notifications to shortlisted bids are sent out - May 15, 2026: Formal applications received from the shortlisted bids - June 15, 2026: Selection decision announced Parties wishing to host KR 2027 or KR 2028 should contact me (gabriele.kern-isberner at cs.tu-dortmund.de). For the full proposal, you will need: - The letter of interest template (first stage) - The application form (second stage) - The budget worksheet (second stage) This information is also available at https://kr.org/Hosting_KR_2027_28.html. You can download the documents directly under the following links: * KR 2027: https://kr.org/documents_kr2027.zip * KR 2028: https://kr.org/documents_kr2028.zip For other information on the KR conferences, please see http://www.kr.org . In particular, the link http://www.kr.org/pastconfs.html has links to the past KR conferences and their locations. Kind regards, Gabriele Kern-Isberner gabriele.kern-isberner at cs.tu-dortmund.de From fmec2024 at gmail.com Mon Feb 23 10:53:45 2026 From: fmec2024 at gmail.com (FLICS) Date: Mon, 23 Feb 2026 10:53:45 +0100 Subject: [Event@CIG] Deadline Extended: IEEE co-sponsored | The 2nd International Conference on Sustainability, Innovation, and Society | Valencia, Spain | A Hybrid Event Message-ID: CFP: The 2nd International Conference on Sustainability, Innovation, and Society (ICSIS 2026) *Technically Co-Sponsored by IEEE.* *https://intelligent-systems.net/icsis2026/ * *Venue: Valencia, Spain (9?12 June 2026)* Scope The 2nd International Conference on Sustainability, Innovation, and Society (ICSIS 2026) invites scholars, researchers, practitioners, policymakers, and industry leaders to share original research, case studies, and forward-looking perspectives that tackle the most pressing sustainability, innovation, and societal challenges. ICSIS 2026 provides a unique arena for *cross-disciplinary* dialogue and the co-creation of solutions that transcend traditional academic and sectoral boundaries. The conference strengthens its role as a collaborative hub where expertise from computer science, engineering, life sciences, health, social sciences, education, economics and management, design, and public policy converges. By bringing together voices from academia, industry, and governance, ICSIS 2026 aims to transform knowledge into actionable insights, impactful innovations, and sustainable practices that can guide societies toward more resilient, just futures. ICSIS 2026 is structured around three core tracks?Sustainability, Innovation, and Society?that together address environmental stewardship, technological and organizational innovation, and the social and policy dimensions of transformation. General Chairs - Prof. Nancy Landrum, Munich Business School, Germany. - Dr. Guia Bianchi, European Commission, Spain. Topics of Interest ICSIS 2026 is structured around three core tracks. We invite submissions addressing, but not limited to, the following topics: Track 1: Sustainability ? *Sustainability in Technology* ? Sustainable software, AI, and digital infrastructures, including green cloud/edge/IoT and carbon-aware computing. ? *Sustainability in Health* ? Digital health, telemedicine, and clinical AI solutions that are fair, privacy-preserving, low-resource, and resilient to climate stress. ? *Sustainability in Education* ? Green campuses and curricula that promote sustainability literacy, equity, and student success. ? *Sustainability in Energy* ? Smart grids, virtual power plants, EV charging, and secure, carbon-aware energy management. ? *Sustainability in Environment* ? Environmental monitoring, digital twins, and circular-economy approaches for waste, water, and climate adaptation. ? *Sustainability in Agriculture* ? Precision agriculture, sustainable fisheries and aquaculture, and climate-aware food production. ? *Sustainability in Bioinformatics & Life Sciences* ? Data, models, and tools for conservation, sustainable bio-manufacturing, and responsible biological data use. ? *Sustainability in Business* ? Green business models, ESG/CSR strategies, sustainable supply chains, and data-driven sustainability reporting Track 2: Innovation ? *Digital transformation and interoperable platforms and ecosystems* ? Modernising processes through integrated, standards-based digital infrastructures. ? *Product, service, and system innovation; design thinking and experimentation* ? Creating and testing new offerings via design thinking and rapid experimentation. ? *AI-enabled innovation, including generative AI, agents, and copilots* ? Using AI to enable new products, services, and ways of working. ? *Open innovation, living labs, and real-world testbeds* ? Co-creating and trialling innovations in collaborative, real-world environments. ? *Entrepreneurship, venture building, and ESG-aligned business models* ? Building ventures and business models that embed sustainability and impact. ? *Innovation policy, regulation, and public procurement for sustainable impact* ? Steering innovation through policy, regulation, and mission-oriented procurement. ? *Innovation in AI, industry, health, education, public services, and global development* ? Sector-specific digital and AI innovations for societal and global benefit. Track 3: Society ? *Human-centered AI; explainability, transparency, and trust* ? Designing AI systems around people?s needs, understanding, and confidence. ? *Governance, law, and public policy for digital and AI systems* ? Frameworks that regulate, guide, and oversee digital and AI technologies. ? *Ethics, equity, inclusion, and social justice in socio-technical systems* ? Ensuring technologies support fairness, rights, and inclusive participation. ? *Smart cities, civic technologies, and digital participation* ? Digital tools that enable responsive, inclusive, and data-informed cities. ? *Media and information ecosystems; misinformation and disinformation* ? Studying how information spreads and how to counter harmful or false content. ? *Work, automation, labor markets, and skills for green and digital transitions* ? How automation and new skills reshape jobs in sustainable, digital economies. ? *Culture, heritage, arts, and immersive experiences in digital societies* ? Digital and immersive technologies for cultural expression, memory, and engagement. Submission Types ? *Long Papers (7?8 pages): original research with clear methodology, results, and contributions.* ? *Short Papers (4?6 pages): Short research contributions, focused studies, and demo or artifact papers.* ? *Poster Papers (1?2 pages): Concise presentations of work in progress and undergraduate research.* Important Dates ? Paper submission: February 20, 2026. March 10th 2026. ? Notification of acceptance: April 15, 2026. ? Camera-ready deadline: May 5, 2026. *Conference dates: June 9?12, 2026 (Valencia, Spain). All deadlines are in Anywhere on Earth (AoE) time.* Submission Portal Submissions are handled via EasyChair. For submission guidelines and the submission link, please visit: https://intelligent-systems.net/icsis2026/submission.php We look forward to receiving your contributions and to welcoming you at ICSIS 2026 in Valencia, Spain! From geoff at cs.miami.edu Wed Feb 25 17:44:51 2026 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Wed, 25 Feb 2026 11:44:51 -0500 Subject: [Event@CIG] 2nd Workshop on Machine Learning for Solvers and Provers Message-ID: <20260225164451.E5D67A01F17@armistead.ccs.miami.edu> CfP: 2nd Workshop on Machine Learning for Solvers and Provers - Lisbon - July 18 ========================================= We warmly invite you to submit your work to the 2nd Workshop on Machine Learning for Solvers and Provers (ML4SP), organised as part of the 2026 Federated Logic Conference (FLoC 2026) at Lisbon, Portugal. The workshop will run during the first block of the conference, on July 18, 2026. Workshop website: https://ml4sp.github.io/ Machine learning (ML) has had a substantial impact on SAT/SMT and CP solvers, as well as automated theorem provers. Recent advances have demonstrated the power of ML to inform solver heuristics, guide proof search, and optimize algorithm portfolios. Despite growing interest in this direction, work on ML for solvers and provers is often scattered across multiple research communities ??? SAT, SMT, CP, theorem proving, formal methods, and machine learning ??? with few opportunities for focused interaction. The ML4SP workshop aims to bring together researchers and practitioners working at the intersection of machine learning and formal reasoning systems. It provides a forum for the presentation of recent work, the exchange of ideas, and the fostering of collaboration between these communities. Topics of interest include, but are not limited to, ML-driven approaches for: + Heuristics (branching, restarts, ...) in CP, SAT, SMT, and MIP solvers + Tactic selection and proof guidance in automated and interactive theorem provers + Algorithm selection, parameter tuning and algorithm configuration, and portfolio solvers + End-to-end learning for solvers and provers + Benchmark generation and instance hardness prediction + Applications of ML-enhanced reasoning in verification, synthesis, planning, and related areas + Leveraging large language models (LLMs) for solver heuristics and proof guidance We welcome submissions describing previously published work, ongoing research, and position papers and early-stage ideas intended to stimulate discussion. Submission should be in PDF form, following the LIPIcs guidelines. They can be: + Extended abstracts (up to two pages, excluding references); or + Full papers (up to 15 pages, excluding references). All submissions will be reviewed by the PC members. A presentation time slot will be given to each accepted submission. Submission link: https://submissions.floc26.org/ml4sp/ Key dates: + Submission deadline: 15 May 2026 AoE + Result notification: 25 May 2026 + Camera ready: 2 July 2026 + Workshop day: 18 July 2026 Registration: please see FLoC???26 registration page From geoff at cs.miami.edu Thu Feb 26 21:01:12 2026 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 26 Feb 2026 15:01:12 -0500 Subject: [Event@CIG] Festschrift in Honor of Christoph Weidenbach's 60th Birthday: [Deadline Extension] Message-ID: <20260226200112.EF174A0206D@armistead.ccs.miami.edu> [Deadline Extension]: Festschrift in Honor of Christoph Weidenbach's 60th Birthday We would like to announce an extension of the submission deadline for the Festschrift in Honor of Christoph Weidenbach's 60th Birthday, which will appear as a topical collection (akin to a special issue) in the Journal of Automated Reasoning: https://link.springer.com/collections/ibbafifgai In response to several enquiries regarding the possibility of an extension, we are pleased to inform you that the new submission deadline is: Submission deadline: 31 March 2026 Christoph heads the Automation of Logic group at the Max-Planck-Institut f??r Informatik, Saarbr??cken. He is a well-known figure in the automated reasoning community, a former president of CADE Inc., and the main developer of the automatic prover SPASS. We invite contributions in areas close to Christoph's research, including but not limited to first-order reasoning, decidable fragments, SAT and SMT solving, combination of theories, rewriting, and automated verification. Submissions should be 15 to 50 pages long and will undergo the standard reviewing process of the journal. We look forward to your contributions and to celebrating Christoph???s scientific achievements with this collection. Jasmin Blanchette, Mathias Fleury, Martin Suda, Sophie Tourret Guest Editors From stefano.mariani at unimore.it Sun Mar 1 14:23:10 2026 From: stefano.mariani at unimore.it (Stefano Mariani) Date: Sun, 1 Mar 2026 14:23:10 +0100 Subject: [Event@CIG] [CLaRAMAS] Exceptional deadline extension Message-ID: <822f29b0-20a1-4532-a761-1ddef1e5efa4@unimore.it> Dear Colleague, ?we hope this email finds you well :) ? CLaRAMAS announces an *exceptional deadline extension *to papers (full, short, posters) submission to welcome authors of papers rejected by CLeaR 2026 (https://www.cclear.cc/2026/): the new, /last, stricter-than-ever/ deadline is *March, 11th 2026* ? ?Check out the workshop?s full scope & aims and the Call for Papers (also reported at the end of this email) on the workshop website: https://claramas-workshop.github.io/claramas2026/ ? Looking forward to receive your feedback, ? our best regards. ? The CLaRAMAS Program Chairs ? ? ?--- Stefano Mariani, Mehdi Dastani, Andr? Meyer-Vitali, Julien Siebert -- ------------------------------ Stefano Mariani, PhD Tenure-track researcher (RTDb) @ University of Modena and Reggio Emilia >https://smarianimore.github.io ------------------------------ <<< Well being notice >>> I care about your work-life balance: I sent this email at a time that works for me; please, read and reply at a time that works for you! :) ------------------------------ From yazan.mualla at utbm.fr Mon Feb 23 10:49:21 2026 From: yazan.mualla at utbm.fr (Yazan MUALLA) Date: Mon, 23 Feb 2026 09:49:21 +0000 Subject: [Event@CIG] 2nd CFP EKM@CSEDU: The 9th edition of Educational Knowledge Management (18-20 may, Spain) In-Reply-To: References: Message-ID: [Apology for cross-postings] ******************************************************************* CALL FOR PAPERS The 9th edition of Educational Knowledge Management (EKM2026) https://csedu.scitevents.org/EKM.aspx In conjunction with the 17th International Conference on Computer Supported Education (CSEDU), 18 - 20 may, 2026, Benidorm, Spain Chairs: Assistant Prof. Christine Lahoud, University of Technology of Belfort-Montb?liard, France Prof. Marie-H?l?ne Abel, HEUDIASYC CNRS UMR, University of Compi?gne, France Associate Prof. Yazan Mualla, University of Technology of Belfort-Montb?liard, France Scope: The high volume of information in organizations has led researchers to focus on knowledge management (KM) as a form of competitive and success leverage. The interest in KM for the educational domain has been growing in recent years as a strategic approach for sustainable development. The use of KM in education can, for instance, help develop strategies to improve teaching effectiveness and student retention, support decision-making, analyze the impact of social media and games in learning, generate exam questions from text files, or provide personalized student guidance. For this 9th edition, we are opening up to AI-driven educational systems. This new focus highlights the growing impact of Agentic AI, Large Language Models (LLMs), Small Language Models (SLMs), and Explainable AI (XAI) in shaping next generation learning environments. By expanding our scope, we aim to explore how these technologies enhance personalization, automation, and educational decision-making. We welcome submissions reporting original research that explores how KM technologies and AI technologies (Agentic AI, Generative AI, knowledge graph, ontologies, etc.) can address challenges related to the management and analysis of educational information in academic or professional learning institutions. Topics: We welcome papers describing original work applied to education. A non-exhaustive list of topics for the workshop includes the following: ? Recommendation and Personalized Learning ? Educational knowledge management and ontologies ? Educational Data and Learning Analytics ? Semantic Web and Linked Data in Education ? Artificial intelligence, robotics and human-computer interaction in education ? Natural Language Processing to improve educational effectiveness ? Educational Systems and Software ? Practical Learning and Pedagogical Methods ? Agentic AI and autonomous educational agents ? LLMs and SLMs for educational purposes ? Generative AI and large language models for knowledge creation and tutoring ? XAI for transparent educational decision-making ? Human-centered design and ethics in agentic learning systems ? Integrating KM frameworks with AI-driven adaptive learning ? Collaborative intelligence and human-AI co-creation in education Paper Submission: Prospective authors are invited to submit papers in any of the topics listed above. Instructions for preparing the manuscript (in Word and Latex formats) are available at: https://csedu.scitevents.org/Templates.aspx Please also check the Guidelines (https://csedu.scitevents.org/Guidelines.aspx) Papers must be submitted electronically via the web-based submission system using the appropriate button on the conference page. Publications: After thorough reviewing by the special session program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support and submitted for indexation by SCOPUS, Google Scholar, DBLP, Semantic Scholar, EI and Web of Science / Conference Proceedings Citation Index SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library Important Dates: Paper Submission: March 24, 2026(GMT anywhere on earth) Authors Notification: April 7, 2026 Camera Ready and Registration: April 15, 2026