April 2024 - Haskell - Haskell.org

Call for Talks: Haskell Implementors' Workshop 2024
by Matthew Pickering 08 Jul '24

08 Jul '24

``` ACM SIGPLAN Haskell Implementors' Workshop https://icfp24.sigplan.org/home/hiw-2024 Milan, Italy, September 2, 2024 Co-located with ICFP 2024 https://icfp24.sigplan.org/ ``` ## Important dates * Deadline: July 19, 2024 (AoE) * Notification: August 2, 2024 * Workshop: September 2, 2024 The 16th Haskell Implementors’ Workshop is to be held alongside ICFP 2024 this year in Milan. It is a forum for people involved in the design and development of Haskell implementations, tools, libraries, and supporting infrastructure to share their work and to discuss future directions and collaborations with others. Talks and/or demos are proposed by submitting an abstract, and selected by a small program committee. There will be no published proceedings. The workshop will be informal and interactive, with open spaces in the timetable and room for ad-hoc discussion, demos, and lightning talks. ## Scope and Target Audience It is important to distinguish the Haskell Implementors’ Workshop from the Haskell Symposium which is also co-located with ICFP 2024. The Haskell Symposium is for the publication of Haskell-related research. In contrast, the Haskell Implementors’ Workshop will have no proceedings – although we will aim to make talk videos, slides, and presented data available with the consent of the speakers. The Implementors’ Workshop is an ideal place to describe a Haskell extension, describe works-in-progress, demo a new Haskell-related tool, or even propose future lines of Haskell development. Members of the wider Haskell community are encouraged to attend the workshop – we need your feedback to keep the Haskell ecosystem thriving. Students working with Haskell are especially encouraged to share their work. The scope covers any of the following topics. There may be some topics that people feel we’ve missed, so by all means submit a proposal even if it doesn’t fit exactly into one of these buckets: * Compilation techniques * Language features and extensions * Type system implementation * Concurrency and parallelism: language design and implementation * Performance, optimization and benchmarking * Virtual machines and run-time systems * Libraries and tools for development or deployment ## Talks We invite proposals from potential speakers for talks and demonstrations. We are aiming for 20-minute talks with 5 minutes for questions and changeovers. We want to hear from people writing compilers, tools, or libraries, people with cool ideas for directions in which we should take the platform, proposals for new features to be implemented, and half-baked crazy ideas. Please submit a talk title and abstract of no more than 300 words. Submissions can be made via HotCRP at https://hiw2024.hotcrp.com until July 19 (anywhere on earth). We will also have a lightning talks session. These have been very well received in recent years, and we aim to increase the time available to them. Lightning talks should be ~7mins and are scheduled on the day of the workshop. Suggested topics for lightning talks are to present a single idea, a work-in-progress project, a problem to intrigue and perplex Haskell implementors, or simply to ask for feedback and collaborators. ## Program Committee * Matthew Pickering (Well-Typed LLP) * David Binder (University of Tübingen) * Gabriella Gonzalez (Mercury) * Sylvain Henry (IOG) * Teofil Camarasu (Tracsis) ## Contact * Matthew Pickering

1 1

TyDe 2024: First call for papers and extended abstracts
by Jesper Cockx 21 May '24

21 May '24

