June 2024 - Haskell - Haskell.org

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 04 Nov '24

04 Nov '24

Dear all, If you or one of your students recently completed a PhD (or Habilitation) in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 31st May 2024. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st May 2024 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the student and the advisor/supervisor although we encourage them to coordinate. Habilitation dissertations are also eligible for inclusion. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 31st May 2024. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 1

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

Free online participation in MSFP, 8th July 2024
by Jeremy Gibbons 30 Jun '24

30 Jun '24

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(a)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/

1 0

1st CFP - CPP 2025 - Certified Programs and Proofs
by nicolas tabareau 26 Jun '24

26 Jun '24

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 <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-R… 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 <sandrine.blazy(a)irisa.fr <mailto:sandrine.blazy@irisa.fr>> Nicolas Tabareau <nicolas.tabareau(a)inria.fr <mailto:nicolas.tabareau@inria.fr>>

1 0

ICFP 2024: Call fo Volunteers
by ICFP Publicity 26 Jun '24

26 Jun '24

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

1 0

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

19 Jun '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/ ] 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(a)univ-st-etienne.fr) and (nafaa.jabeur(a)gutech.edu.om)

2 1

International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024 [Deadline extended to July 10th]
by amjad.el.khatib＠univ-st-etienne.fr 18 Jun '24

18 Jun '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/ 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(a)univ-st-etienne.fr <mailto:ahmed.nait@univ-st-etienne.fr> ) and (nafaa.jabeur(a)gutech.edu.om <mailto:nafaa.jabeur@gutech.edu.om> ) ---------------------------------------------------------------------------- ------------ To unsubscribe from CHI-JOBS send an email to: mailto:chi-jobs-unsubscribe-request@listserv.acm.org To manage your SIGCHI Mailing lists or read our polices see: https://sigchi.org/operations/listserv/ ---------------------------------------------------------------------------- ------------

2 1

DEBT 2024: 2nd Call for Papers
by German Vidal 13 Jun '24

13 Jun '24

================================================================================ 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

1 0

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

12 Jun '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/ ] 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(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 [Deadline extended to July 10th]
by amjad.el.khatib＠univ-st-etienne.fr 12 Jun '24

12 Jun '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/ 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(a)univ-st-etienne.fr <mailto:ahmed.nait@univ-st-etienne.fr> ) and (nafaa.jabeur(a)gutech.edu.om <mailto:nafaa.jabeur@gutech.edu.om> )

1 0