From fmec2024 at gmail.com Mon Jun 9 08:45:33 2025 From: fmec2024 at gmail.com (Sadi Alawadi) Date: Mon, 9 Jun 2025 08:45:33 +0200 Subject: [Event@CIG] CFP: The 3rd IEEE International Conference on Federated Learning Technologies and Applications (FLTA 2025) Message-ID: The 3rd IEEE International Conference on Federated Learning Technologies and Applications (FLTA 2025) https://flta-conference.org/flta-2025/ 14-17 October 2025 | Dubrovnik, Croatia Technically Co-Sponsored by IEEE Croatia Section and Dubrovnik University FLTA 2025 CFP: The 3rd IEEE International Conference on Federated Learning Technologies and Applications (FLTA 2025) invites researchers, practitioners, and thought leaders from academia and industry to present their latest advancements in federated learning (FL), distributed AI systems, privacy-preserving AI, and Edge-Cloud continuum innovations. As FL transforms traditional centralized machine learning paradigms, FLTA stands as a premier platform to shape its future and foster collaboration among global experts. Join us in pushing the boundaries of decentralized AI and building the next generation of resilient, scalable, and privacy-focused systems. Featuring leading keynotes, technical sessions, workshops, and networking opportunities, FLTA 2025 offers a vibrant environment for sharing breakthroughs and emerging trends across domains such as healthcare, autonomous systems, IoT, and cybersecurity. This year?s conference will highlight key themes, including secure model aggregation, adaptive optimization, cross-device learning, real-time applications, and fairness in federated settings, reflecting FL?s expansion across distributed infrastructures. We welcome cutting-edge submissions in theory, algorithms, and applications, focusing on innovative approaches addressing communication efficiency, heterogeneity, privacy, and multi-model collaboration. Whether you are solving challenges in massive-scale FL systems or pioneering new methods for edge deployments, FLTA 2025 is the ideal stage to showcase your work, gain critical insights, and connect with top experts shaping the global FL research landscape. We look forward to welcoming you to the beautiful city of Dubrovnik and discussing your contributions to push FL research forward and establish its impact in distributed, collaborative intelligence, and Secure AI. Topics of interest: FLTA 2025 welcomes contributions that advance research and innovation in distributed, collaborative, and secure AI systems. Submissions are encouraged from a broad range of interdisciplinary topics, both theoretical and application-driven, including but not limited to: - Federated Learning Technologies - Distributed and Collaborative Intelligence - Privacy-Preserving and Secure AI - Data Heterogeneity and Distribution Challenges - Communication Efficiency and Scalability - Edge-Cloud Continuum and Heterogeneous Systems - Fairness, Bias, and Anomaly Detection in Federated Learning - Real-world applications and Domain-Specific Implementations - Cross-Disciplinary and Emerging Trends - FL Software engineering and Architectural approaches We also encourage submissions exploring cross-sector collaborations, case studies, and experimental results demonstrating distributed AI's effectiveness in real-world scenarios. ------------------------------------------------------------------------ Important Dates Full Paper Submission Date: June 1, 2025, Extended: June 30, 2025 Short paper/poster due: June 10, 2025, Extended: July 10, 2025 Notification to Authors: July 29, 2025 Camera Ready Submission: 15 August 2025 ----------------------------------------------------------------------- General Chairs - Peter Richtarik, KAUST, Saudi Arabia - Sebasti?n Ventura, University of Cordoba, Spain Steering Committee Chairs - Omer Rana, Complex Systems research group, Cardiff University, United Kingdom - Tarik Taleb, Ruhr University Bochum, Germany - Manuel Roveri, Politecnico di Milano, Italy - Schahram Dustdar TU Wien, Austria - Feras Awaysheh Umea University - Sadi Alawadi, BTH, Sweden Contact: Please send any inquiry on FLTA to Sadi Alawadi: sadi.alawadi at bth.se For Program: Fahed Alkhabbas fahed.alkhabbas at mau.se For keynote speech and sponsorships:Feras Awaysheh feras.awaysheh at umu.se For Website, registration, and technical issues: Addi Ait-Mlouk addi.ait-mlouk at his.se From geoff at cs.miami.edu Tue Jun 10 13:29:47 2025 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 10 Jun 2025 07:29:47 -0400 Subject: [Event@CIG] CADE-30 Call for Participation Message-ID: <20250610112947.2F6CCA04698@armistead.ccs.miami.edu> ******************************************************************************* CALL FOR PARTICIPATION CADE-30: 30th international Conference on Automated Deduction DHBW Stuttgart Stuttgart, Germany, July 28th - August 2nd, 2025 https://www.dhbw-stuttgart.de/cade-30/ ******************************************************************************* CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. The Herbrand Award for Distinguished Contributions to Automated Deduction, the Skolem Award(s) for influential historical CADE papers, and the Bill McCune PhD Award are presented at the conference. The conference will take place from July 28th to August 2nd 2025 at DHBW Stuttgart, Germany. It will feature a high-quality program of 37 peer-reviewed original papers, three invited talks, the CADE ATP System Competition, and 7 other co-located events. Registration for the conference is via EasyChair at https://easychair.org/conferences/?conf=cade30 IMPORTANT DATES Early registration deadline: June 23, 2025 Main conference: July 28-31, 2025 Satellite events: August 1-2, 2025 PROGRAM COMMITTEE CHAIRS Clark Barrett, Stanford University Uwe Waldmann, Max Planck Institute for Informatics PROGRAM COMMITTEE Erika ??br??ham, RWTH Aachen Haniel Barbosa, Universidade Federal de Minas Gerais Clark Barrett, Stanford University Jasmin Blanchette, Ludwig-Maximilians-Universit??t M??nchen Maria Paola Bonacina, Universit?? degli Studi di Verona Liron Cohen, Ben-Gurion University St??phane Demri, LMF, CNRS & ENS Paris-Saclay Huimin Dong, TU Wien Katalin Fazekas, TU Wien Mathias Fleury, University of Freiburg Pascal Fontaine, Universit?? de Li??ge Carsten Fuhs, Birkbeck, University of London Silvio Ghilardi, Universit?? degli Studi di Milano Alessandro Gianola, INESC-ID and Universidade de Lisboa Iris van der Giessen, University of Amsterdam Alberto Griggio, Fondazione Bruno Kessler Nao Hirokawa, JAIST Mikolas Janota, Czech Technical University in Prague Moa Johansson, Chalmers University of Technology Martin Jon????, Masaryk University, Czechia Cezary Kaliszyk, University of Innsbruck Konstantin Korovin, The University of Manchester Katherine Kosaian, Iowa State University Laura Kov??cs, TU Wien Peter Lammich, University of Twente Kuldeep S. Meel, University of Toronto Stephan Merz, Inria Nancy Cl??udia Nalon, University of Bras??lia Jakob Nordstr??m, University of Copenhagen and Lund University Nicola Olivetti, LSIS, Aix-Marseille University Elaine Pimentel, University College London Andr?? Platzer, Karlsruhe Institute of Technology Florian Rabe, FAU Erlangen-N??rnberg Andrew Reynolds, University of Iowa Philipp R??mmer, University of Regensburg Tanja Schindler, University of Basel Renate A. Schmidt, The University of Manchester Carsten Schuermann, IT University of Copenhagen Mihaela Sighireanu, ENS Paris-Saclay Alexandra Silva, University College London Viorica Sofronie-Stokkermans, University of Koblenz Martin Suda, Czech Technical University in Prague Yong Kiam Tan, Institute for Infocomm Research and NTU Singapore Guilherme Toledo, State University of Campinas Sophie Tourret, INRIA Nancy Ali Kemal Uncu, University of Bath Uwe Waldmann, MPI for Informatics Christoph Weidenbach, MPI for Informatics Bohua Zhan, Huawei Technologies Co., Ltd. Yoni Zohar, Bar-Ilan University CONFERENCE CHAIR Stephan Schulz, DHBW Stuttgart WORKSHOP CHAIR Sophie Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, University of Miami CONTACTS All questions about CADE-30 paper submissions should be emailed to the Chairs (cade30 at easychair.org). From PotykaN at cardiff.ac.uk Tue Jun 10 22:36:32 2025 From: PotykaN at cardiff.ac.uk (Nico Potyka) Date: Tue, 10 Jun 2025 20:36:32 +0000 Subject: [Event@CIG] CfP: KR 2025 Recently Published Research Track Message-ID: ************************************************************************ Call for Papers: KR 2025 Recently Published Research Track ************************************************************************ The KR 2025 Recently Published Research Track provides a forum to discuss recent research on KR-related topics that may not be easily accessible to the KR community. It invites submissions of extended abstracts of papers that have appeared or been accepted for publication in journals or conference proceedings. Accepted papers to the track will be linked from the conference web site. At least one author of each accepted paper is required to register for the conference to present the work. ************************************************************************ Expected Contributions ************************************************************************ Submissions should meet the following criteria: - ?Papers must have been published in a journal or conference proceedings (except KR) in 2023 or later. - ?Papers that are in press may be submitted as long as the final camera-ready version is available. They should also fall into one or both of the following categories: 1. Papers that - ?bridge KR to other areas of AI, computer science, or to other disciplines for which an interface with KR exists (this includes database theory, game theory, social choice, logic and philosophy, etc); - bridge KR to areas that make use of KR, such as multi-agent systems, planning, natural language understanding, machine learning, explainable AI; - go beyond the commonly-understood boundaries of KR. 2. Papers that are tightly related to KR and - have been published in journals but have not been presented at workshops or conferences; - have been presented at conferences that are not typically attended by the KR community; - have been accepted at general high-profile AI conferences such as IJCAI, ECAI, or AAAI, where the time allotted has not allowed for a full discussion of all key aspects of the paper. ************************************************************************ Important Dates ************************************************************************ The deadlines are AoE - Anywhere on Earth (UTC-12). Submission deadline: July 15, 2025 Notification of acceptance: August 12, 2025 ************************************************************************ Submission Details ************************************************************************ Every submission should contain: - A cover page (single page) listing the title, the authors, a complete reference to the original paper, an accessible URL from which the paper can be downloaded, and a list of keywords. The cover page must also contain a statement that the work the submission is based on has not been already presented to a KR audience in a major forum. - A two-page extended abstract of the paper following the format for regular paper KR 2025 submissions using the following style files. The extended abstract should present the main contributions of the paper, discuss the relevance of the paper to KR, and explain the significance of the results. Please submit as one PDF file to the Track Recently Published Research at: https://easychair.org/conferences/?conf=kr2025 ************************************************************************ Inquiries ************************************************************************ Inquiries should be sent by email to KR2025-rpr at easychair.org and will be handled by the KR 2025 RPR Track Chairs: Eduardo Ferm?, University of Madeira, Portugal Renate Schmidt, University of Manchester, UK