========================================================================= The Ninth International Workshop on TYPE-DRIVEN DEVELOPMENT Call for papers and extended abstracts Milan, Italy, 6 September 2024 https://icfp24.sigplan.org/home/tyde-2024 ========================================================================= The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: * dependently typed programming; * generic programming; * design and implementation of programming languages, exploiting types in novel ways; * exploiting typed data, data dependent data, or type providers; * static and dynamic analyses of typed programs; * tools, IDEs, or testing tools exploiting type information; * pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. ### Important dates ### * Mon 27 May 2024 (AoE): Submission deadline for papers and extended abstracts * Wed 10 Jul 2024: Notification of acceptance * Wed 17 Jul 2024: Submission of camera-ready papers to ACM * Fri 6 Sep 2024: Workshop ### Proceedings and Copyright ### We will have formal proceedings for full-length papers, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. ### Submission Details ### Submissions should fall into one of two categories: * regular research papers (12 pages); * extended abstracts (3 pages). The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: > https://tyde24.hotcrp.com All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: > https://www.sigplan.org/Resources/Author/ Note that submissions should use the new ‘acmart’ format and the two-column ‘sigplan’ subformat (not to be confused with the one-column ‘acmsmall’ subformat). Extended abstracts must be submitted with the label ‘Extended Abstract’ clearly in the title. ### Participant Support ### Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover participation-related expenses. PAC also offers other support, such as for child-care expenses during the meeting or for accommodations for members with physical disabilities. For details on the PAC program, see its web page: > https://www.sigplan.org/PAC/

1 1

International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024
by Oumaima Boulkhoukh 30 Apr '24

30 Apr '24

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/ ] 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 deadline: June 10, 2024 - 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) [ https://confscience.com/air/ | https://confscience.com/air/ ] The International Conference on Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) [ https://confscience.com/isih/ | https://confscience.com/isih/ ] *************************************************************************** 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 | https://easychair.org/my/conference?conf=baiqc2024 ] ). All papers will be peer reviewed. Lenght 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/ | https://confscience.com/baiqc/ ] *************************************************************************** CONTACT For more information, please send an email to ( ahmed.nait(a)univ-st-etienne.fr ) and ( nafaa.jabeur(a)gutech.edu.om )

1 0

International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
by Oumaima Boulkhoukh 30 Apr '24

30 Apr '24

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/ ] 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 deadline: June 10, 2024 - 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) [ https://confscience.com/air/ | https://confscience.com/air/ ] The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) [ https://confscience.com/baiqc/ | https://confscience.com/baiqc/ ] *************************************************************************** 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. Lenght 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 ( ahmed.nait(a)univ-st-etienne.fr ) and ( nafaa.jabeur(a)gutech.edu.om )

1 0

International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024
by Oumaima Boulkhoukh 30 Apr '24

30 Apr '24

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/ ] 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 deadline: June 10, 2024 - 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) [ https://confscience.com/baiqc/ | https://confscience.com/baiqc/ ] The International Conference on Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) [ https://confscience.com/isih/ | https://confscience.com/isih/ ] *************************************************************************** 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 | https://easychair.org/my/conference?conf=air2024 ] ). All papers will be peer reviewed. Lenght 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/ | https://confscience.com/air/ ] *************************************************************************** CONTACT For more information, please send an email to ( ahmed.nait(a)univ-st-etienne.fr ) and ( nafaa.jabeur(a)gutech.edu.om )

1 0

1st CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering
by Andrei Chis 29 Apr '24

29 Apr '24

------------------------------------------------------------------------ 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024) October 20-25, 2024 Pasadena, California, United States http://www.sleconf.org/2024/ https://2024.splashcon.org/track/sle-2024 Follow us on X: https://x.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024), held in conjunction with SPLASH 2024. The conference will be hosted in Pasadena, California, United States on October 20-25, 2024. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering in general, rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral/executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Validation of Software Language Tools and Implementations - Verification and formal methods for language tools and implementations - Testing techniques for language tools and implementations - Simulation techniques for language tools and implementations * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Domain-Specific Approaches for Any Aspects of SLE (analysis, design, implementation, validation, maintenance) * Empirical Studies and Experience Reports of Tools - User studies evaluating usability - Performance benchmarks - Industrial applications * Synergies between Language Engineering and Emerging/Promising Research Areas - AI and ML language engineering (e.g., ML compiler testing, code classification) - Quantum language engineering (e.g., language design for quantum machines) - Language engineering for cyber-physical systems, IoT, digital twins, etc. - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. These papers can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the SPLASH 2024 Website. --------------------------- Submission --------------------------- SLE 2024 has a single submission round for papers, including a rebuttal phase, where all authors of research papers will have the possibility of responding to the reviews on their submissions. Authors of accepted research papers will be invited to submit artifacts. --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth (http://en.wikipedia.org/wiki/Anywhere_on_Earth) * Abstract Submissions: Fri 14 Jun, 2024 * Paper Submissions: Mon 24 Jun, 2024 * Authors Response Period: Mon 12 Aug - Sat 17 Aug, 2024 * Authors Notification: Fri 30 Aug 2024 * Conference: Sun 20 October - Fri 25 October 2024 (co-located with SPLASH, precise dates to be announced) --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format “acmart” (https://sigplan.org/Resources/Author/#acmart-format) please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template, and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. Accordingly, SLE will follow the double-blind process. Author names and institutions must be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle24.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (https://www.acm.org/publications/policies/plagiarism-overview) Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research complies with their local governing laws and regulations and the ACM’s general principles, as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-particip…) If submissions are found to be violating this policy, they will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning soundness, relevance, novelty, presentation, and replicability. New ideas/vision papers will be evaluated primarily concerning soundness, relevance, novelty, and presentation. SLEBoK papers will be reviewed on their soundness, relevance, originality, and presentation. Tool papers will be evaluated concerning relevance, presentation, and replicability. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review at the discretion of the PC chairs. For research papers, authors will get a chance to respond to the reviews before a final decision is made. --------------------------- Artifact Evaluation --------------------------- SLE will use an evaluation process to assess the quality of artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please see the Artifact Evaluation (https://2024.splashcon.org/track/sle-2024#Artifact-Evaluation) page. --------------------------- Awards --------------------------- Distinguished paper: Award for the most notable paper, as determined by the PC chairs based on the recommendations of the program committee. Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted doctoral symposium papers on SLE topics will also have the chance to present their work to the SLE audience. --------------------------- Organisation --------------------------- Chairs: * General chair: Ralf Lämmel, Universität Koblenz, Germany * PC co-chair: Peter Mosses, Swansea University and Delft University of Technology, Netherlands * PC co-chair: Juliana Alves Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil * Publicity chair: Andrei Chis, feenk gmbh, Switzerland --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please get in touch with the program co-chairs (P.D.Mosses at tudelft.nl and Juliana at inf.puc-rio.br).

