From cfp at okipublishing.com Thu Jul 2 15:04:08 2026 From: cfp at okipublishing.com (OkIP Cfp) Date: Thu, 02 Jul 2026 08:04:08 -0500 Subject: [Event@CIG] Due July 15- SERD 2026 Software Engineering Research & Development, Oct 1-2, Online & USA Message-ID: [Apologies if you receive multiple copies] --- Call for Abstracts and Papers ------------- 2026 OkIP International Conference on Software Engineering Research & Development (SERD) Downtown Oklahoma City, OK, USA & Online October 1-2, 2026 https://eventutor.com/e/SERD006 OkIP Published & Submission for Indexation Submission Deadline: July 15, 2026 Extended versions of the best papers will be considered for publication in the inaugural volume of the International Journal of Software Research. >> Keynote: "AI Social Responsibility Perspectives" Prof. Saman Halgamuge University of Melbourne, Australia. >> Areas: * General and Social Aspects of Software Engineering (SE) * Software Design, Testing, Evolution, and Maintenance * Formal Methods and Theoretical Foundations * Programming Languages (PLs), Systems, and Environments * Object-Oriented (OO) Design and Analysis * Service Orientation and Human Interactions * AI, Web-Based Environments, and Adaptive Systems * Automated Software Engineering * Emerging SE Technologies and Dependability * Distribution, Componentization, and Collaboration * Concurrent, Parallel, and Distributed Systems * More... https://eventutor.com/event/83/program Important Dates: - Abstract or Paper Submission: July 15, 2026 - Author Notification: August 1-15, 2026 - Camera Ready Paper Submission, Registration: August 7-22, 2026 - Conference Date: October 1-2, 2026 >> Technical Program Committee https://eventutor.com/event/83/page/224-committee >> Contribution Types (Two-Column Format Style): - Full Paper: Accomplished research results (6 pages) - Short Paper: Work in progress/fresh developments (3 pages) - Extended Abstract/Poster/Journal First: Displayed/Oral presented (1 page) Please feel free to contact us for any inquiries at: Kris Zeuti OkIP Secretariat info at okipublishing.com From geoff at cs.miami.edu Fri Jul 3 09:00:05 2026 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Fri, 3 Jul 2026 03:00:05 -0400 Subject: [Event@CIG] CfP Deduktionstreffen 2026 - Deadline Extension Message-ID: <20260703070005.8ED92A015AD@armistead.ccs.miami.edu> *** Call for Papers ??? apologies for cross-posting *** ************************************************************************ Deduktionstreffen 2026 August 11, 2026, Bremen, Germany DEADLINE EXTENSION Web site: https://conferences.mpi-inf.mpg.de/dt-26/ Submission of abstracts (1???4 pages) by July 12 ************************************************************************ The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the AI Chapter (FB KI) of the German Informatics Society (Gesellschaft f??r Informatik). It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting. A special focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2026 takes place as a workshop at the KI conference, which is colocated with the IJCAI conference. Submission ---------- We welcome contributions on all theoretical, experimental and application aspects of deduction. Informal submissions should be made as abstracts (1???4 pages) in English. They must be submitted in pdf format via easychair at https://easychair.org/conferences/?conf=dt2026 Submissions will be accepted until July 12. Submissions will be collected and circulated as an informal collection at the meeting and on the workshop homepage. Topics include, but are not limited to: --------------------------------------- * automated reasoning in propositional, first-order, higher-order, and non-classical logics * implementation of provers (SAT, SMT, resolution, superposition, tableau, instantiation-based, rewriting, logical frameworks, etc.) * automated reasoning tools for all kinds of practical problems and applications * integration of automated reasoning and LLM tools * practical experiences, usability aspects, feasibility studies * evaluation of implementation techniques and automated reasoning tools * performance aspects, benchmarking approaches; non-standard approaches to automated reasoning, non-standard forms of automated reasoning, new applications * implementation techniques, optimisation techniques, machine learning, strategies and heuristics, fairness * tools or methods that support prover development * system descriptions and demos. Organizers ---------- * Florian Rabe (University of Erlangen-Nuremberg) * Uwe Waldmann (Max Planck Institute for Informatics) Invited Speakers ---------------- * Till Mossakowski (University of Osnabrueck) * Martin Fr??nzle (University of Oldenburg) Programme Committee ------------------- * Christoph Benzm??ller (University Bamberg) * Armin Biere (University of Freiburg) * Jasmin Blanchette (LMU M??nchen) * Christoph L??th (DFKI Bremen) * Carsten Lutz (University Leipzig) * Claudia Schon (Hochschule Trier) * Lutz Schr??der (University Erlangen-Nuremberg) * Stephan Schulz (DHBW Stuttgart) * Viorica Sofronie-Stokkermans (University of Koblenz) From giovanni.stanco at unina.it Tue Jun 30 12:56:35 2026 From: giovanni.stanco at unina.it (GIOVANNI STANCO) Date: Tue, 30 Jun 2026 10:56:35 +0000 Subject: [Event@CIG] [CFP: AIMEH'26 - WiMob'26] Second International Workshop on AI for Mobile & Wireless Health: Advancing Explainability in the Future of Healthcare 2026 In-Reply-To: References: Message-ID: Second International Workshop on AI for Mobile & Wireless Health: Advancing Explainability in the Future of Healthcare 2026 (AIMEH'26) Joint with the 22nd International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2026) Avignon, France // 14 - 16 October 2026 https://sites.google.com/view/aimeh2026/home-page<%20https:/sites.google.com/view/aimeh2026/home-page%0d> Call for Papers The Second International Workshop on AI for Mobile & Wireless Health: Advancing Explainability in the Future of Healthcare 2026 (AIMEH'26) invites high-quality submissions of papers describing original and unpublished research results regarding the use of AI and XAI in next-gen wireless and mobile networks in the context of healthcare. TOPICS OF INTEREST Topics of interest include, but are not limited to: * 5G Network architectures and protocols for medical applications * Wi-Fi adoption in healthcare IoT and real-time medical data transmission * AI adoption in healthcare and networks * Network advancements in telemedicine * 5G, Wi-Fi 6, and AI for Remote Patient Monitoring * AI and ML in data processing, storage, and analytics * AI for Secure and Intelligent Data Transmission for Healthcare * AI-Driven Network Optimization for Healthcare Applications * Interoperability and AI in Smart Healthcare Networks * Privacy-Preserving AI in Networks for Healthcare * Regulatory and Ethical Considerations for AI in Healthcare Networks * Cybersecurity Challenges in AI-Powered Healthcare Systems * Machine Learning for Anomaly Detection in Medical and Network Data * Smart resource allocation for critical healthcare services * Security and Privacy in Wireless Networks for Healthcare * eXplainable AI (XAI) in Networks for Healthcare * XAI for Trustworthy Medical Decision-Making * AI-Powered Digital Twins for Healthcare and Network Optimization * Federated Learning in Healthcare * Advancements in wireless networks for Federated Learning SUBMISSION GUIDELINES All papers accepted by a workshop will be published in the WiMob 2026 Proceedings and will be sent for inclusion in the IEEE eXplore digital library. Workshop papers must follow the guidelines and size limit as provided in the "author guidelines" on the WiMob website: http://www.wimob.org/wimob2026/guidelines.php The submission and revision process will be managed through the EDAS system (submission link: https://edas.info/newPaper.php?c=35176). IMPORTANT DATES * Paper submission deadline for the workshop: July 15, 2026 * Paper acceptance for the workshop: August 15, 2026 * Camera ready & Author Registration: September 1, 2026 * Workshop: October 14, 2026 We look forward to your valuable contributions and hope to see you at the workshop. Best regards, Stefania Zinno and Giovanni Stanco Second International Workshop on AI for Mobile & Wireless Health: Advancing Explainability in the Future of Healthcare (AIMEH'26)