- Haskell - Haskell.org

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

03 Jul '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 @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

HC@AIxIA: AI&Health Seminar Series (2024) - JULY 11
by Francesco Calimeri 03 Jul '24

03 Jul '24

[*apologize for multiple postings*] Dear Madam/Sir, This is to officially announce the SEVENTH seminar of the "AI & Health" series as hosted by HC@AIxIA, i.e., the "Artificial Intelligence for Healthcare" working group of the Italian Association for Artificial Intelligence. *Save the date: 11 JULY 2024.* We hope you will attend and participate in the discussion on the relevant topics that will be presented and by our speakers. *Feel free to share this with those potentially interested.* Please find some details below, and a poster attached. All directions for participating are available at https://aixia.it/en/gruppi/hc/. *== Are you interested in Joining the group? ==* Please head to https://aixia.it/en/gruppi/hc/ fo find out how. Do not hesitate to contact us at hc-aixia(a)googlegroups.com for any information or clarification. Thank you for your interest in the AI & Health seminar series and the HC@AIxIA working group, and see you soon! Sincerely, Francesco Calimeri, Mauro Dragoni, Fabio Stella (coordinators of the HC@AIxIA working group) *== July 2024 seminar ==* *Link to participate: * https://unimib.webex.com/unimib/j.php?MTID=m823bedbf7311facb23486a3a1ac27e76 *2024 June 17 - 4:30PM CET* *Alberto Mussetti, *Hematology Department, Institut Català d'Oncologia (Barcelona, Spain) *Title*: The Quantum Leap: AI and Telemedicine Unveiling the Next Frontier in Allogeneic Hematopoietic Stem Cell Transplantation *Abstract*: This conference explores the transformative intersection of Artificial Intelligence (AI) and Telemedicine in the realm of Allogeneic Hematopoietic Cell Transplantation (allo-HCT), heralding a new era in healthcare. The discussion delves into the potential of these advanced technologies to reshape the landscape of allo-HCT, promising enhanced accessibility, efficiency, and patient outcomes. The conference begins by examining how AI algorithms are revolutionizing donor matching processes and patient assessments, refining the selection of recipients and minimizing complications. Furthermore, the integration of telemedicine platforms facilitates remote patient monitoring, enabling real-time tracking of vital health indicators and facilitating timely interventions. As AI and telemedicine converge to reshape the landscape of allo-HSCT, this discussion serves as a pivotal exploration into the advantages and limits of this transformative journey. *Short Bio*: Alberto Mussetti MD, works at the Hematology Department at Institut Català d'Oncologia (Barcelona, Spain) as Director of the Hematopoietic Cell Transplantation and Cell Therapy Unit. During the last years his research has been focused on lymphoid malignancies, allogeneic hematopoietic cell transplant and digital medicine. He previously worked at Fondazione IRCCS Istituto Nazionale dei Tumori (Milan, Italy)and Memorial Sloan Kettering Cancer Center of New York. He is an active participant and principal investigator of the Lymphoma Working party of the European Bone Marrow Transplantation Society (EBMT) and the Center for International Bone Marrow Transplant Research (CIBMTR). [image: HC@AIxIA - Seminars AI & Health 2024 - Locandina 07.png]

1 0

IFL 2024: Second Call for Papers
by Mart Lubbers 03 Jul '24

03 Jul '24

======================================================================= IFL 2024 36rd Symposium on Implementation and Application of Functional Languages venue: Radboud University Nijmegen, The Netherlands August 26 - 28 2024 https://ifl24.cs.ru.nl ======================================================================= ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2024 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. ### Industrial track and topics of interest Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques ### Peer-review process Following IFL tradition, IFL 2024 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chairs to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing. ### Important dates Submission deadline of draft papers August 4th, 2024 Notification of acceptance for presentation August 6th, 2024 Early registration deadline August 11th, 2024 Late registration deadline August 21th, 2024 IFL symposium August 26-28, 2024 Submission of papers for proceedings December 1st, 2024 Notification of acceptance February 2nd, 2025 Camera-ready version March 2nd, 2025 ### Submission details and Registration All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template Submit your paper here: https://easychair.org/conferences/?conf=ifl20240 Registration https://ifl24.cs.ru.nl/Registration ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: Mart Lubbers Radboud University, The Netherlands Local Chairs: Peter Achten Radboud University, The Netherlands Sven-Bodo Scholz, Radboud University, The Netherlands ### Program committee: Benoît Montagu, University of Lorraine, Inria, France Christos Dimoulas, Northwestern University, USA Edsko de Vries, Well-typed, The Netherlands Fritz Henglein, University of Copenhagen, Denmark Ian Mackie, University of Sussex, UK Jason Hemann, Seton Hall University, USA João Saraiva, Universidade do Minho, Portugal Jurriaan Hage, Heriot-Watt University, UK Kenichi Asai, Ochanomizu University, Japan Maja Kirkeby, Roskilde University, Denmark Marco Morazán, Seton Hall University, USA Neil Mitchell, Facebook, UK Ralf Laemmel, University of Koblenz Landau, Germany Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands Stephen Chang, UMass Boston, USA Tim Steenvoorden, Open University, The Netherlands Tom Schrijvers, KU Leuven, Belgium Yusuf Moosa Motara, Rhodes University, South Africa ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