1 0

Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
by Favonia 26 Apr '24

26 Apr '24

This is a gentle reminder about the upcoming paper submission deadline for MSFP 2024: Tuesday 30th April, AoE. The original CFP did ask for abstracts in advance, but we will not insist on those: if you have a paper and have not registered an abstract, submit it anyway! Jeremy and Favonia * Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn, Estonia A satellite workshop of FSCD 2024 https://msfp-workshop.github.io/msfp2024/ ** Deadline: Tuesday 30th April ** The tenth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with FSCD (https://compose.ioc.ee/icalp2024/) Previous instances have been held in Munich (with ETAPS 2022), virtually (2020), in Oxford (with FLOC 2018), Eindhoven (with ETAPS 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Baltimore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with MPC and AMAST 2006). Important Dates: ================ Paper deadline: Tuesday 30th April (AoE) Notification: Tuesday 4th June (16:00 UTC) Final version: Tuesday 25th June (AoE) Workshop: Monday 8th July Invited Speakers: ================= TBA Programme Committee: ==================== Kazuyuki Asada - Tohoku University, JP Robert Atkey - University of Strathclyde, UK Ana Bove - Chalmers University of Technology, SE Liang-Ting Chen - Academia Sinica, TW Peng Fu - University of South Carolina, US Jeremy Gibbons - University of Oxford, UK (co-chair) Kuen-Bang Hou (Favonia) - University of Minnesota, US (co-chair) Robin Kaarsgaard - University of Southern Denmark, DK Paul Blain Levy - University of Birmingham, UK Dan Marsden - University of Nottingham, UK Dylan McDermott - Reykjavik University, IS (more to follow) Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Favonia (kbh(a)umn.edu) and Jeremy Gibbons (jeremy.gibbons(a)cs.ox.ac.uk) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of at most 15 pages that will appear in the proceedings (published with EPTCS) and extended abstracts of at most two pages, which we will post on the website but do not constitute formal publications and will not appear in the proceedings. A short abstract should be submitted by four days in advance of the paper deadline (for both full paper and extended abstract submissions). For full details, see the webpage. We are using EasyChair to manage submissions: https://easychair.org/conferences/?conf=msfp2024

