From PotykaN at cardiff.ac.uk Mon Apr 28 17:27:46 2025 From: PotykaN at cardiff.ac.uk (Nico Potyka) Date: Mon, 28 Apr 2025 15:27:46 +0000 Subject: [Event@CIG] KR 2025: Final Call for Nominations for the KR Early Career Award (Deadline: April 30) In-Reply-To: References: Message-ID: ********************************************** KR Early Career Award: Call for Nominations ********************************************** Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.) has established a KR Early Career Award to recognize early career researchers who have already made significant research contributions to the theory and/or practice of knowledge representation and reasoning and who demonstrate great promise for future impactful contributions. ********************************************** ELIGIBILITY ********************************************** This award is for researchers having recently obtained their doctoral degrees. To be eligible for the 2025 Early Career Award, researchers should have completed their PhD degree in 2023 or 2024. Exceptions to this rule may however be granted in case of career interruptions (parental or family leave, long illness, etc.) or other compelling circumstances. In order not to disadvantage early-career researchers, nominations of researchers having a close connection with a member of the Awards committee will be considered, in which case, appropriate procedures for handling such Conflicts of Interest will be put in place. Note that it is not a requirement that the early-career researcher has published at the KR conference, but the relevance of their research to KRR in a broad sense (including implementation and applications of KRR techniques) should be evident. ********************************************** CONTENT OF NOMINATIONS ********************************************** To avoid duplicate nominations, nominators should inform the early-career researcher of their intent to submit a nomination, and there should be a single nomination for each early-career researcher. ********************************************** Nominations should consist of: ********************************************** A letter of support (1-3 pages) from the nominator(s) that provides evidence as to the significance and impact of the nominee's research contributions and their future potential. Impact should be understood broadly, e.g. impact to academia (significantly advancing existing line of work or opening up a new direction), industry (including software being integrated into products), and/or society. In some cases, the impact may not yet be fully realized, in which case its expected impact can be argued. CV of the nominee. Suggested items to include: education and employment history, teaching, service to the research community (e.g. reviewing, PC membership, event organization), and any elements of community recognition (e.g. invited talks, prizes). The CV should contain a full list of publications and other research productions (e.g. developed software, resources), and nominees are encouraged to include in their CV links to their personal website (ideally providing easy access to their publications) and/or to online researcher profiles (e.g. google scholar, dblp, orcid). Please also make sure that the CV and/or nomination letter mentions any career interruptions or other personal circumstances that are deemed relevant for fairly assessing the nominee's contributions and potential. ********************************************** HOW TO SUBMIT NOMINATIONS ********************************************** Nominations should be submitted via EasyChair (select the "KR Early Career Award" track): https://easychair.org/my/conference?conf=kr2025 A single PDF file (extension .pdf) should be uploaded consisting of the letter of support and CV. The name of the candidate should be put in the Title field, and the email address, affiliation, and PhD defense date of the candidate should be listed in the Abstract box. Any text can be added to the Keywords box. Note: if you wish to nominate an early-career researcher having a close relationship with a member of this year's KR Awards Committee, please submit your nomination by email to a committee member not having a conflict with the nominee and/or to the KR Inc. President (Gabriele Kern-Isberner). ********************************************** IMPORTANT DATES ********************************************** The deadline for nominations is April 30, 2025 (AoE time). The award winner will be notified no later than June 15, 2025, and the official announcement will be made at KR 2025. ********************************************** AWARDS COMMITTEE ********************************************** This year's KR Awards committee consists of Tommie Meyer (chair), Maurice Pagnucco, and Francesca Toni. The committee composition may be modified if needed to handle any Conflict of Interest situations. ********************************************** CONTACT ********************************************** Inquiries should be sent to kr2025.awards.eca at easychair.org From bechir.zalila at redcad.org Tue Apr 29 06:59:12 2025 From: bechir.zalila at redcad.org (Bechir Zalila) Date: Mon, 28 Apr 2025 21:59:12 -0700 Subject: [Event@CIG] Call for papers : AROSA @ ECSA 2025 Message-ID: Apologies for multiple receptions Call for papers : AROSA @ ECSA 2025 12th Workshop on Adaptive and Reconfigurable Systems and Architectures http://www.redcad.org/events/arosa2025/ AROSA @ ECSA 2025 Mon 15 - Fri 19 September 2025, Limassol, Cyprus -----Important dates Abstracts Submission: Mon 12 May 2025 Papers Submission: Mon 19 May 2025 Decision Notification: Fri 20 Jun 2025 Camera-Ready Submission : Fri 27 Jun 2025 Early registration: Fri 27 Jun 2025 -----Introduction The goal of this workshop is to bring together researchers and practitioners both from the Academia and from the Industry working in the areas of the adaptation and reconfiguration of distributed systems. Different investigation topics are involved, such as: Component Based Software Engineering, Web service, cloud applications, mobile applications, Functional and non-functional requirements (QoS, performance, resilience), monitoring, diagnosis, decision and execution of adaptation and reconfiguration. Different research areas are covered: concepts, methods, techniques, and tools to design, develop, deploy and manage adaptive and reconfigurable software systems. The concept of adaptive and reconfigurable software systems has been introduced in order to describe architectures, which exhibit such properties. An adaptive and reconfigurable software system can repair itself if any execution problems occur, in order to successfully complete its own execution, while respecting functional and non-functional agreements. In the design of an adaptive and reconfigurable software system, several aspects have to be considered. For instance, the system should be able to predict or to detect degradations and failures as soon as possible and to enact suitable recovery actions. -----Topics For this workshop, contributions are devoted to functional and non-functional adaptability and reconfiguration management in service-oriented and component-based software systems. Specifically, the relevant topics include, but are not limited to: Distributed and centralized collaborative solutions for the diagnosis and repair of software systems Design for the diagnosability and repairability Collaborative Management of Non-Functional requirements (quality, security, robustness, availability) Monitoring simple and composite architectures, components and services Semantic (or analytic) architectural and behavioral models for monitoring of software systems Dynamic reconfiguration of cloud and mobile applications Collaborative planning and decision making Collaborative technologies for ensuring autonomic properties Predictive management of adaptability Collaborative Management of autonomic properties Experiences in practical adaptive and reconfigurable applications Tools and prototypes for managing adaptability of applications IoT and cyber physical systems -----Paper Submission The workshop invites two types of submissions: Full research and experience papers, the length of full/experience workshop papers shall be maximum 16 pages (including figures, references, etc.). Short and position papers, presenting promising preliminary results from work-in-progress or research challenges, the length of short papers shall be maximum 8 pages plus 2 pages only for references. All contributions must be written in English and formatted according to the Springer LNCS style. Contributions need to be submitted in PDF format via EasyChair. Papers follow a single-blinded reviewing process and must contain original unpublished work, describe significant novel contributions, and provide evidence about the validation of the results. Authors must upload their paper as PDF file using the EasyChair submission system. -----Workshop chairs Ismael Bouassida Rodriguez, ReDCAD, University of Sfax, Tunisia Nesrine Khabou, ReDCAD, University of Sfax, Tunisia Khalil Drira, LAAS-CNRS, Univ Toulouse, France From giacomo.cabri at unimore.it Mon Apr 28 21:37:21 2025 From: giacomo.cabri at unimore.it (Giacomo Cabri) Date: Mon, 28 Apr 2025 21:37:21 +0200 Subject: [Event@CIG] [2nd CfP] WETICE 2025 Catania, Italy, July 23-25 2025 Message-ID: 33rd IEEE INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE 2025) This year, for the first time ever, WETICE will be held from July 23?25, 2025 in the lovely city of Catania (Italy), beautifully sited in the blessed land of Sicily, between the Mediterranean sea and Europe's largest active volcano, mount Etna. Particularly, the conference activities will take place within a historical UNESCO World heritage site, which is a Benedictine Monastery monumental building from the XVIth century, nowadays regularly hosting classes and departments of the University of Catania. We will feature two amazing keynotes and many paper sessions covering hot topics in several areas of computer science, data science, software technologies, and many others. Please read the full Call for Papers below for more details. We also organized fun social activities, and on last day, we?ll wrap up with an awesome excursion to Taormina, to let you enjoy an unforgettable event! The conference is technically sponsored by IEEE (IEEE.org), IEEE Computer Society Italy Chapter and IEEE Systems, and Man and Cybernetics Society Italy Chapter, and the proceedings will be submitted for inclusion in IEEE Xplore, Scopus, DBLP, and Google Scholar. All the registration info is available at the conference website: www.dmi.unict.it/wetice2025 Submission deadline has been extended to May 31st! Early registration ends July 11th. We?d love to see you there ?? WETICE 2025 Team ------------------------------- Call for papers: We are thrilled to invite you to participate in the 33rd edition of WETICE, WETICE 2025, a leading international forum dedicated to advancing research, fostering collaboration, and sharing innovations in the rapidly evolving landscape of collaborative intelligence and decentralized systems, bridging AI, Data Science, and Cyberphysical Technologies: systems that are smart, autonomous, interconnected, and scalable. This conference is a unique opportunity for researchers, practitioners, and industry experts to connect, exchange ideas, and contribute to the future of intelligent, decentralized, and collaborative systems, pushing the boundaries of AI, Blockchain, IoT, and collaboration tools. WETICE focuses on collaborative methodologies and how they empower various technologies (AI, Blockchain, IoT, etc.) to create new solutions across diverse domains. WETICE also aims at promoting fruitful discussions on the latest technology developments, directions, problems, and requirements. The conference includes presentations, keynote sessions, and group discussions. Submissions: All papers will undergo anonymous revision by at least two members of the Program Committee. Proceedings will be submitted for inclusion in IEEE Xplore, Scopus, DBLP, and Google Scholar. The submissions must be original content not published or submitted for publication elsewhere. Papers must be written in English and formatted according to the guidelines at the following link: https://www.ieee.org/conferences/publishing/templates.html Submission is now open and available at the following link: https://cmt3.research.microsoft.com/WETICE2025. The maximum length of the paper is 6 pages, including figures and references. Authors are required to include their names and affiliations in their papers. Conference Scope: We welcome original research contributions, visionary perspectives, and innovative applications across a wide array of topics, including but not limited to: Collaboration: Intelligent Manufacturing Platforms Cloud Computing for Collaboration Collaboration in Digital Strategies Collaborative Supply Chain Management Copyright protection in Collaborative Process Data and its Science: Complex networks science Network visualization and analytics Social media analysis Computational social science Distributed Database Technologies Data Analytics and Fraud Detection Data Privacy, Anonymity, and Confidentiality Distributed Systems Theory: Consensus and Fault Tolerance Algorithms Decentralized Autonomous Organization Distributed Cryptographic Algorithms and Protocols Formal Verification and Model Checking Distributed Systems Infrastructure: Blockchain-based Applications and Services Blockchain Platforms and Smart Contracts Decentralized Application Development Peer-to-peer communication protocols and systems Performance and Scalability Issues Internet of Things and Cyberphysical Systems: Performance and Safety of Autonomous Agents Systems Internet of Things Enabled Collaboration Distributed Platforms for IoT Systems Engineering: Architecture, Scalability, Governance, and Interoperability Functional validation and conformance testing System Monitoring and Analysis Model-based testing and Combinatorial testing. Artificial Intelligence tools for collaborative systems: Natural Language Processing Computer Vision Reinforcement Learning Explainable AI (XAI) Generative Adversarial Networks (GANs) Applications and Case Studies: Healthcare Systems Human-Robot Collaboration Intelligent Manufacturing Platforms Regulatory and standards frameworks Smart Energy Systems AI in Healthcare AI for Social Good Robotics and AI Autonomous vehicles ------------------------------- -- -- |----------------------------------------------------| | Prof. Giacomo Cabri - Ph.D., Full Professor | Rector's Delegate for Teaching | Dip. di Scienze Fisiche, Informatiche e Matematiche | Universita' di Modena e Reggio Emilia - Italia | e-mailgiacomo.cabri at unimore.it | tel. +39-059-2058320 fax +39-059-2055216 |----------------------------------------------------| From nardelli at ing.uniroma2.it Tue Apr 29 16:25:56 2025 From: nardelli at ing.uniroma2.it (Matteo Nardelli) Date: Tue, 29 Apr 2025 16:25:56 +0200 Subject: [Event@CIG] CFP: Workshop on Scalable Compute Continuum (WSCC) co-located with Euro-Par 2025 Message-ID: [Please accept our apologies if you receive multiple copies of this email] ************************************************************************************************** WSCC 2025: Euro-Par 2025 International Workshop on Scalable Compute Continuum Date: 25 August 2025 Location: Dresden, Germany Workshop web page: https://wscc.di.unipi.it/ Euro-Par web page: https://2025.euro-par.org/ Submission site: https://easychair.org/conferences/?conf=europar2025 ************************************************************************************************** * Call for Papers The ?Compute Continuum? paradigm is transforming how we manage the heterogeneity and dynamism of widespread computing resources. By seamlessly integrating resources across the edge, fog, and cloud, this paradigm enhances data locality, performance, availability, adaptability, energy efficiency, and other non-functional properties. This is made possible by overcoming resource fragmentation and segregation in tiers, allowing applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. Besides consolidated vertical and horizontal scaling patterns, the Compute Continuum also introduces fine-grained adaptation actions tailored to specific infrastructure components (e.g., optimizing energy consumption or leveraging specialized hardware such as GPUs, FPGAs, and TPUs). These capabilities unlock significant benefits, including support for latency-sensitive applications, reduction of network bandwidth consumption, improved privacy protection, and enable the development of novel services across domains such as smart cities, healthcare, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed components will be executed. To fully harness the potential of the Compute Continuum, proactive, autonomous, and infrastructure-aware management is essential. This calls for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. In this landscape, the workshop is willing to attract contributions in the area of distributed systems with particular emphasis on support for geographically distributed platforms and autonomic features to deal with variable workloads and environmental events, and take the best of heterogeneous and distributed infrastructures. A partial list of interesting topics of this workshop is the following: - Scalable architectures and systems for the Compute Continuum - Orchestration, deployment, and management of resources and applications in the Compute Continuum - Programming models, languages and patterns for the Compute Continuum - Compute Continuum performance modeling and analysis - Function-as-a-Service and Backend-as-a-Service in the Compute Continuum - Energy-efficient and carbon-aware solutions for sustainable Compute Continuum - Lightweight virtualization for the Compute Continuum - AI-driven optimization and AI-related workloads in the Compute Continuum (e.g., federated, distributed, decentralized learning) - Scalable applications for the Compute Continuum (e.g., IoT, microservices, serverless) - Data processing and analytics in the Compute Continuum - Digital Twins and industry applications in the Compute Continuum - Prototypes and real-life experiments involving Compute Continuum - Heterogeneous hardware acceleration and domain-specific architectures - Workflows in the Compute Continuum - Convergence and integration of HPC and Continuum platforms - Resilience and fault-tolerant strategies for the Compute Continuum - Benchmarks, reproducibility frameworks, and real-world experimental platforms * Submission Instructions The papers should be formatted according to the LNCS guidelines. They should be between a minimum of 10 and maximum of 12 pages. * Special Issue Selected papers will be invited to submit an extended version to a Journal Special Issue. We are in contact to propose a Special Issue in a high-quality journal. Information will appear soon on the WSCC web site. * Important Dates May 5th, 2025 Paper submission deadline June 23rd, 2025 Paper acceptance notifications July 7th, 2025 Camera-ready due * Workshop Co-Chairs - Valeria Cardellini, University of Rome Tor Vergata, Italy - Patrizio Dazzi, University of Pisa, Italy - Gabriele Mencagli, University of Pisa, Italy - Matteo Nardelli, Bank of Italy, Italy - Massimo Torquati, University of Pisa, Italy We look forward to receiving your contributions! From ssharm21 at students.kennesaw.edu Wed Apr 30 04:40:13 2025 From: ssharm21 at students.kennesaw.edu (Sachin Sharma) Date: Wed, 30 Apr 2025 02:40:13 +0000 Subject: [Event@CIG] Call For Papers - 37th IEEE International Conference on Tools with Artificial Intelligence - Nov 3-Nov 5, 2025 - Athens, Greece Message-ID: Dear Colleagues, The 37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) organizing committee is inviting you to submit your research papers. The conference will be held in person, on November 3rd till November 5th, 2025 in Athens, Greece! The IEEE International Conference on Tools with Artificial Intelligence (ICTAI) is a leading IEEE-CS annual scientific meeting for more than three decades. It provides a major international forum where the creation and exchange of ideas related to artificial intelligence are fostered among academia, industry, and government agencies. The conference facilitates the cross-fertilization of these ideas and promotes their transfer into practical tools, for developing intelligent systems and pursuing artificial intelligence applications. The ICTAI encompasses all technical aspects of specifying, developing and evaluating the theoretical underpinnings and applied mechanisms of the AI-based components such as algorithms, architectures and languages. Topics include (but not limited to): 1. AI Foundations 2. AI in Domain-specific Applications 3. AI in Computer Systems 4. AI in Data Analytics, Data Mining and Big Data 5. AI in Smart Cities 6. Machine Learning 7. Knowledge Representation, Reasoning, Cognition 8. AI and Decision Systems 9. Uncertainty in AI 10. Natural Language Processing 11. AI and Societal Impact General Chair: Dr. Nikolaos Bourbakis, Purdue University (nbourbak at purdue.edu) Co-Program Chair: Dr. Arnaud Lallouet, Huawei Technologies Ltd (arnaud.lallouet at huawei.com) Co-Program Chair: Dr. Michail Alexiou, Kennesaw State University (malexiou at kennesaw.edu) Special Track - Workshops (Following the Conference Publication Rules and Guidelines): 1. AI and Maritime Applications - Special Track Chair Dr. Rahul Dubey 2. AI and Software Engineering - Special Track Co-Chairs Dr. Maria Virvou & Dr. George Tsihrintzis 3. AI and Assistive Technologies for People in Need - Dr. Nikolaos Bourbakis & Dr. Despina Kavraki Important Dates: Paper submission: June 12, 2025 Acceptance notification: August 20, 2025 Camera-ready: September 20, 2025 All submissions should be made through the conference's website: https://easyconferences.eu/ictai2025/ We look forward to your submissions! Best Regards, Sachin Sharma ICTAI 2025 Publicity Chair From alcaraz at lcc.uma.es Wed Apr 30 06:37:17 2025 From: alcaraz at lcc.uma.es (0610648533) Date: Wed, 30 Apr 2025 06:37:17 +0200 Subject: [Event@CIG] =?utf-8?q?=5BCFP_-_FGCS=3A_September_1=2C_2025=5D_Sp?= =?utf-8?q?ecial_Issue_on_=E2=80=9CAdvanced_Situational_Awareness_and_Resi?= =?utf-8?q?lience_for_Hyperconnected_Industrial_Scenarios=E2=80=9D_in_Futu?= =?utf-8?q?re_Generation_Computer_Systems_=28FGCS=29=2C_Elsevier?= Message-ID: <245d48908b190985f261bf4a5a322783@lcc.uma.es> *** CALL FOR PAPERS *** [Apologies for cross-posting] * Future Generation Computer Systems (FGCS), Elsevier * * Special Issue on ?Advanced Situational Awareness and Resilience for Hyperconnected Industrial Scenarios? * Link: hhttps://www.sciencedirect.com/special-issue/318785/advanced-situational-awareness-and-resilience-for-hyperconnected-industrial-scenarios New technological trends and their adaptation to different strategic sectors, especially those aimed at the industrial sector and their interconnected infrastructures, entail multiple types of risks, including those related to security, privacy, and safety. This makes situational awareness and related areas, such as advanced prediction and detection, a priority requirement when it comes to protecting the most critical resources relevant to the business model or between models. However, the effectiveness of situational awareness is only assured if defensive measures are accompanied with advanced preparedness, response, and recovery strategies, thus providing guarantees of resilience. Significant research progresses, in line to situational awareness, have already shown the way to: (i) combat some of the mentioned problems, some of them against counterfeiting and advanced persistent threats, (ii) promote predictive maintenance and resilience, and (iii) implement Machine Learning (ML), Deep Learning (DL), and Generative AI (GenAI) methods to address not only cyberattacks on critical infrastructures, but also to mitigate adversarial AI attacks. But, overall, all these advances are still insufficient considering the heterogenous, hyper-interconnected and complex nature of many today?s critical infrastructures. The assumption of the new industrial paradigms (Industry 4.0/5.0) and the multiple factors that come into play in the protection of critical systems, in which it is necessary to safeguard operational performance, proactivity and coordination according to the NIS2 directive, become undoubtedly relevant when it comes to managing critical situations. All the above leads to the innate need to consider and apply cutting-edge technologies to promote trustworthy industrial security, where the inclusion of disruptive techniques, methods and technologies become relevant factors to address the expected level of situational awareness and resilience. Therefore, this Special Issue (SI) aims to bring together cutting-edge results that address the specific challenges of all these topics and their implication in specific industrial environments. The aim is to promote research and progress in line with new technologies, as well as to learn about the most recent issues and advances in this application area with special attention to novelty and originality within the subject matter. In particular, the topics of interest for this Special Issues includes but not limited to: - Governance, plans, and automated security controls - Dynamic risk management and automatic feedback - Adversarial offense, modeling, and demonstrations - Advanced attack prediction for advanced awareness and proactivity - AI-enhanced attack detection and stealthy movements - Mitigation of adversarial AI attacks on industrial & critical infrastructures - Smart threat interpretation and projection for attack traceability - Advanced attack response, playbooks, and mitigation - Green prediction, detection, and response approaches for lightweight situational awareness - Advanced recovery and feedback to the situational awareness - Cyber threat intelligence and coordination - Sharing data and trust management - Auditing and accountability for situational awareness - Intelligent and accurate feedback to situational awareness - Privacy and anonymization techniques for situational awareness - Lightweight protection to the situational awareness and implied technologies - Dynamic preparation and coordination through simulations - Automated training for (re-)skilling and knowledge in situational awareness - Industrial use cases with practical demonstrations for situational awareness and resilience: energy, health, transportation, manufacturing, etc. Important Dates - Submission deadline: September 1, 2025 - Initial notification: November 2, 2025 - Final accepted version: December 31, 2025 Manuscript Submission Instructions: - +Info: https://www.sciencedirect.com/special-issue/318785/advanced-situational-awareness-and-resilience-for-hyperconnected-industrial-scenarios Guest Editors: - Cristina Alcaraz, University of Malaga, alcaraz at uma.es; contact person for further information - Fabio Martinelli, Italian National Research Council (CNR), fabio.martinelli at iit.cnr.it - Panagiotis Bountakas, Sphynx, p.bountakas at sphynx.ch From mlas at fi.upm.es Wed Apr 30 15:48:10 2025 From: mlas at fi.upm.es (mlas at fi.upm.es) Date: Wed, 30 Apr 2025 15:48:10 +0200 Subject: [Event@CIG] XVII Madrid UPM Machine Learning and Advanced Statistics Summer School (June 16th - June 27th, 2025) - Early registration deadline Message-ID: <1154002927.0.1746020891017.JavaMail.bmihaljevic@lenovo> Dear colleagues, We would like to remind you that early registration for the Madrid UPM Machine Learning and Advanced Statistics summer school finishes on May, 27th (included). The summer school will be held in Boadilla del Monte, near Madrid, from June 16th to June 27th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: https://www.dia.fi.upm.es/MLAS There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whomever you think may find it interesting. Best regards, Pedro Larra?aga, Concha Bielza, Bojan Mihaljevi? and Laura Gonzalez Veiga. -- School coordinators. *** List of courses and brief description *** # Week 1 (June 16th - June 20th, 2025) ## 1st session: 9:45-12:45 ### Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: R. ### Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. ## 2nd session: 13:45-16:45 ### Course 3: Supervised Classification (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: python. ### Course 4: Reinforcement learning (15 h) Introduction. Dynamic programming methods. Temporal-difference learning. Policy gradient methods. Causal reinforcement learning. Practical demonstration: R. ## 3rd session: 17:00 - 20:00 ### Course 5: Deep Learning (15 h) Introduction. Learning algorithms. Learning in deep networks. Deep Learning for Computer Vision. Deep Learning for Language. Practical session: Python notebooks with Google Colab with keras, Pytorch and Hugging Face Transformers. ### Course 6: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. # Week 2 (June 23rd - June 27th, 2025) ## 1st session: 9:45-12:45 ### Course 7: Causality (15 h) Introduction. Causal graphs. Mediation analysis. Sensitivity analysis to unmeasured confounding. Counterfactual reasoning. Practical sessions: R. ### Course 8: Clustering (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advice. Practical session: R. ## 2nd session: 13:45-16:45 ### Course 9: Gaussian Processes and Bayesian Optimization (15 h) Introduction to Gaussian processes. Sparse Gaussian processes. Deep Gaussian processes. Introduction to Bayesian optimization. Bayesian optimization in complex scenarios. Practical demonstration: python using GPytorch and BOTorch. ### Course 10: Explainable Machine Learning (15 h) Introduction. Inherently interpretable models. Post-hoc interpretation of black box models. Basics of causal inference. Beyond tabular and i.i.d. data. Other topics. Practical demonstration: Python with Google Colab. ## 3rd session: 17:00-20:00 ### Course 11: Generative AI (15 h) Introduction to the course. Neural networks and deep learning. Generative AI for images. Generative AI for language. Hands-on session: Pytorch, VAEs, GANs, diffusion models, LLMs, aligning a generative LLM, using an open-source image generation model. ### Course 12: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Hands-on sessions: R and python. From geoff at cs.miami.edu Wed Apr 30 23:02:31 2025 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Wed, 30 Apr 2025 17:02:31 -0400 Subject: [Event@CIG] FroCoS 2025 - Call for Papers Message-ID: <20250430210231.5450BA046B5@armistead.ccs.miami.edu> =============================================================== FroCoS 2025 - Call for Papers The 15th International Symposium on Frontiers of Combining Systems Reykjavik, Iceland, September 27 - October 3, 2025 Website: https://icetcs.github.io/frocos-itp-tableaux25/frocos/ Contact: frocos2025 at easychair.org Submission deadlines: 5 May 2025 (abstract), 12 May 2025 (paper) GENERAL INFORMATION The 15th International Symposium on Frontiers of Combining Systems (FroCoS 2025) will take place in Reykjavik. FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. FroCoS 2025 will be hosted by the theoretical computer science lab of Reykjavik University, collocating with the 16th International Conference on Interactive Theorem Proving (ITP 2025) and with the 34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2025). The three conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis. FroCoS traditionally focuses on these types of research questions and activities. Like its predecessors, FroCoS 2025 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based methods and their practical use. Topics of interest for FroCoS 2025 include (but are not restricted to): * combinations of logics (such as higher-order, first-order, temporal, modal, description or other non-classical logics) * combination and integration methods in SAT and SMT solving * combination of decision procedures, satisfiability procedures, constraint solving techniques, or logical frameworks * combination of logics with probability and/or fuzzy measures * combinations and modularity in ontologies * integration of theories into systems * hybrid methods for deduction, resolution and constraint propagation * hybrid systems in knowledge representation and natural language semantics * combined logics for distributed and multi-agent systems * logical aspects of combining and modularizing programs and specifications * integration of data structures into constraint logic programming and deduction * combinations and modularity in term rewriting * methods and techniques for the verification and analysis of information systems * methods and techniques for combining logical reasoning with machine learning * methods and techniques for combining proof search and proof validation SUBMISSION GUIDELINES The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference, workshop, symposium, etc. with archival proceedings. Selection criteria include originality of ideas, rigour of evaluation, significance of results, and quality of presentation. The page limit in Springer LNCS style is 15 pages in total excluding references. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files through Easychair at https://easychair.org/conferences/?conf=frocos2025 For all accepted papers, one author must attend the conference in person and present the paper. One author (which may be a different one, e.g. if the presenter is a student) must pay the full registration fee. In exceptional circumstances (which must be agreed about with the organizers by the registration deadline), online presentation is an option. Still one author must pay the full registration fee. Formatting instructions and the LNCS style files can be obtained at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines PUBLICATION DETAILS The conference proceedings will be published in Springer's Lecture Notes in Artificial Intelligence (LNAI/LNCS) series in Gold Open Access under the CC-BY-4.0 license. ORGANIZATION co-chairs * Ren???? Thiemann, Universit????t Innsbruck * Christoph Weidenbach, Max Planck Inst. for Informatics programme committee * Franz Baader, TU Dresden * Haniel Barbosa, Universidade Federal de Minas Gerais, Belo Horizonte * Jasmin Blanchette, LMU M????nchen * Cyril Cohen, Inria, ENS de Lyon * Clare Dixon, University of Manchester * Mathias Fleury, Universit????t Freiburg * Silvio Ghilardi, Universit?? degli Studi di Milano * J????rgen Giesl, RWTH Aachen * Albert Griggio, Fondazione Bruno Kessler, Trento * Andreas Herzig, Universit???? Paul Sabatier, Toulouse * Boris Konev, University of Liverpool * Georg Moser, Universit????t Innsbruck * Lawrence Paulson, University of Cambridge * Elaine Pimentel, University College London * Andrei Popescu, University of Sheffield * Andrew Reynolds, University of Iowa * Christophe Ringeissen, Inria Nancy * Philipp R????mmer, University of Regensburg * Ulrike Sattler, University of Manchester * Renate Schmidt, University of Manchester * Roberto Sebastiani, Universit?? di Trento * Viorica Sofronie-Stokkermans, Universit????t Koblenz * Martin Suda, ????esk???? vysok???? u?? en???? technick???? v Praze * Akihisa Yamada, AIST, Tokyo local organization chair * Tarmo Uustalu, Reykjavik University From fm-announcements at lists.nasa.gov Thu May 1 14:10:14 2025 From: fm-announcements at lists.nasa.gov (Slagel, Tanner (LARC-D320) via fm-announcements) Date: Thu, 1 May 2025 12:10:14 +0000 Subject: [Event@CIG] [fm-announcements] Call for Participation: NFM 2025 Message-ID: <8BEA2BF4-FA90-4716-9AF7-DBA46D59B6A3@ndc.nasa.gov> --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From manuel.borroto at unical.it Fri May 2 14:40:12 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Fri, 2 May 2025 14:40:12 +0200 Subject: [Event@CIG] [C.A.R.L.A. 2025 - Call for Papers] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025 Message-ID: *[apologize for multiple postings]* *Call for Papers* 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (C.A.R.L.A. 2025) September 12-13, 2025 | Rende, Italy https://carla-ws.github.io/web/ Part of ICLP 2025 https://iclp25.demacs.unical.it *IMPORTANT DATES (AoE)* - Paper Deadline: June 1, 2025 - Notification: July 13, 2025 - Camera-Ready Deadline: July 27, 2025 Accepted papers will be presented as posters, with a subset selected for oral presentations. The workshop will take place in person at ICLP 2025, with virtual participation options to be confirmed. *GENERAL INFORMATION* The 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) seeks to transform the landscape of intelligent robotics by pioneering the integration of large language models (LLMs), symbolic reasoning, and logic solvers into robotic systems. As robotics moves towards real-world applications requiring adaptability, safety, and complex decision-making, this workshop focuses on harnessing the synergy between data-driven learning models and symbolic logic-based systems to advance automation. *SCOPE* CARLA invites research contributions and discussions in the following focus areas: - Knowledge Representation for Robotics: Frameworks and methodologies for integrating structured knowledge into robotic architectures. - LLMs as Cognitive Engines: Leveraging LLMs to process complex commands, generate actionable insights, and facilitate human-robot communication. - Neuro-Symbolic Systems in Robotics: Hybrid approaches combining neural networks with symbolic reasoning for decision-making and task execution. - Logic Solvers in Robotic Control: Employing constraint solvers, SAT solvers, or theorem provers for autonomous planning and reliable decision-making. - Adaptive and Safe Robotic Architectures: Strategies for real-time adaptation and coordination in robotic systems using LLMs and symbolic logic. - Human-Robot Collaboration: Innovations in language-driven interactions, focusing on usability, interpretability, and reliability in diverse scenarios. - Challenges of LLM Deployment in Robotics: Addressing safety, robustness, and ethical considerations when integrating LLMs into robotic systems. - LLM-Driven Planning and Problem Solving: Enabling robots to perform dynamic planning and adapt to novel situations using LLM-guided reasoning. *SUBMISSIONS* CARLA welcomes the following types of submissions: - Original Research Papers: Presenting novel research contributions aligned with the workshop?s focus areas. - Work-in-Progress Reports: Sharing preliminary findings and ongoing research efforts. - Position Papers: Discussing emerging challenges, visionary ideas, and future directions at the intersection of robotics, LLMs, and logic solvers. - Already Presented Works: Contributions that have been previously presented at other venues but are relevant to the workshop themes. Such works can be resubmitted to foster further discussion and exploration. *Submissions should adhere to the following guidelines:* - Maximum of 12 pages (excluding references) for full papers and 6 pages (excluding references) for short papers. - Formatting must follow the CEURART style: https://ceur-ws.org/HOWTOSUBMIT.html - All submissions must be in English and submitted in PDF format. Accepted original contributions will be published in the CEUR-WS Proceedings (possibly in conjunction with other ICLP workshops). Accepted non-original contributions will be showcased on the workshop website with links to the original publication, where available. *Submissions site:* Submissions will be managed via Microsoft CMT. Papers will remain private during the review process. All authors must maintain up-to-date Microsoft CMT profiles to ensure proper conflict-of-interest management and paper matching. Incomplete profiles may result in desk rejection. Submit papers through the C.A.R.L.A. Submission Portal on Microsoft CMT: https://cmt3.research.microsoft.com/CARLA2025 *Anonymity:* The workshop follows a single-blind review process. Submissions must not be anonymized by removing author names, affiliations, and acknowledgments. *ORGANIZATION* - Fabrizio Lo Scudo ? University of Calabria, Italy - Sotirios Batsakis ? Hellenic Mediterranean University, Greece - Manuel Borroto ? University of Calabria, Italy -- ------------------------------------------------------------------------------------------------------------------ Il banner ? generato automaticamente dal servizio di posta elettronica dell'Universit? della Calabria From timbaarslag at gmail.com Fri May 2 15:04:39 2025 From: timbaarslag at gmail.com (Tim Baarslag) Date: Fri, 2 May 2025 15:04:39 +0200 Subject: [Event@CIG] The 16th International Automated Negotiating Agent Competition @IJCAI 2025 (Submission: 1st June, 2025) Message-ID: ===================================================================== *Call for participation:* The Automated Negotiating Agents Competition 2025 *Submission deadline:* 1st June, 2025 *Notification of Finalists:* 15th June, 2025 *Event held at:* IJCAI 2025, 16?22 August 2025, Montreal *Prizes:* 6000+ euros for travel scholarships to IJCAI *Website:* https://web.tuat.ac.jp/~katfuji/ANAC2025/ ===================================================================== ========== Motivation, impact, and expected outcomes ========== We invite researchers to participate in the Automated Negotiating Agent Competition (ANAC) 2025, which brings together researchers from the negotiation community and provides a unique benchmark for evaluating practical negotiation strategies in multi-issue domains. ANAC has the following aims: * to provide an incentive for the development of effective negotiation strategies and protocols for bidding, accepting and opponent modeling for different negotiation scenarios; * to collect and develop a benchmark of negotiation scenarios, protocols and strategies; * to develop a common set of tools and criteria for the evaluation and exploration of new protocols and new strategies against benchmark scenarios, protocols and strategies; * to set the research agenda for automated negotiation. The previous competitions have spawned novel research in AI in the field of autonomous agent design which are available to the wider research community. This year, we introduce a variety of negotiation research challenges: * Automated Negotiation League: Design and build a negotiation agent for sequential multi-deal negotiation. The agent encounters multiple opponents in sequence and is rewarded for the specific combination of the deals made in each negotiation. See: https://scml.cs.brown.edu/anl * Supply Chain Management League: Design and build an autonomous agent that negotiates on behalf of a factory manager situated in a supply chain management simulation. See: https://scml.cs.brown.edu/scml We expect innovative and novel agent strategies will be developed, and the submitted ANAC 2025 agents will serve as a negotiating agent repository to the negotiation community. There will be more than 6000 euros of prize money available in the form of travel scholarships for students to attend the ANAC session to be held in conjunction with IJCAI. For being eligible to apply for this scholarship, you should participate in at least one of the leagues and submit your agent on time. ========== Website URL ========== For more details, please visit the competition webpage: https://web.tuat.ac.jp/~katfuji/ANAC2025/ *ANAC Board Members* * Dr. Reyhan Aydogan, Ozyegin University & Delft University of Technology * Prof. Dr. Tim Baarslag, Centrum Wiskunde & Informatica (CWI) & Eindhoven University of Technology * Prof. Dr. Katsuhide Fujita, Tokyo University of Agriculture and Technology * Prof. Dr. Catholijn Jonker, Delft University of Technology *League Organizers* * Automated Agents League: Tamara Florijn (CWI/Utrecht University) & ANAC Board Members * Supply Chain Management League: Dr. Yasser Mohammad and Dr. Satoshi Morinaga (NEC, AIST); Prof.Dr. Katsuhide Fujita, (TUAT,NEC-AIST); Prof. Dr. Amy Greenwald (Brown University); Mark Klein (MIT) *Scientific Advisory Board* * Prof. Dr. Catholijn Jonker, Delft University of Technology (Chair) * Prof. Dr. Takayuki Ito, Nagoya Institute of Technology * Prof. Dr. Carles Sierra, IIIA/CSIC * Prof. Dr. Jonathan Gratch, USC From x.yin20 at imperial.ac.uk Fri May 2 17:40:50 2025 From: x.yin20 at imperial.ac.uk (Yin, Xiang) Date: Fri, 2 May 2025 15:40:50 +0000 Subject: [Event@CIG] XLoKR-25 Call For Papers 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 17, 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.