ASPOCP 2024 @ ICLP- First Call for Paper
by cfp 03 Jul '24

03 Jul '24

[Apologies for cross-posting] ==================================================================================== CALL FOR PAPERS ASPOCP2024 17th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/unical.it/aspocp2024/ <https://sites.google.com/unical.it/aspocp2024/> October 12 or October 13 Affiliated with ICLP 2024, 40th International Conference on Logic Programming https://www.iclp24.utdallas.edu/ <https://www.iclp24.utdallas.edu/> October 11 - 17, 2024 ==================================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems.ASPwas found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship ofASPto other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications ofASPalso foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration ofASPwith description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regardingASPis available and several efficientASPsolvers have been implemented. However, there are still significant challenges in applyingASPto real life applications, and more interest in relatingASPto other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): -ASPand classical logic formalisms (SAT/FOL/QBF/SMT/DL). -ASPand constraint programming. -ASPand other logic programming paradigms, e.g., FO(ID). -ASPand other nonmonotonic languages, e.g., action languages. -ASPand external means of computation. -ASPand probabilistic reasoning. -ASPand knowledge compilation. -ASPand machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions toASP. -ASPand multi-agent systems. -ASPand multi-context systems. - Modularity andASP. -ASPand argumentation. - Multi-paradigm problem solving involvingASP. - Evaluation and comparison ofASPto other paradigms. -ASPand related paradigms in applications. - HybridizingASPwith procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS The workshop invites two types of submissions: - original papers describing original research. - non-original paper already published on formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style availablehere <https://drive.google.com/file/d/15jC34VXDf8GUMMpobnvaAaX0R4RSQ18v/view?usp=…>. A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere <https://www.overleaf.com/read/cqxqwrgjccwk#deb4a7>. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:https://easychair.org/my/conference?conf=aspocp2024 <https://easychair.org/my/conference?conf=aspocp2024>. IMPORTANT DATES Abstract submission deadline: 01 August 2024 Paper submission deadline: 08 August 2024 Notification: 05 September 2024 PROCEEDINGS Authors of all accepted original contributions can opt to publish their work in formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers could appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. WORKSHOP CO-CHAIRS Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria PROGRAM COMMITTEE TBA

1 0

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

02 Jul '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/ | https://confscience.com/isih/ ] All papers accepted in ISIH 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The ISIH 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - AI methods for medical device testing - Predicting and monitoring infectious disease - Machine learning for healthcare - Medical data and image analysis - Data quality assessment and improvement - Electronic medical records analysis - Deep Learning for healthcare - Screening and diagnosis - Explainable AI for healthcare - Multiagent systems for healthcare - AI-based simulations - Bio-inspired solutions for healthcare - Smart healthcare - Medical edge computing Track 2: Innovation and Connectivity - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - Emergent communication technologies - IoT-based disease surveillance - Prevention and detection systems - Rehabilitation technologies - Wearable health informatics - 5G for healthcare - Healthcare supply chain and logistics - Telemedicine and Mobile systems - Drones and robots for healthcare - Internet of Medical Things - Medical embedded systems - Network and services virtualization - Nanoscale healthcare Track 3: Human Computer Interaction - Human-Machine Interaction - Methods for inputting data for e-health - Models for human-device interaction - Model-based design and configuration tools - New experimental validation methods - Standardization, certification, and labeling - Communication and interoperability - Regulation compliant services (e.g., HIPAA) - Socio-economic issues - Feedback integration - Accessibility - Personalization and patient experience - Augmented/Virtual Reality solutions - Voice recognition - Enhanced Living Environment (ELE) Track 4: Sustainable Healthcare - Green healthcare facilities - Renewable energy integration in healthcare - Waste reduction and recycling - Sustainable supply chain management - Eco-friendly medical equipment and devices - Sustainable health practices - Educational initiatives - AI approaches for sustainable healthcare - Innovations for sustainable healthcare - AI approaches for global health equity - Quality of Service - Quality of Experience Track 5: Applications and Trends - Network and services virtualization - Software-Defined Networking (SDN) - Bioinformatics - Clinical Decision Support Systems - Interoperability for personal Health systems - Medical imaging - Evidence-based medicine - Blockchain applications - Smart health and big data - Health Information exchange solutions - Medical and patient scheduling software - Medication administration systems - Healthcare information systems - Integration and interoperability - Medical records - Clinical reporting systems - eHealth services - Robotics and Automation in Healthcare - Augmented and Virtual Reality in Healthcare Track 6: Ethics and Security - Ethics in AI-assisted diagnostics - Patient consent and data privacy - Bias and fairness in AI algorithms - Transparency in AI Decision-Making - Doctor-patient trust and communication - Security concerns in AI-enabled healthcare - AI healthcare technologies and equity - AI-generated medical insights - Innovation and patient privacy rights - Predictive modeling and informed consent - Social implications of AI in healthcare - Ethics in AI-enhanced patient treatment - Patient empowerment - Ethics in AI-integrated medical research - Data Security and Protection - Cybersecurity in healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( [ https://easychair.org/my/conference?conf=isih2024 | https://easychair.org/my/conference?conf=isih2024 ] ). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: [ https://confscience.com/isih/ | https://confscience.com/isih/ ] *************************************************************************** CONTACT: For more information, please send an email to ( ahmed.nait(a)univ-st-etienne.fr ) and ( nafaa.jabeur(a)gutech.edu.om )