1 0

Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care
by Francesco Calimeri 25 Apr '24

25 Apr '24

[APOLOGIZE FOR MULTIPLE POSTINGS] = It's a pleasure to announce the OPEN special issue of the *Journal of Biomedical Informatics*, published by *ELSEVIER *(*ISSN: 1532-0480*) entitled: "*learning from multiple data sources for decision making in health care*". Deadline is *15 October, 2024*. For your convenience, some details are reported below; you can find the full call here, along with directions, here: https://www.sciencedirect.com/science/article/pii/S1532046424000637 Please forward this to your colleagues and collaborators, and anyone potentially interested; this issue is going to build a road towards one of the main goals of the HC@AIxIA working group, namely fostering an effective application of AI to medicine and the healthcare domain. Feel free to contact us at hc-aixia(a)googlegroups.com and visit https://aixia.it/en/gruppi/hc/ for further information about the group activities and initiatives. Sincerely, Francesco Calimeri, Mauro Dragoni, Fabio Stella Coordinators of the Working Group on Artificial Intelligence for Healthcare === === === === === === === === === Journal of Biomedical Informatics <https://www.sciencedirect.com/journal/journal-of-biomedical-informatics>Special issue on learning from multiple data sources for decision making in health care The increasing availability of digital data, along with recent developments in Artificial Intelligence, especially in the Machine Learning and Deep Learning fields, led the scientific community to debate whether data alone is sufficient for decision making and scientific exploration. We focus the attention on the healthcare domain, where peculiar issues affect data: indeed, data are usually collected under heterogeneous conditions (i.e., different populations, regimes, and sampling methods), suffer missingness – very often not at random – and their use is strongly constrained by privacy issues. In such a complex setting, this special issue challenges computer scientists to contribute to the above debate by designing and developing innovative methodological approaches, for solving complex decision-making problems in health care, leveraging on observational data. Topics of interest include, but are not limited to, the following with an emphasis on novel generalizable methods applied to the healthcare domain: - • Causal discovery from multiple data sets. - • Federated causal discovery. - • Causal discovery from heterogeneous data sets. - • Transportability of causal models and inference. - • Neuro-symbolic approaches to learn from heterogeneous data sources. - • Continual learning on streams from multiple data sources. - • Computational intelligent strategies to support causal inference. - • Edge computing for decision making in healthcare. - • Integrative AI methodologies. - • Distributed inference methods. - • Continual Learning. - • Knowledge Discovery and Integration. - • Combination of deductive approaches with ML models. - • Combination of ontologies and/or knowledge-bases with ML to support decision making. Peer Review Process: All submitted papers will undergo a rigorous peer-review process featuring at least two reviewers. All submissions should follow the guidelines for authors available at the Journal of Biomedical Informatics website ( http://www.elsevier.com/locate/yjbin) JBI’s editorial policy outlined on that page will be strictly enforced by special issue reviewers. Note that JBI emphasizes the publication of papers that introduce innovative and generalizable methods of interest to the informatics community. Specific applications can be described to motivate the methodology being introduced, but papers that focus solely on a specific application are not suitable. A few examples of papers focused on methods previously published in JBI include: Kyrimi, et al. [1] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0005>, Huang, et al. [2] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0010>, Kocbek et al. [3] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0015>, Houston et al. [4] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0020>, García Del Valle et al. [5] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0025>, Graudenzi et al. [6] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0030> and Sims et al. [7] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0035>. In particular, the authors of [1] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0005> showed the relevance of causal models and expert knowledge to develop credible models, i.e., capable of achieving good predictive performances when transported from the study cohort to the target population. Furthermore, [2] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0010> tackles the relevant issue of partially overlapping variables when data are collected from multiple data sources. This problem is extremely relevant both in theoretical and practical terms for decision making in the healthcare sector. The contribution provided in [3] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0015> stressed the importance of working in a multi-source context by demonstrating how the linking of different repositories can improve the overall understanding of patients' conditions. Similarly, in [4] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0020> the authors extended this concept by introducing a methodology to evaluate to audit the data quality of the sources exploited by healthcare information systems. Then, in [5] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0025> the multi-source concept is transferred within the multi-modal environment and the authors surveyed the importance of considering different modalities to obtain a better disease understanding. The works in [6] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0030> and [7] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0035> focuses on the importance of data. In [6] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0030> a data integration framework is defined for characterizing the metabolic deregulations that distinguish cancer phenotypes, by projecting RNA-seq data onto metabolic networks without the need for metabolic measurements; in [7] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0035> a biomedical informatics method is introduced that uses multiple public health data sources to perform surveillance of methadone-related adverse drug events. Interestingly, even if patient data are not linked between different data sources, results show that the integration of multiple public data sources can capture more cases and provide more clinical details than individual data sources alone. Key requirements for JBI ML papers in addition to presenting novel methods (not simply application of existing methods to a new healthcare domain) are as follows: 1) projects must have clinicians involved in research question/problem formulation, defining input data, and assessing the results. 2) An explanation (with clinicians) of how the proposed method would fit into the clinical workflow is expected. It must be translational to practice. 3) Data sets should preferably be collected from hospitals after the research question was formulated, thus avoiding the use of available data (MIMIC) to define a very wide research problem that could potentially be answered with available open datasets (as an example: detecting if someone has COVID from Chest X-Rays would not be acceptable, as the gold standard test is the laboratory test). 4) As for explainability, SHAP values and related diagrams would not be enough: the paper should clearly describe and explain how clinicians use the visualization to make decisions. For further details please refer to https://www.sciencedirect.com/journal/journal-of-biomedical-informatics/pub… . Submission process: Authors must submit their paper via the online Elsevier Editorial System (EES) at http://ees.elsevier.com/jbi by October 15th, 2024. Authors can register and upload their text, tables, and figures as well as subsequent revisions through this website. Potential authors may contact the Publishing Services Coordinator in the journal’s editorial office ( jbi(a)elsevier.com <http://jbi%40elsevier.com/>) for questions regarding this process. When asked for the category of their submission, they should indicate that it is for the special issue on Learning from multiple data sources for decision making in health care.

