From oumaima.boulkhoukh at univ-st-etienne.fr Fri Jun 7 09:12:23 2024 From: oumaima.boulkhoukh at univ-st-etienne.fr (Oumaima Boulkhoukh) Date: Fri, 7 Jun 2024 11:12:23 +0200 (CEST) Subject: [Haskell] International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024 Message-ID: <920623518.27350927.1717751543749.JavaMail.zimbra@univ-st-etienne.fr> Call for papers ************************************************* International Conference on Artificial Intelligence Revolutions (AIR 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/air/ | https://confscience.com/air/ ] Call for papers We would like to remind you that the final submission date is extended to 10 July 2024 Apologies for Cross-posting ************************************************* International Conference on Artificial Intelligence Revolutions (AIR 2024) Roanne, France, October 30-31, 2024 https://confscience.com/air/ All papers accepted in AIR 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The AIR 2024 conference will be held in Conjunction with: The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) The International Conference on Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - Theoretical Advances in AI Algorithms - Machine Learning - Neural Networks and Deep Learning - Multi-Agent Systems - Statistical Learning and Probability in AI - Natural Language Processing (NLP) Theories - Symbolic AI and Knowledge Representation - Explainable AI (XAI) - Generative AI - Cognitive Architectures - Reinforcement Learning Theories - Protocols and Communication - Collaborative Environments - Multi-user and Distributed Systems - AI and Digital Transformation - Computer Vision - Simulation and Virtual Environments - AI in Design Thinking and Creativity - AI-driven Innovation Models Track 2: AI and Sustainability - Circular Economy and AI - Eco-friendly AI Hardware Design - Green Computing: Sustainable Data Centers - Biodiversity Monitoring with AI - AI for Clean Energy Grids - Sustainable Transportation Solutions - Water Resource Management with AI - Renewable Energy Forecasting with AI - Carbon Footprint Reduction Strategies - Smart Buildings and Energy Efficiency - Waste Sorting and Recycling Automation - Sustainable Manufacturing with AI - Eco-conscious Consumer Behavior Analysis - Climate Data Analytics - Natural Disaster Preparedness and Response - Ocean Conservation with AI - Urban Green Spaces Planning - AI-driven Pollution Monitoring - Sustainable Tourism with AI - E-waste Recycling Innovation - AI and energy Track 3: AI Transformative Applications - Algorithmic Trading and Market Predictions - AI for Financial Inclusion - AI for marine applications - AI in Public Health Management - Predictive Analytics in Epidemiology - Smart Infrastructure in Urban Development - Precision Agriculture and AI - AI-based Disaster Response and Recovery - AI-driven Climate Resilient Infrastructure - Smart Traffic Management with AI - Blockchain in Agriculture Supply Chains - AI for Earthquake Prediction - Smart Grids and AI for Energy Distribution - Autonomous Vehicles Track 4: AI for Drones and UAS - Sustainable Drone Fleet Management - AI-powered Urban Air Mobility Solutions - Innovative Air Traffic Flow Optimization - AI-driven Weather Resilience in Air Traffic - Eco-conscious Drone Traffic Control - Sustainable Communication Networks - AI Drone-based Surveillance - Ethical AI in Emergency Response for Drones - AI for Precision Agriculture Sustainability - Human-Drone Collaboration - Sustainable AI-enhanced Search and Rescue - Sustainable Drone Operations - Responsible Innovation for Air Traffic Safety - AI-driven Noise Reduction - Autonomous Space Probes Track 5: AI and Education - AI and student innovation - Adaptive Learning Platforms - Personalized Tutoring with AI - Smart Classrooms and AI Integration - Automated Grading and Assessment - Virtual Reality (VR) and AI in Education - AI for Learning Disabilities - Gamification and AI - Predictive Analytics in Education - Ethical Considerations in AI Education - AI-Enhanced Content Creation - Chatbots and Virtual Assistants for Students - AI for Early Childhood Education - Language Learning with AI - AI and Educational Research Measuring - Educational Outcomes with AI - Education Accessibility with AI - Responsible AI Education and Training Track 6: Responsible AI - Fairness and Bias Mitigation in AI Algorithms - Responsible AI Governance and Regulation - Privacy-preserving AI Technologies - Ethical Considerations in AI Decision-making - Trustworthy AI: Building User Confidence - AI for Social Justice and Inclusion - Combating AI-generated Misinformation - AI-driven Cybersecurity Threat Intelligence - Secure AI Deployment - AI Accountability and Liability - Human Rights and AI - Algorithmic Transparency and Accountability - AI in Law and Legal Ethics - Bias Detection and Mitigation Tools - Cross-cultural Ethics in AI - Digital Ethics in Virtual Environments - Algorithmic Accountability in Criminal Justice - Responsible Data Management in AI *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/my/conference?conf=air2024). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: https://confscience.com/air/ *************************************************************************** CONTACT For more information, please send an email to (ahmed.nait at univ-st-etienne.fr) and (nafaa.jabeur at gutech.edu.om) -------------- next part -------------- An HTML attachment was scrubbed... URL: From bortzmeyer at nic.fr Fri Jun 7 09:33:21 2024 From: bortzmeyer at nic.fr (Stephane Bortzmeyer) Date: Fri, 7 Jun 2024 11:33:21 +0200 Subject: [Haskell] International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024 In-Reply-To: <920623518.27350927.1717751543749.JavaMail.zimbra@univ-st-etienne.fr> References: <920623518.27350927.1717751543749.JavaMail.zimbra@univ-st-etienne.fr> Message-ID: On Fri, Jun 07, 2024 at 11:12:23AM +0200, Oumaima Boulkhoukh wrote a message of 2672 lines which said: > International Conference on Artificial Intelligence Revolutions (AIR > 2024) There are many red flags on the Web site. It seems quite overblown, not to say a stronger word. From amjad.el.khatib at univ-st-etienne.fr Fri Jun 7 14:01:03 2024 From: amjad.el.khatib at univ-st-etienne.fr (Amjad El Khatib) Date: Fri, 7 Jun 2024 16:01:03 +0200 (CEST) Subject: [Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024 Message-ID: <1125206818.27593082.1717768863766.JavaMail.zimbra@univ-st-etienne.fr> Call for papers ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/isih/ | https://confscience.com/isih/ ] Call for papers We would like to remind you that the final submission date is extended to 10 July 2024 Apologies for Cross-posting ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/isih/ | https://confscience.com/isih/ ] All papers accepted in ISIH 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The ISIH 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - AI methods for medical device testing - Predicting and monitoring infectious disease - Machine learning for healthcare - Medical data and image analysis - Data quality assessment and improvement - Electronic medical records analysis - Deep Learning for healthcare - Screening and diagnosis - Explainable AI for healthcare - Multiagent systems for healthcare - AI-based simulations - Bio-inspired solutions for healthcare - Smart healthcare - Medical edge computing Track 2: Innovation and Connectivity - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - Emergent communication technologies - IoT-based disease surveillance - Prevention and detection systems - Rehabilitation technologies - Wearable health informatics - 5G for healthcare - Healthcare supply chain and logistics - Telemedicine and Mobile systems - Drones and robots for healthcare - Internet of Medical Things - Medical embedded systems - Network and services virtualization - Nanoscale healthcare Track 3: Human Computer Interaction - Human-Machine Interaction - Methods for inputting data for e-health - Models for human-device interaction - Model-based design and configuration tools - New experimental validation methods - Standardization, certification, and labeling - Communication and interoperability - Regulation compliant services (e.g., HIPAA) - Socio-economic issues - Feedback integration - Accessibility - Personalization and patient experience - Augmented/Virtual Reality solutions - Voice recognition - Enhanced Living Environment (ELE) Track 4: Sustainable Healthcare - Green healthcare facilities - Renewable energy integration in healthcare - Waste reduction and recycling - Sustainable supply chain management - Eco-friendly medical equipment and devices - Sustainable health practices - Educational initiatives - AI approaches for sustainable healthcare - Innovations for sustainable healthcare - AI approaches for global health equity - Quality of Service - Quality of Experience Track 5: Applications and Trends - Network and services virtualization - Software-Defined Networking (SDN) - Bioinformatics - Clinical Decision Support Systems - Interoperability for personal Health systems - Medical imaging - Evidence-based medicine - Blockchain applications - Smart health and big data - Health Information exchange solutions - Medical and patient scheduling software - Medication administration systems - Healthcare information systems - Integration and interoperability - Medical records - Clinical reporting systems - eHealth services - Robotics and Automation in Healthcare - Augmented and Virtual Reality in Healthcare Track 6: Ethics and Security - Ethics in AI-assisted diagnostics - Patient consent and data privacy - Bias and fairness in AI algorithms - Transparency in AI Decision-Making - Doctor-patient trust and communication - Security concerns in AI-enabled healthcare - AI healthcare technologies and equity - AI-generated medical insights - Innovation and patient privacy rights - Predictive modeling and informed consent - Social implications of AI in healthcare - Ethics in AI-enhanced patient treatment - Patient empowerment - Ethics in AI-integrated medical research - Data Security and Protection - Cybersecurity in healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( [ https://easychair.org/my/conference?conf=isih2024 | https://easychair.org/my/conference?conf=isih2024 ] ). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: [ https://confscience.com/isih/ | https://confscience.com/isih/ ] *************************************************************************** CONTACT: For more information, please send an email to ( [ mailto:ahmed.nait at univ-st-etienne.fr | ahmed.nait at univ-st-etienne.fr ] ) and ( [ mailto:nafaa.jabeur at gutech.edu.om | nafaa.jabeur at gutech.edu.om ] -------------- next part -------------- An HTML attachment was scrubbed... URL: From calimeri at mat.unical.it Tue Jun 11 11:00:41 2024 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Tue, 11 Jun 2024 13:00:41 +0200 Subject: [Haskell] HC@AIxIA: AI&Health Seminar Series (2024) - JUNE 17 Message-ID: Dear Madam/Sir, This is to officially announce the FIFTH seminar of the "AI & Health" series as hosted by HC at AIxIA, i.e., the "Artificial Intelligence for Healthcare" working group of the Italian Association for Artificial Intelligence. *Save the date: 17 JUNE 2024.* We hope you will attend and participate in the discussion on the relevant topics that will be presented and by our speakers. *Feel free to share this with those potentially interested.* Please find some details below, and a poster attached. All directions for participating are available at https://aixia.it/en/gruppi/hc/. *== Are you interested in Joining the group? ==* Please head to https://aixia.it/en/gruppi/hc/ fo find out how. Do not hesitate to contact us at hc-aixia at googlegroups.com for any information or clarification. Thank you for your interest in the AI & Health seminar series and the HC at AIxIA working group, and see you soon! Sincerely, Francesco Calimeri, Mauro Dragoni, Fabio Stella (coordinators of the HC at AIxIA working group) *== June 2024 seminar ==* *Link to participate: * https://unimib.webex.com/unimib/j.php?MTID=m28ccb1f152d586e7d920c9b856da3d97 *2024 June 17 - 4:30PM CET* *Luca Neri* Senior Director, GMO Data Science Lead - Clinical Advanced Analytics – AP, LATAM, EMEA region, Fresenius Medical Care Italia S.p.A. *Title*: AI in medicine: from the conceptualization to its clinical application. Opportunities & Challenges *Abstract*: The path from brilliant ideas to their concrete embodiment into a working application it’s a fascinating (and sometimes exhausting) journey of opportunities and challenges. We will provide an overview of why medicine needs AI. We will further explore the challenges we encounter throughout the development cycle and how we have tried to overcome them. >From demand analysis, to model development, through the hurdles of current global regulatory landscape, market access and health-technology assessment, we will discover that a model in medicine is not just a model. It means encoding medical knowledge in a way that is legally usable (and desirable) by doctors, nurses and patients in a highly regulated sector. *Short Bio*: Dr Neri earned his MD and PhD degree in Occupational & Environmental Medicine at the School of Medicine of the University of Milan. He joined the Saint Louis University Center for Outcomes Research (SLUCOR - St. Louis, MO, USA) as an epidemiologist and outcomes research scientist in 2005 and served as Adjunct Instructor of Health Management and Policy at the same institution until 2013. In January 2010 he also joined the Department of Clinical Science and Community Health of the University of Milan, his hometown. His research interests spanned across multiple therapeutic areas. He collaborated with academic and commercial partners in developing new research, devising methods for answering investigative questions and solving research design problems. He authored over 90 original papers in international, peer reviewed scientific journals in the field of outcomes research and epidemiology. He joined Fresenius as a data scientist in 2016 and he now leads the Data Science Division in the Clinical Advanced Analytic team for the Global Medical Office for the EMEA, LATAM, APAC regions. The Data Science team develops AI-tools assisting healthcare professionals undertaking complex decisions in their day-to-day work activity. [image: HC at AIxIA - Seminars AI & Health 2024 - Locandina 06.png] -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: HC at AIxIA - Seminars AI & Health 2024 - Locandina 06.png Type: image/png Size: 806471 bytes Desc: not available URL: From amjad.el.khatib at univ-st-etienne.fr Wed Jun 12 12:22:03 2024 From: amjad.el.khatib at univ-st-etienne.fr (amjad.el.khatib at univ-st-etienne.fr) Date: Wed, 12 Jun 2024 14:22:03 +0200 Subject: [Haskell] International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024 [Deadline extended to July 10th] Message-ID: <012e01dabcc3$222585e0$667091a0$@univ-st-etienne.fr> Call for papers ************************************************* International Conference on Artificial Intelligence Revolutions (AIR 2024) Roanne, France, October 30-31, 2024 https://confscience.com/air/ Call for papers We would like to remind you that the final submission date is extended to 10 July 2024 Apologies for Cross-posting ************************************************* International Conference on Artificial Intelligence Revolutions (AIR 2024) Roanne, France, October 30-31, 2024 https://confscience.com/air/ All papers accepted in AIR 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI's Engineering Information Index, Compendex, ISI Thomson's Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The AIR 2024 conference will be held in Conjunction with: The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) The International Conference on Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - Theoretical Advances in AI Algorithms - Machine Learning - Neural Networks and Deep Learning - Multi-Agent Systems - Statistical Learning and Probability in AI - Natural Language Processing (NLP) Theories - Symbolic AI and Knowledge Representation - Explainable AI (XAI) - Generative AI - Cognitive Architectures - Reinforcement Learning Theories - Protocols and Communication - Collaborative Environments - Multi-user and Distributed Systems - AI and Digital Transformation - Computer Vision - Simulation and Virtual Environments - AI in Design Thinking and Creativity - AI-driven Innovation Models Track 2: AI and Sustainability - Circular Economy and AI - Eco-friendly AI Hardware Design - Green Computing: Sustainable Data Centers - Biodiversity Monitoring with AI - AI for Clean Energy Grids - Sustainable Transportation Solutions - Water Resource Management with AI - Renewable Energy Forecasting with AI - Carbon Footprint Reduction Strategies - Smart Buildings and Energy Efficiency - Waste Sorting and Recycling Automation - Sustainable Manufacturing with AI - Eco-conscious Consumer Behavior Analysis - Climate Data Analytics - Natural Disaster Preparedness and Response - Ocean Conservation with AI - Urban Green Spaces Planning - AI-driven Pollution Monitoring - Sustainable Tourism with AI - E-waste Recycling Innovation - AI and energy Track 3: AI Transformative Applications - Algorithmic Trading and Market Predictions - AI for Financial Inclusion - AI for marine applications - AI in Public Health Management - Predictive Analytics in Epidemiology - Smart Infrastructure in Urban Development - Precision Agriculture and AI - AI-based Disaster Response and Recovery - AI-driven Climate Resilient Infrastructure - Smart Traffic Management with AI - Blockchain in Agriculture Supply Chains - AI for Earthquake Prediction - Smart Grids and AI for Energy Distribution - Autonomous Vehicles Track 4: AI for Drones and UAS - Sustainable Drone Fleet Management - AI-powered Urban Air Mobility Solutions - Innovative Air Traffic Flow Optimization - AI-driven Weather Resilience in Air Traffic - Eco-conscious Drone Traffic Control - Sustainable Communication Networks - AI Drone-based Surveillance - Ethical AI in Emergency Response for Drones - AI for Precision Agriculture Sustainability - Human-Drone Collaboration - Sustainable AI-enhanced Search and Rescue - Sustainable Drone Operations - Responsible Innovation for Air Traffic Safety - AI-driven Noise Reduction - Autonomous Space Probes Track 5: AI and Education - AI and student innovation - Adaptive Learning Platforms - Personalized Tutoring with AI - Smart Classrooms and AI Integration - Automated Grading and Assessment - Virtual Reality (VR) and AI in Education - AI for Learning Disabilities - Gamification and AI - Predictive Analytics in Education - Ethical Considerations in AI Education - AI-Enhanced Content Creation - Chatbots and Virtual Assistants for Students - AI for Early Childhood Education - Language Learning with AI - AI and Educational Research Measuring - Educational Outcomes with AI - Education Accessibility with AI - Responsible AI Education and Training Track 6: Responsible AI - Fairness and Bias Mitigation in AI Algorithms - Responsible AI Governance and Regulation - Privacy-preserving AI Technologies - Ethical Considerations in AI Decision-making - Trustworthy AI: Building User Confidence - AI for Social Justice and Inclusion - Combating AI-generated Misinformation - AI-driven Cybersecurity Threat Intelligence - Secure AI Deployment - AI Accountability and Liability - Human Rights and AI - Algorithmic Transparency and Accountability - AI in Law and Legal Ethics - Bias Detection and Mitigation Tools - Cross-cultural Ethics in AI - Digital Ethics in Virtual Environments - Algorithmic Accountability in Criminal Justice - Responsible Data Management in AI *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/my/conference?conf=air2024). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: https://confscience.com/air/ *************************************************************************** CONTACT For more information, please send an email to (ahmed.nait at univ-st-etienne.fr ) and (nafaa.jabeur at gutech.edu.om ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From oumaima.boulkhoukh at univ-st-etienne.fr Wed Jun 12 12:34:00 2024 From: oumaima.boulkhoukh at univ-st-etienne.fr (Oumaima Boulkhoukh) Date: Wed, 12 Jun 2024 14:34:00 +0200 (CEST) Subject: [Haskell] International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024 Message-ID: <2132013171.30065046.1718195640609.JavaMail.zimbra@univ-st-etienne.fr> Call for papers ************************************************* International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/baiqc/ | https://confscience.com/baiqc/ ] Call for papers We would like to remind you that the final submission date is extended to 10 July 2024 Apologies for Cross-posting ************************************************* International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) Roanne, France, October 30-31, 2024 https://confscience.com/baiqc/ All papers accepted in BAIQC 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The BAIQC 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) The International Conference on Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Foundations and Theories - Quantum Computing architecture - Quantum Mechanics Fundamentals for Computing - Quantum Gates and Circuits - Quantum Algorithms - Quantum Error Correction - Quantum Hardware Architectures - Quantum Software Development - Quantum Complexity Theory - Quantum Speedup and Limitations - Quantum Entanglement and Superposition - Quantum Annealing - Quantum Cryptography Basics - Quantum Information Processing - Quantum Compilation Techniques - Quantum languages - QC Simulation Track 2: Integration of AI and QC - Machine Learning Applications in QC - Data Analytics for Quantum Information Processing - Hybrid Quantum-Classical Algorithms - Quantum-enhanced Machine Learning Models - Quantum Data Preprocessing - QC for Big Data Analytics - Quantum-inspired Classical Algorithms - Quantum Machine Learning - Quantum-enhanced Optimization - Quantum Simulation in AI Research - Quantum Machine Learning Interpretability - Quantum-enhanced Data Clustering - Quantum Data Privacy and Security - Quantum-enhanced Feature Selection - Quantum Reinforcement Learning - QC and NLP Track 3: Quantum Information Science - Quantum Information Theory - AI-Enhanced Quantum Communication Protocols - Quantum Key Distribution - Quantum Teleportation and Data Analytics - Quantum Networking - Enhancing Precision with Data-Driven Techniques - Quantum Sensing Techniques - Quantum State Tomography - Quantum Channel Capacity Optimization - Quantum Error Correction - Quantum Data-Driven Approaches - AI algorithms for Quantum Information Retrieval - Quantum Internet - Data-driven Self-regulating Systems Track 4: Quantum Security - Post-Quantum Cryptography - Quantum-resistant Algorithms - Quantum-safe Communication Infrastructures - Secure Quantum Key Exchange - Quantum-resistant Hash Functions - Quantum-resistant Signature Schemes - Quantum Cybersecurity Threats - Quantum-Secure Cloud Computing - Quantum-resistant Blockchain Technologies - Secure Quantum Communication Networks - Quantum-resistant Authentication - Quantum-resistant Access Control - Quantum Security Standards - Quantum-resistant Digital Signatures - Quantum-resistant Public-Key Cryptography Track 5: Applications and Technologies - Quantum-enhanced Sensing Technologies - QC for Chemistry and Material Science - QC in Finance - QC in Healthcare - Quantum-enhanced Imaging Technologies - Quantum-enhanced AI Applications - Quantum Robotics and Automation - Quantum-enhanced Supply Chain Optimization - QC in Energy - Quantum applications for Environmental Science - QC in Space Exploration - Quantum-enhanced Weather Prediction - QC for Traffic Optimization - QC for Smart Cities - Quantum-enhanced Satellite Communication - Quantum-enhanced Cyber-Physical Systems *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/my/conference?conf=baiqc2024). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: https://confscience.com/baiqc/ *************************************************************************** CONTACT For more information, please send an email to (ahmed.nait at univ-st-etienne.fr) and (nafaa.jabeur at gutech.edu.om) -------------- next part -------------- An HTML attachment was scrubbed... URL: From gvidal at dsic.upv.es Thu Jun 13 20:31:08 2024 From: gvidal at dsic.upv.es (German Vidal) Date: Thu, 13 Jun 2024 22:31:08 +0200 Subject: [Haskell] DEBT 2024: 2nd Call for Papers Message-ID: <56A096A3-C672-48DE-BE89-44C384518109@dsic.upv.es> ================================================================================ DEBT 2024, Workshop co-located with ECOOP/ISSTA 2024, Vienna, Austria Second Workshop on Future Debugging Techniques (https://conf.researchr.org/home/issta-ecoop-2024/debt-2024) ================================================================================ DEBT 2024 is looking to advance state-of-the-art debuggers and debugging techniques for modern software. We welcome researchers from all related areas including dynamic and static debugging techniques, techniques aimed at helping with the hard task of diagnosing the root cause of bugs, delta debugging, novel visualization techniques for debugging programs, etc. The workshop aims to gather the community and foster discussion from different perspectives. That is why we seek submissions in the form of papers as well as talks and tool demonstrations. The workshop is a venue for all approaches to debugging. Call for Contributions -------------------------------- This workshop welcomes the presentation of new ideas, reflections, emerging problems as well as more mature work. We plan to schedule enough time between presentations to foster discussions of work. To this end, we invite three kinds of submissions: * Technical papers on mature work, up to 12 pages. * Work-in-progress papers on ideas in early stages, from 2 to 6 pages. * Talks and tool demonstrations, 1-page abstract. Topics of interest include, but are not limited to, the following ones: * Debugging techniques, from static to dynamic techniques. * Innovative visualisation techniques. * Techniques targeted specific programming models and execution models (e.g. concurrent and parallel programming, microservices, distributed ledgers, web, etc. ) or hardware (e.g. debugging micro-controllers, mobile devices, Big Data applications, etc.). * Case studies and evaluation of such techniques, e.g. user studies on visualisation tools, debuggers, etc. * Surveys, taxonomies of bugs and bug patterns, and current practices/uses of debugging approaches. Papers must be submitted electronically via hotcrp: https://debt24.hotcrp.com/ Authors should use the official ACM Master article template, which can be obtained from the ACM Proceedings Template pages. Important Dates ----------------------- * Paper submission deadline: Fri 28, June 2024 * Demo submission deadline: Fri 5, July 2024 * Author notification: Mon 22, July 2024 * Camera ready deadline: Wed 31, July 2024 * DEBT Workshop: September 19, 2024 Workshop Organizers --------------------------- * Elisa Gonzalez Boix, Vrije Universiteit Brussel, Belgium * Christophe Scholliers, Ghent University, Belgium For more information see: https://conf.researchr.org/home/issta-ecoop-2024/debt-2024 From amjad.el.khatib at univ-st-etienne.fr Tue Jun 18 07:34:28 2024 From: amjad.el.khatib at univ-st-etienne.fr (amjad.el.khatib at univ-st-etienne.fr) Date: Tue, 18 Jun 2024 09:34:28 +0200 Subject: [Haskell] International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024 [Deadline extended to July 10th] Message-ID: <014501dac151$f421d2a0$dc6577e0$@univ-st-etienne.fr> Call for papers ************************************************* International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024) Roanne, France, October 30-31, 2024 https://confscience.com/baiqc/ Call for papers We would like to remind you that the final submission date is extended to 10 July 2024 Apologies for Cross-posting ************************************************* International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) Roanne, France, October 30-31, 2024 https://confscience.com/baiqc/ All papers accepted in BAIQC 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI's Engineering Information Index, Compendex, ISI Thomson's Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The BAIQC 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) The International Conference on Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Foundations and Theories - Quantum Computing architecture - Quantum Mechanics Fundamentals for Computing - Quantum Gates and Circuits - Quantum Algorithms - Quantum Error Correction - Quantum Hardware Architectures - Quantum Software Development - Quantum Complexity Theory - Quantum Speedup and Limitations - Quantum Entanglement and Superposition - Quantum Annealing - Quantum Cryptography Basics - Quantum Information Processing - Quantum Compilation Techniques - Quantum languages - QC Simulation Track 2: Integration of AI and QC - Machine Learning Applications in QC - Data Analytics for Quantum Information Processing - Hybrid Quantum-Classical Algorithms - Quantum-enhanced Machine Learning Models - Quantum Data Preprocessing - QC for Big Data Analytics - Quantum-inspired Classical Algorithms - Quantum Machine Learning - Quantum-enhanced Optimization - Quantum Simulation in AI Research - Quantum Machine Learning Interpretability - Quantum-enhanced Data Clustering - Quantum Data Privacy and Security - Quantum-enhanced Feature Selection - Quantum Reinforcement Learning - QC and NLP Track 3: Quantum Information Science - Quantum Information Theory - AI-Enhanced Quantum Communication Protocols - Quantum Key Distribution - Quantum Teleportation and Data Analytics - Quantum Networking - Enhancing Precision with Data-Driven Techniques - Quantum Sensing Techniques - Quantum State Tomography - Quantum Channel Capacity Optimization - Quantum Error Correction - Quantum Data-Driven Approaches - AI algorithms for Quantum Information Retrieval - Quantum Internet - Data-driven Self-regulating Systems Track 4: Quantum Security - Post-Quantum Cryptography - Quantum-resistant Algorithms - Quantum-safe Communication Infrastructures - Secure Quantum Key Exchange - Quantum-resistant Hash Functions - Quantum-resistant Signature Schemes - Quantum Cybersecurity Threats - Quantum-Secure Cloud Computing - Quantum-resistant Blockchain Technologies - Secure Quantum Communication Networks - Quantum-resistant Authentication - Quantum-resistant Access Control - Quantum Security Standards - Quantum-resistant Digital Signatures - Quantum-resistant Public-Key Cryptography Track 5: Applications and Technologies - Quantum-enhanced Sensing Technologies - QC for Chemistry and Material Science - QC in Finance - QC in Healthcare - Quantum-enhanced Imaging Technologies - Quantum-enhanced AI Applications - Quantum Robotics and Automation - Quantum-enhanced Supply Chain Optimization - QC in Energy - Quantum applications for Environmental Science - QC in Space Exploration - Quantum-enhanced Weather Prediction - QC for Traffic Optimization - QC for Smart Cities - Quantum-enhanced Satellite Communication - Quantum-enhanced Cyber-Physical Systems *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/my/conference?conf=baiqc2024). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: https://confscience.com/baiqc/ *************************************************************************** CONTACT For more information, please send an email to (ahmed.nait at univ-st-etienne.fr ) and (nafaa.jabeur at gutech.edu.om ) ---------------------------------------------------------------------------- ------------ To unsubscribe from CHI-JOBS send an email to: mailto:chi-jobs-unsubscribe-request at listserv.acm.org To manage your SIGCHI Mailing lists or read our polices see: https://sigchi.org/operations/listserv/ ---------------------------------------------------------------------------- ------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: From oumaima.boulkhoukh at univ-st-etienne.fr Tue Jun 18 07:44:06 2024 From: oumaima.boulkhoukh at univ-st-etienne.fr (Oumaima Boulkhoukh) Date: Tue, 18 Jun 2024 09:44:06 +0200 (CEST) Subject: [Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024 Message-ID: <2125785761.33724004.1718696646272.JavaMail.zimbra@univ-st-etienne.fr> Call for papers ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/isih/ | https://confscience.com/isih/ ] Call for papers We would like to remind you that the final submission date is extended to 10 July 2024 Apologies for Cross-posting ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 https://confscience.com/isih/ All papers accepted in ISIH 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The ISIH 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - AI methods for medical device testing - Predicting and monitoring infectious disease - Machine learning for healthcare - Medical data and image analysis - Data quality assessment and improvement - Electronic medical records analysis - Deep Learning for healthcare - Screening and diagnosis - Explainable AI for healthcare - Multiagent systems for healthcare - AI-based simulations - Bio-inspired solutions for healthcare - Smart healthcare - Medical edge computing Track 2: Innovation and Connectivity - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - Emergent communication technologies - IoT-based disease surveillance - Prevention and detection systems - Rehabilitation technologies - Wearable health informatics - 5G for healthcare - Healthcare supply chain and logistics - Telemedicine and Mobile systems - Drones and robots for healthcare - Internet of Medical Things - Medical embedded systems - Network and services virtualization - Nanoscale healthcare Track 3: Human Computer Interaction - Human-Machine Interaction - Methods for inputting data for e-health - Models for human-device interaction - Model-based design and configuration tools - New experimental validation methods - Standardization, certification, and labeling - Communication and interoperability - Regulation compliant services (e.g., HIPAA) - Socio-economic issues - Feedback integration - Accessibility - Personalization and patient experience - Augmented/Virtual Reality solutions - Voice recognition - Enhanced Living Environment (ELE) Track 4: Sustainable Healthcare - Green healthcare facilities - Renewable energy integration in healthcare - Waste reduction and recycling - Sustainable supply chain management - Eco-friendly medical equipment and devices - Sustainable health practices - Educational initiatives - AI approaches for sustainable healthcare - Innovations for sustainable healthcare - AI approaches for global health equity - Quality of Service - Quality of Experience Track 5: Applications and Trends - Network and services virtualization - Software-Defined Networking (SDN) - Bioinformatics - Clinical Decision Support Systems - Interoperability for personal Health systems - Medical imaging - Evidence-based medicine - Blockchain applications - Smart health and big data - Health Information exchange solutions - Medical and patient scheduling software - Medication administration systems - Healthcare information systems - Integration and interoperability - Medical records - Clinical reporting systems - eHealth services - Robotics and Automation in Healthcare - Augmented and Virtual Reality in Healthcare Track 6: Ethics and Security - Ethics in AI-assisted diagnostics - Patient consent and data privacy - Bias and fairness in AI algorithms - Transparency in AI Decision-Making - Doctor-patient trust and communication - Security concerns in AI-enabled healthcare - AI healthcare technologies and equity - AI-generated medical insights - Innovation and patient privacy rights - Predictive modeling and informed consent - Social implications of AI in healthcare - Ethics in AI-enhanced patient treatment - Patient empowerment - Ethics in AI-integrated medical research - Data Security and Protection - Cybersecurity in healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/my/conference?conf=isih2024). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: https://confscience.com/isih/ *************************************************************************** CONTACT: For more information, please send an email to (ahmed.nait at univ-st-etienne.fr) and (nafaa.jabeur at gutech.edu.om) -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Tue Jun 18 10:20:18 2024 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Tue, 18 Jun 2024 03:20:18 -0700 Subject: [Haskell] International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024 [Deadline extended to July 10th] In-Reply-To: <014501dac151$f421d2a0$dc6577e0$@univ-st-etienne.fr> References: <014501dac151$f421d2a0$dc6577e0$@univ-st-etienne.fr> Message-ID: I don't see any relation between this call for papers and Haskell. Amjad, can you please stop forwarding these to haskell-cafe? Thanks, Ivan On Tue, 18 Jun 2024 at 00:35, wrote: > *Call for papers* > > ************************************************** * > > *International Conference on Artificial Intelligence and Quantum Computing > (BAIQC 2024) * > > *Roanne, France, October 30-31, 2024* > > *https://confscience.com/baiqc/ * > > > > *Call for papers* > > We would like to remind you that the final submission date is extended to > 10 July 2024 > > Apologies for Cross-posting > > ************************************************* > > International Conference on Borderless Artificial Intelligence and Quantum > Computing (BAIQC 2024) > > Roanne, France, October 30-31, 2024 > > https://confscience.com/baiqc/ > > All papers accepted in BAIQC 2024 will be submitted for inclusion into > IEEE Xplore, IEEE Computer Society Digital Library, Scopus, > > EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, > ISTP/ISI Proceedings, etc. > > *************************************************************************** > > *IMPORTANT DATES:* > > - Paper Submission: June 10, 2024 10 July 2024 (extended) > > - Acceptance Notification: September 1, 2024 > > - Final Manuscript Due: October 1, 2024 > > *************************************************************************** > > The BAIQC 2024 conference will be held in Conjunction with: > > The International Conference on Artificial Intelligence Revolutions (AIR > 2024) > > The International Conference on Intelligence, Sustainability, and > Innovation in Healthcare (ISIH 2024) > > *************************************************************************** > > *TOPICS:* > > Authors are invited to submit their original papers to address the topics > of the conference, including but not limited to: > > *Track 1: Foundations and Theories* > > - Quantum Computing architecture > > - Quantum Mechanics Fundamentals for Computing > > - Quantum Gates and Circuits > > - Quantum Algorithms > > - Quantum Error Correction > > - Quantum Hardware Architectures > > - Quantum Software Development > > - Quantum Complexity Theory > > - Quantum Speedup and Limitations > > - Quantum Entanglement and Superposition > > - Quantum Annealing > > - Quantum Cryptography Basics > > - Quantum Information Processing > > - Quantum Compilation Techniques > > - Quantum languages > > - QC Simulation > > > > *Track 2: Integration of AI and QC* > > - Machine Learning Applications in QC > > - Data Analytics for Quantum Information Processing > > - Hybrid Quantum-Classical Algorithms > > - Quantum-enhanced Machine Learning Models > > - Quantum Data Preprocessing > > - QC for Big Data Analytics > > - Quantum-inspired Classical Algorithms > > - Quantum Machine Learning > > - Quantum-enhanced Optimization > > - Quantum Simulation in AI Research > > - Quantum Machine Learning Interpretability > > - Quantum-enhanced Data Clustering > > - Quantum Data Privacy and Security > > - Quantum-enhanced Feature Selection > > - Quantum Reinforcement Learning > > - QC and NLP > > > > *Track 3: Quantum Information Science* > > - Quantum Information Theory > > - AI-Enhanced Quantum Communication Protocols > > - Quantum Key Distribution > > - Quantum Teleportation and Data Analytics > > - Quantum Networking > > - Enhancing Precision with Data-Driven Techniques > > - Quantum Sensing Techniques > > - Quantum State Tomography > > - Quantum Channel Capacity Optimization > > - Quantum Error Correction > > - Quantum Data-Driven Approaches > > - AI algorithms for Quantum Information Retrieval > > - Quantum Internet > > - Data-driven Self-regulating Systems > > > > *Track 4: Quantum Security* > > - Post-Quantum Cryptography > > - Quantum-resistant Algorithms > > - Quantum-safe Communication Infrastructures > > - Secure Quantum Key Exchange > > - Quantum-resistant Hash Functions > > - Quantum-resistant Signature Schemes > > - Quantum Cybersecurity Threats > > - Quantum-Secure Cloud Computing > > - Quantum-resistant Blockchain Technologies > > - Secure Quantum Communication Networks > > - Quantum-resistant Authentication > > - Quantum-resistant Access Control > > - Quantum Security Standards > > - Quantum-resistant Digital Signatures > > - Quantum-resistant Public-Key Cryptography > > > > *Track 5: Applications and Technologies* > > - Quantum-enhanced Sensing Technologies > > - QC for Chemistry and Material Science > > - QC in Finance > > - QC in Healthcare > > - Quantum-enhanced Imaging Technologies > > - Quantum-enhanced AI Applications > > - Quantum Robotics and Automation > > - Quantum-enhanced Supply Chain Optimization > > - QC in Energy > > - Quantum applications for Environmental Science > > - QC in Space Exploration > > - Quantum-enhanced Weather Prediction > > - QC for Traffic Optimization > > - QC for Smart Cities > > - Quantum-enhanced Satellite Communication > > - Quantum-enhanced Cyber-Physical Systems > > > > *************************************************************************** > > *OUTSTANDING PAPERS:* > > Based on the peer review scores as well as the presentations at the > conference, the authors of outstanding papers will be invited to extend > their works for a potential publication in journals special issues with > high impact factors. > > *************************************************************************** > > *PAPER SUBMISSION:* > > Papers must be submitted electronically as PDF files via easychair ( > https://easychair.org/my/conference?conf=baiqc2024). > > All papers will be peer reviewed. > > Length of Full papers: 6-8 pages long (written in the IEEE 2-column > conference style) > > For more information, please refer to the conference website: > https://confscience.com/baiqc/ > > > > *************************************************************************** > > *CONTACT* > > For more information, please send an email to ( > ahmed.nait at univ-st-etienne.fr) and (nafaa.jabeur at gutech.edu.om) > > > > ---------------------------------------------------------------------------------------- > > To unsubscribe from CHI-JOBS send an email to: > > mailto:chi-jobs-unsubscribe-request at listserv.acm.org > > > > To manage your SIGCHI Mailing lists or read our polices see: > > https://sigchi.org/operations/listserv/ > > ---------------------------------------------------------------------------------------- > > > > > > > > > > > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From bhaktishah at uchicago.edu Wed Jun 19 15:10:31 2024 From: bhaktishah at uchicago.edu (Bhakti Shah) Date: Wed, 19 Jun 2024 15:10:31 +0000 Subject: [Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024 In-Reply-To: <2125785761.33724004.1718696646272.JavaMail.zimbra@univ-st-etienne.fr> References: <2125785761.33724004.1718696646272.JavaMail.zimbra@univ-st-etienne.fr> Message-ID: Could you stop forwarding this CFP to the Haskell list-serv? This conference seems to have nothing to do with Haskell. Bhakti ________________________________ From: Haskell on behalf of Oumaima Boulkhoukh Sent: Tuesday, June 18, 2024 3:44:06 AM To: haskell Cc: Ahmed Nait Sidi Moh ; nafaa jabeur Subject: [Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024 Call for papers ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 https://confscience.com/isih/ Call for papers We would like to remind you that the final submission date is extended to 10 July 2024 Apologies for Cross-posting ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 https://confscience.com/isih/ All papers accepted in ISIH 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The ISIH 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - AI methods for medical device testing - Predicting and monitoring infectious disease - Machine learning for healthcare - Medical data and image analysis - Data quality assessment and improvement - Electronic medical records analysis - Deep Learning for healthcare - Screening and diagnosis - Explainable AI for healthcare - Multiagent systems for healthcare - AI-based simulations - Bio-inspired solutions for healthcare - Smart healthcare - Medical edge computing Track 2: Innovation and Connectivity - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - Emergent communication technologies - IoT-based disease surveillance - Prevention and detection systems - Rehabilitation technologies - Wearable health informatics - 5G for healthcare - Healthcare supply chain and logistics - Telemedicine and Mobile systems - Drones and robots for healthcare - Internet of Medical Things - Medical embedded systems - Network and services virtualization - Nanoscale healthcare Track 3: Human Computer Interaction - Human-Machine Interaction - Methods for inputting data for e-health - Models for human-device interaction - Model-based design and configuration tools - New experimental validation methods - Standardization, certification, and labeling - Communication and interoperability - Regulation compliant services (e.g., HIPAA) - Socio-economic issues - Feedback integration - Accessibility - Personalization and patient experience - Augmented/Virtual Reality solutions - Voice recognition - Enhanced Living Environment (ELE) Track 4: Sustainable Healthcare - Green healthcare facilities - Renewable energy integration in healthcare - Waste reduction and recycling - Sustainable supply chain management - Eco-friendly medical equipment and devices - Sustainable health practices - Educational initiatives - AI approaches for sustainable healthcare - Innovations for sustainable healthcare - AI approaches for global health equity - Quality of Service - Quality of Experience Track 5: Applications and Trends - Network and services virtualization - Software-Defined Networking (SDN) - Bioinformatics - Clinical Decision Support Systems - Interoperability for personal Health systems - Medical imaging - Evidence-based medicine - Blockchain applications - Smart health and big data - Health Information exchange solutions - Medical and patient scheduling software - Medication administration systems - Healthcare information systems - Integration and interoperability - Medical records - Clinical reporting systems - eHealth services - Robotics and Automation in Healthcare - Augmented and Virtual Reality in Healthcare Track 6: Ethics and Security - Ethics in AI-assisted diagnostics - Patient consent and data privacy - Bias and fairness in AI algorithms - Transparency in AI Decision-Making - Doctor-patient trust and communication - Security concerns in AI-enabled healthcare - AI healthcare technologies and equity - AI-generated medical insights - Innovation and patient privacy rights - Predictive modeling and informed consent - Social implications of AI in healthcare - Ethics in AI-enhanced patient treatment - Patient empowerment - Ethics in AI-integrated medical research - Data Security and Protection - Cybersecurity in healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair (https://easychair.org/my/conference?conf=isih2024). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: https://confscience.com/isih/ *************************************************************************** CONTACT: For more information, please send an email to (ahmed.nait at univ-st-etienne.fr) and (nafaa.jabeur at gutech.edu.om) -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Wed Jun 26 09:23:49 2024 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Wed, 26 Jun 2024 11:23:49 +0200 Subject: [Haskell] ICFP 2024: Call fo Volunteers Message-ID: ICFP 2024: CALL FOR VOLUNTEERS Sign up to be a Volunteer and help us make ICFP 2024 a unique experience for all attendants! ICFP 2024 is pleased to offer a number of opportunities for volunteers, who are vital to the efficient operation and continued success of the conference each year. The volunteer program is a chance for people from around the world to participate in the conferences whilst assisting us in preparing and running the event. The Volunteer Program helps more people attend the ICFP conference by covering conference fees, including access to the banquet (but not travel or lodging expenses) in exchange for a fixed number of work hours (usually from 12 to 15) helping with the conference organization. How to apply: Please apply using this form: https://forms.gle/688UyUSRTfSGSCGF9 The deadline is *July 15th*. Eligibility: Everyone is welcome to apply. Priority is given to junior members of our community, e.g. full- or part-time students of computer science and related fields. Expectations: Applicants must be available for at least four (4) full days between September 2th and September 7th, 2024, and will be expected to provide a total of 12-15 hours of volunteering work in that time. The skills, talents, and dedication of our Volunteers contribute to the overall quality of the conference. The Volunteer role this year will mainly involve working with the organizers to prepare for the conference by providing technical assistance to attendees, managing online Q&A and poster sessions, and supporting active communication in our online environment. Compensation: * A Complimentary Conference Registration, offering access to all open sessions (i.e., parallel paper presentations, demonstrations, and workshops) and conference proceedings. * Free lunches and refreshments during breaks. * Volunteer garments. * Free admission to all social events. Please note that volunteers are responsible for their own travel and accommodation arrangements. If you need additional travel funding, please consider SIGPLAN PAC Funding and PLMW: * https://www.sigplan.org/PAC/ * https://icfp24.sigplan.org/home/PLMW-ICFP-2024 -------------- next part -------------- An HTML attachment was scrubbed... URL: From nicolas.tabareau at inria.fr Wed Jun 26 13:03:22 2024 From: nicolas.tabareau at inria.fr (nicolas tabareau) Date: Wed, 26 Jun 2024 15:03:22 +0200 Subject: [Haskell] 1st CFP - CPP 2025 - Certified Programs and Proofs Message-ID: <519C2B5A-A6F1-4290-B087-EB83B19F5C44@inria.fr> Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2025 (https://popl25.sigplan.org/home/CPP-2025) will be held on 20-21 January 2025 and will be co-located with POPL 2025 in Denver, USA. CPP 2025 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2025 will welcome contributions from all members of the community. The CPP 2025 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2025 organizers. IMPORTANT DATES * Abstract Submission Deadline: 10 September 2024 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 17 September 2024 at 23:59 AoE (UTC-12h) * Notification (tentative): 19 November 2024 * Camera Ready Deadline (tentative): Mid December 2024 (TBA) * Conference: 20-21 January 2025 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. DISTINGUISHED PAPER AWARDS Around 10% of the accepted papers at CPP 2025 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: * certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and logical frameworks; * higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; * verification of correctness and security properties; * certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal verification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. Submissions will be reviewed based on the following criteria: Thoroughly discuss the theory or design choices underpinning the formalization. Provide a detailed explanation of the formalization decisions, including alternative approaches and reasons for rejecting them. Examine related literature on formalization choices and techniques. Compare the design choices to those made in other libraries. Offer feedback on the features of the computer proof assistant used, noting any that are missing. Draw conclusions that can guide future formalization efforts in the same or other proof assistants. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system at https://cpp2025.hotcrp.com The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format using the acmart style with the sigplan option, which provides a two-column style, using 10 point font for the main text, and a header for double blind review submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. Submissions not conforming to the requirements concerning format and maximum length may be rejected without further consideration. CPP 2025 will employ a lightweight double-blind reviewing process following the process from previous years. To facilitate this, the submissions must adhere to two rules: (1) author names and institutions must be omitted, and (2) references to authors’ own related work should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing it more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. Note that POPL 2025 itself will employ full double-blind reviewing, which differs from the light-weight CPP process. This FAQ from previous SIGPLAN conference addresses many common concerns: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ We strongly encourage the authors to provide any supplementary material that supports the claims made in the paper, such as proof scripts or experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be submitted: (1) Anonymous supplementary material is made available to the reviewers before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned the identity of the authors. Please use anonymous supplementary material whenever possible, so that it can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism). Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper is expected to present it at the (possibly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The CPP 2025 proceedings will be published by the ACM, and authors of accepted papers will be required to choose one of the following publication options: (1) Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license and, optionally, licenses the work under a Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option (1), which will make the paper Gold Open Access, and also encourage such authors to license their work under the CC-BY license. ACM will charge you an article processing fee for this option (currently, US$700), which you have to pay directly with the ACM. You don’t need to pay this fee if the corresponding author’s affiliating institution is part of ACM OPEN (https://libraries.acm.org/subscriptions-access/open-participants). For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a repository that guarantees permanent archival such as arXiv or HAL. This is anyway a good idea for timely dissemination even if you chose option 1. The official CPP 2025 proceedings will also be available via SIGPLAN OpenTOC (http://www.sigplan.org/OpenTOC/#cpp). For ACM’s take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and Author Rights (http://authors.acm.org/main.html). Sandrine Blazy, University of Rennes (co-chair) Nicolas Tabareau, Inria (co-chair) ORGANIZERS Kathrin Stark, Heriot-Watt University (conference co-chair) Amin Timany, Aarhus University (conference co-chair) Sandrine Blazy, University of Rennes (PC co-chair) Nicolas Tabareau, Inria (PC co-chair) CONTACT For any questions please contact the two PC chairs: Sandrine Blazy > Nicolas Tabareau > -------------- next part -------------- An HTML attachment was scrubbed... URL: From jeremy.gibbons at cs.ox.ac.uk Sun Jun 30 14:23:02 2024 From: jeremy.gibbons at cs.ox.ac.uk (Jeremy Gibbons) Date: Sun, 30 Jun 2024 15:23:02 +0100 Subject: [Haskell] Free online participation in MSFP, 8th July 2024 Message-ID: <009E8BBD-A881-40DD-8467-C1DACE1FCE11@cs.ox.ac.uk> I'm delighted to be able to announce that there is free best-effort online participation in the Tenth Workshop on Mathematically Structured Functional Programming (MSFP 2024), colocated with FSCD, ICALP, and LICS in Tallinn next Monday, 8th July. Register your email in advance in order to receive Zoom login info on Sunday evening. For details see the website: https://msfp-workshop.github.io/msfp2024/ Favonia and Jeremy Jeremy.Gibbons at cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283525 http://www.cs.ox.ac.uk/people/jeremy.gibbons/