2 1

Vacancy for PhD Candidate in Declarative Programming and the Internet of Things
by Mart Lubbers 01 Jul '24

01 Jul '24

The Radboud University has a vacancy for a PhD Candidate in Declarative Programming and the Internet of Things. For all the details, check out: https://www.ru.nl/en/working-at/job-opportunities/phd-candidate-declarative… Here is an excerpt of the above link Employment 1.0 FTE Gross monthly salary € 2,770 - € 3,539 Required background Research University Degree Organizational unit Faculty of Science Application deadline 31 August 2024 ************************************************************************ Are you an aspiring computer scientist with a fascination for declarative programming, the Internet of Things or topics that intersect with this? Then join the Software Science group at the Institute for Computing and Information Sciences as a PhD candidate! ************************************************************************ You will contribute to research on the various aspects of orchestrating IoT systems. Topics we study are embedded domain-specific languages, declarative programming styles such as functional programming and task-oriented programming, tierless programming, green computing, and system orchestration. Furthermore, we perform quantitative and qualitative empirical research on these techniques to answer questions regarding the usability, maintainability and evolve-ability of these novel methods. The research in the department has led to several (open-source) tools that you will use as an object of study (among others). Examples of this are: Clean, a functional programming language, iTasks, a task-oriented programming framework for distributed web applications, and mTask, a task-oriented programming language for embedded devices. As a PhD candidate, you will help further develop these systems and methods; a focus can be chosen depending on your own interest and background. Your teaching load will be up to 10% of your working time. You will be supervised by Dr Mart Lubbers. If you have any questions or would like to receive further details on this position, please feel free to contact us. ## Profile - You hold a Master's degree or equivalent in Computer Science or a closely related field, or expect to obtain such a degree soon. - You have experience with declarative programming languages. - You preferably have experience with programming embedded domain-specific languages, embedded devices or tierless programming. - You are able to work both independently and as part of a team. - You are proficient in English. If you are excited about this position but have not yet fully completed your Master's degree, please do not hesitate to apply or contact us. ## We are As a PhD candidate, you will be affiliated with the Software Science group at the Institute for Computing and Information Sciences (iCIS) at Radboud University. The Software Science group employs approximately 60 members, comprising full, associate and assistant professors, postdoctoral researchers, and PhD candidates. The group has a long history in functional programming, task-oriented programming, (embedded) domain-specific languages, compiler technology, and distributed computing. You will pursue your PhD in a vibrant international research environment. ## Radboud University At Radboud University, we aim to make an impact through our work. We achieve this by conducting groundbreaking research, providing high-quality education, offering excellent support, and fostering collaborations within and outside the university. In doing so, we contribute indispensably to a healthy, free world with equal opportunities for all. To accomplish this, we need even more colleagues who, based on their expertise, are willing to search for answers. We advocate for an inclusive community and welcome employees with diverse backgrounds, cultures, and perspectives. Will you also contribute to making the world a little better? You have a part to play. If you want to learn more about working at Radboud University, follow our Instagram account and read stories from our colleagues. ## Faculty of Science The Faculty of Science (FNWI), part of Radboud University, engages in groundbreaking research and excellent education. In doing so, we push the boundaries of scientific knowledge and pass that knowledge on to the next generation. We seek solutions to major societal challenges, such as cybercrime and climate change and work on major scientific challenges, such as those in the quantum world. At the same time, we prepare our students for careers both within and outside the scientific field. Currently, more than 1,300 colleagues contribute to research and education, some as researchers and lecturers, others as technical and administrative support officers. The faculty has a strong international character with staff from more than 70 countries. Together, we work in an informal, accessible and welcoming environment, with attention and space for personal and professional development for all.

1 0

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