1 0

APLAS 2024: 2nd Call for Papers
by Mirai Ikebuchi 19 Apr '24

19 Apr '24

2nd Call for Papers APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ <https://conf.researchr.org/home/aplas-2024/> APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: programming paradigms and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation; concurrency and distribution; applications, case studies and emerging topics. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The reviewing process is light double-blind, with a rebuttal phase to address factual errors and minor misunderstandings. Proceedings of APLAS 2024 will be published by Springer as part of Lecture Notes in Computer Science (LNCS). https://link.springer.com/conference/aplas <https://link.springer.com/conference/aplas> APLAS 2024 continues the tradition of the best paper award. Submission deadline: Fri May 24 Response period: Jul 24-26 Acceptance notification: Fri Aug 2 Camera-ready: Sat Aug 31 The submission website is now open: https://aplas24.hotcrp.com/ <https://aplas24.hotcrp.com/> General Chair: Jacques Garrigue (Nagoya U.) Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.) Program Committee: Beniamino Accattoli (Inria & Ecole Polytechnique) Pierre-Evariste Dagand (IRIF / CNRS) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA) Fritz Henglein (DIKU and Deon Digital) Mirai Ikebuchi (Kyoto University) Patrik Jansson (Chalmers University of Technology and University of Gothenburg) Oleg Kiselyov (Tohoku University, PC Chair) Hsiang-Shang ‘Josh’ Ko (Academia Sinica) Daan Leijen (Microsoft Research) Martin Lester (University of Reading) Fredrik Nordvall Forsberg (University of Strathclyde) Matija Pretnar (University of Ljubljana) Peter Schachte (The University of Melbourne) Sven-Bodo Scholz (Radboud University) Philipp Schuster (University of Tübingen) Taro Sekiyama (NII) Amir Shaikhha (University of Edinburgh) Pavle Subotic (Fantom Foundation) Yong Kiam Tan (Institute for Infocomm Research, A*STAR) Kazunori Ueda (Waseda University) Yuting Wang (Shanghai Jiao Tong University) Ki Yung Ahn (Hannam University)

1 0

TYPES 2024: Call for Participation
by Patrick Bahr 18 Apr '24

18 Apr '24

Call for Participation TYPES 2024 30th International Conference on Types for Proofs and Programs Copenhagen, Denmark, 10 - 14 June 2024 https://types2024.itu.dk REGISTRATION ------------ Registration is now open at https://types2024.itu.dk/Registration.html * Early registration until May 13 * Late registration until May 30 Students can register at a reduced fee. For details, see the above link. ACCOMMODATION ------------ We have reserved a number of hotel rooms at reduced rates. * Some rooms are only available until April 24! A small number of rooms may be available as late as May 24, but supply is limited after April 24. We therefore encourage participants to book these soon. More details at https://types2024.itu.dk/Venue.html INVITED SPEAKERS ---------------- * Brigitte Pientka (McGill University, Canada) * Egbert Rijke (University of Ljubljana, Slovenia) * Talia Ringer (University of Illinois at Urbana-Champaign, USA) There will also be a special session in memory of Peter Aczel, organised by Peter Dybjer. The session will consist of talks by * Nicola Gambino (University of Manchester, UK) * Michael Rathjen (University of Leeds, UK) BACKGROUND ---------- The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. PROGRAMME COMMITTEE ------------------- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold (Leiden University, The Netherlands) Andrej Bauer (University of Ljubljana, Slovenia) Marco Carbone (IT University of Copenhagen, Denmark) Jesper Cockx (TU Delft, The Netherlands) Greta Coraglia (University of Milan, Italy) Peter Dybjer (Chalmers University of Technology, Sweden) Yannick Forster (INRIA, France) Hugo Herbelin (INRIA, France) Patricia Johann (Appalachian State University, USA) Marie Kerjean (CNRS, France) Ekaterina Komendantskaya (University of Southampton, United Kingdom) Meven Lennon-Bertrand (University of Cambridge, United Kingdom) Assia Mahboubi (INRIA, France) Sonia Marin (University of Birmingham, United Kingdom) Anders Mörtberg (Stockholm University, Sweden) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) (co-chair) Benjamin Pierce (University of Pennsylvania, USA) Jakob Rehof (Technical University of Dortmund, Germany) Simona Ronchi Della Rocca (University of Turin, Italy) Kristina Sojakova (Vrije Universiteit Amsterdam, The Netherlands) Ana Sokolova (University of Salzburg, Austria) Bas Spitters (Aarhus University, Denmark) Wouter Swierstra (Utrecht University, The Netherlands) Philip Wadler (University of Edinburgh, United Kingdom) TYPES STEERING COMMITTEE ------------------------ Sandra Alves (University of Porto, Portugal) Eduardo Hermo Reyes (Formal Vindications, Spain) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Paige Randall North (Utrecht University, The Netherlands) (chair) Matthieu Sozeau (INRIA & Université de Nantes, France) Benno van den Berg (University of Amsterdam, The Netherlands) (secretary) ABOUT TYPES ----------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2021, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022), València (2023). CONTACT ------- Email: types2024(a)easychair.org ORGANIZERS ---------- Patrick Bahr (IT University of Copenhagen, Denmark) Marco Carbone (IT University of Copenhagen, Denmark) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark)

1 0