From mart at cs.ru.nl Mon Jul 1 09:20:32 2024 From: mart at cs.ru.nl (Mart Lubbers) Date: Mon, 1 Jul 2024 11:20:32 +0200 Subject: [Haskell] Vacancy for PhD Candidate in Declarative Programming and the Internet of Things Message-ID: <438c072a-51a1-4f2f-9f91-e987688d67b1@cs.ru.nl> 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-programming-and-the-internet-of-things 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. From oumaima.boulkhoukh at univ-st-etienne.fr Tue Jul 2 08:23:54 2024 From: oumaima.boulkhoukh at univ-st-etienne.fr (Oumaima Boulkhoukh) Date: Tue, 2 Jul 2024 10:23:54 +0200 (CEST) Subject: [Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024 Message-ID: <2061867905.41572788.1719908634292.JavaMail.zimbra@univ-st-etienne.fr> Call for papers ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/isih/ | https://confscience.com/isih/ ] Call for papers We would like to remind you that the final submission date is extended to 10 July 2024 Apologies for Cross-posting ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/isih/ | https://confscience.com/isih/ ] All papers accepted in ISIH 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission: June 10, 2024 10 July 2024 (extended) - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The ISIH 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - AI methods for medical device testing - Predicting and monitoring infectious disease - Machine learning for healthcare - Medical data and image analysis - Data quality assessment and improvement - Electronic medical records analysis - Deep Learning for healthcare - Screening and diagnosis - Explainable AI for healthcare - Multiagent systems for healthcare - AI-based simulations - Bio-inspired solutions for healthcare - Smart healthcare - Medical edge computing Track 2: Innovation and Connectivity - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - Emergent communication technologies - IoT-based disease surveillance - Prevention and detection systems - Rehabilitation technologies - Wearable health informatics - 5G for healthcare - Healthcare supply chain and logistics - Telemedicine and Mobile systems - Drones and robots for healthcare - Internet of Medical Things - Medical embedded systems - Network and services virtualization - Nanoscale healthcare Track 3: Human Computer Interaction - Human-Machine Interaction - Methods for inputting data for e-health - Models for human-device interaction - Model-based design and configuration tools - New experimental validation methods - Standardization, certification, and labeling - Communication and interoperability - Regulation compliant services (e.g., HIPAA) - Socio-economic issues - Feedback integration - Accessibility - Personalization and patient experience - Augmented/Virtual Reality solutions - Voice recognition - Enhanced Living Environment (ELE) Track 4: Sustainable Healthcare - Green healthcare facilities - Renewable energy integration in healthcare - Waste reduction and recycling - Sustainable supply chain management - Eco-friendly medical equipment and devices - Sustainable health practices - Educational initiatives - AI approaches for sustainable healthcare - Innovations for sustainable healthcare - AI approaches for global health equity - Quality of Service - Quality of Experience Track 5: Applications and Trends - Network and services virtualization - Software-Defined Networking (SDN) - Bioinformatics - Clinical Decision Support Systems - Interoperability for personal Health systems - Medical imaging - Evidence-based medicine - Blockchain applications - Smart health and big data - Health Information exchange solutions - Medical and patient scheduling software - Medication administration systems - Healthcare information systems - Integration and interoperability - Medical records - Clinical reporting systems - eHealth services - Robotics and Automation in Healthcare - Augmented and Virtual Reality in Healthcare Track 6: Ethics and Security - Ethics in AI-assisted diagnostics - Patient consent and data privacy - Bias and fairness in AI algorithms - Transparency in AI Decision-Making - Doctor-patient trust and communication - Security concerns in AI-enabled healthcare - AI healthcare technologies and equity - AI-generated medical insights - Innovation and patient privacy rights - Predictive modeling and informed consent - Social implications of AI in healthcare - Ethics in AI-enhanced patient treatment - Patient empowerment - Ethics in AI-integrated medical research - Data Security and Protection - Cybersecurity in healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( [ https://easychair.org/my/conference?conf=isih2024 | https://easychair.org/my/conference?conf=isih2024 ] ). All papers will be peer reviewed. Length of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: [ https://confscience.com/isih/ | https://confscience.com/isih/ ] *************************************************************************** CONTACT: For more information, please send an email to ( ahmed.nait at univ-st-etienne.fr ) and ( nafaa.jabeur at gutech.edu.om ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From ivanperezdominguez at gmail.com Tue Jul 2 10:47:49 2024 From: ivanperezdominguez at gmail.com (Ivan Perez) Date: Tue, 2 Jul 2024 03:47:49 -0700 Subject: [Haskell] International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024 In-Reply-To: <2061867905.41572788.1719908634292.JavaMail.zimbra@univ-st-etienne.fr> References: <2061867905.41572788.1719908634292.JavaMail.zimbra@univ-st-etienne.fr> Message-ID: All, This person has sent these CFPs, which are unrelated to Haskell, to this mailing list multiple times. They've been asked to stop before. Can someone please remove oumaima.boulkhoukh at univ-st-etienne.fr from the mailing list? Thanks, Ivan On Tue, 2 Jul 2024 at 01:24, Oumaima Boulkhoukh < oumaima.boulkhoukh at univ-st-etienne.fr> wrote: > *Call for papers* > ************************************************** * > *International Intelligence, Sustainability, and Innovation in Healthcare > (ISIH 2024) * > *Roanne, France, October 30-31, 2024* > *https://confscience.com/isih/ * > > *Call for papers* > > We would like to remind you that the final submission date is extended to 10 > July 2024 > > Apologies for Cross-posting > > ************************************************* > > International Intelligence, Sustainability, and Innovation in Healthcare > (ISIH 2024) > > Roanne, France, October 30-31, 2024 > > https://confscience.com/isih/ > > All papers accepted in ISIH 2024 will be submitted for inclusion into IEEE > Xplore, IEEE Computer Society Digital Library, Scopus, > > EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, > ISTP/ISI Proceedings, etc. > > *************************************************************************** > > *IMPORTANT DATES:* > > - Paper Submission: June 10, 2024 10 July 2024 (extended) > > - Acceptance Notification: September 1, 2024 > > - Final Manuscript Due: October 1, 2024 > > *************************************************************************** > > The ISIH 2024 conference will be held in Conjunction with: > > The International Conference on Artificial Intelligence Revolutions (AIR > 2024) > > The International Conference on Borderless Artificial Intelligence and > Quantum Computing (BAIQC 2024) > > *************************************************************************** > > *TOPICS:* > > Authors are invited to submit their original papers to address the topics > of the conference, including but not limited to: > > Track 1: Fundamental and Theories > > - AI methods for medical device testing > > - Predicting and monitoring infectious disease > > - Machine learning for healthcare > > - Medical data and image analysis > > - Data quality assessment and improvement > > - Electronic medical records analysis > > - Deep Learning for healthcare > > - Screening and diagnosis > > - Explainable AI for healthcare > > - Multiagent systems for healthcare > > - AI-based simulations > > - Bio-inspired solutions for healthcare > > - Smart healthcare > > - Medical edge computing > > > > *Track 2: Innovation and Connectivity* > > - Remote healthcare management > > - Emergent healthcare infrastructure > > - Industry Revolution 4.0 for healthcare > > - Emergent communication technologies > > - IoT-based disease surveillance > > - Prevention and detection systems > > - Rehabilitation technologies > > - Wearable health informatics > > - 5G for healthcare > > - Healthcare supply chain and logistics > > - Telemedicine and Mobile systems > > - Drones and robots for healthcare > > - Internet of Medical Things > > - Medical embedded systems > > - Network and services virtualization > > - Nanoscale healthcare > > > > *Track 3: Human Computer Interaction* > > - Human-Machine Interaction > > - Methods for inputting data for e-health > > - Models for human-device interaction > > - Model-based design and configuration tools > > - New experimental validation methods > > - Standardization, certification, and labeling > > - Communication and interoperability > > - Regulation compliant services (e.g., HIPAA) > > - Socio-economic issues > > - Feedback integration > > - Accessibility > > - Personalization and patient experience > > - Augmented/Virtual Reality solutions > > - Voice recognition > > - Enhanced Living Environment (ELE) > > > > *Track 4: Sustainable Healthcare* > > - Green healthcare facilities > > - Renewable energy integration in healthcare > > - Waste reduction and recycling > > - Sustainable supply chain management > > - Eco-friendly medical equipment and devices > > - Sustainable health practices > > - Educational initiatives > > - AI approaches for sustainable healthcare > > - Innovations for sustainable healthcare > > - AI approaches for global health equity > > - Quality of Service > > - Quality of Experience > > > > *Track 5: Applications and Trends* > > - Network and services virtualization > > - Software-Defined Networking (SDN) > > - Bioinformatics > > - Clinical Decision Support Systems > > - Interoperability for personal Health systems > > - Medical imaging > > - Evidence-based medicine > > - Blockchain applications > > - Smart health and big data > > - Health Information exchange solutions > > - Medical and patient scheduling software > > - Medication administration systems > > - Healthcare information systems > > - Integration and interoperability > > - Medical records > > - Clinical reporting systems > > - eHealth services > > - Robotics and Automation in Healthcare > > - Augmented and Virtual Reality in Healthcare > > > > *Track 6: Ethics and Security* > > - Ethics in AI-assisted diagnostics > > - Patient consent and data privacy > > - Bias and fairness in AI algorithms > > - Transparency in AI Decision-Making > > - Doctor-patient trust and communication > > - Security concerns in AI-enabled healthcare > > - AI healthcare technologies and equity > > - AI-generated medical insights > > - Innovation and patient privacy rights > > - Predictive modeling and informed consent > > - Social implications of AI in healthcare > > - Ethics in AI-enhanced patient treatment > > - Patient empowerment > > - Ethics in AI-integrated medical research > > - Data Security and Protection > > - Cybersecurity in healthcare > > > > *************************************************************************** > > *OUTSTANDING PAPERS:* > > Based on the peer review scores as well as the presentations at the > conference, the authors of outstanding papers will be invited to extend > their works for a potential publication in journals special issues with > high impact factors. > > *************************************************************************** > > *PAPER SUBMISSION:* > > Papers must be submitted electronically as PDF files via easychair ( > https://easychair.org/my/conference?conf=isih2024). > > All papers will be peer reviewed. > > Length of Full papers: 6-8 pages long (written in the IEEE 2-column > conference style) > > For more information, please refer to the conference website: > https://confscience.com/isih/ > > > > *************************************************************************** > > *CONTACT:* > > For more information, please send an email to ( > ahmed.nait at univ-st-etienne.fr) and (nafaa.jabeur at gutech.edu.om) > _______________________________________________ > Haskell mailing list > Haskell at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell > -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Wed Jul 3 10:29:02 2024 From: cfp at mat.unical.it (cfp) Date: Wed, 3 Jul 2024 12:29:02 +0200 Subject: [Haskell] ASPOCP 2024 @ ICLP- First Call for Paper Message-ID: <7ac3ce55-1c07-474a-98c6-4ea8d5c84765@mat.unical.it> [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/                                October 12 or October 13       Affiliated with ICLP 2024, 40th International Conference on Logic Programming 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 .  A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere .  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 .  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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From ifl21.publicity at gmail.com Wed Jul 3 12:50:13 2024 From: ifl21.publicity at gmail.com (Mart Lubbers) Date: Wed, 3 Jul 2024 07:50:13 -0500 Subject: [Haskell] IFL 2024: Second Call for Papers Message-ID: ======================================================================= 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. From calimeri at mat.unical.it Wed Jul 3 15:42:52 2024 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Wed, 3 Jul 2024 17:42:52 +0200 Subject: [Haskell] HC@AIxIA: AI&Health Seminar Series (2024) - JULY 11 Message-ID: [*apologize for multiple postings*] Dear Madam/Sir, This is to officially announce the SEVENTH seminar of the "AI & Health" series as hosted by HC at AIxIA, i.e., the "Artificial Intelligence for Healthcare" working group of the Italian Association for Artificial Intelligence. *Save the date: 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 at googlegroups.com for any information or clarification. Thank you for your interest in the AI & Health seminar series and the HC at AIxIA working group, and see you soon! Sincerely, Francesco Calimeri, Mauro Dragoni, Fabio Stella (coordinators of the HC at AIxIA working group) *== 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 at AIxIA - Seminars AI & Health 2024 - Locandina 07.png] -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: HC at AIxIA - Seminars AI & Health 2024 - Locandina 07.png Type: image/png Size: 929362 bytes Desc: not available URL: From calimeri at mat.unical.it Wed Jul 3 15:52:46 2024 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Wed, 3 Jul 2024 17:52:46 +0200 Subject: [Haskell] Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care Message-ID: [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 at AIxIA working group, namely fostering an effective application of AI to medicine and the healthcare domain. Feel free to contact us at hc-aixia at 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 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] , Huang, et al. [2] , Kocbek et al. [3] , Houston et al. [4] , García Del Valle et al. [5] , Graudenzi et al. [6] and Sims et al. [7] . In particular, the authors of [1] 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] 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] 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] 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] 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] and [7] focuses on the importance of data. In [6] 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] 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/publish/guide-for-authors . 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 ) 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. -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthewtpickering at gmail.com Mon Jul 8 13:30:40 2024 From: matthewtpickering at gmail.com (Matthew Pickering) Date: Mon, 8 Jul 2024 14:30:40 +0100 Subject: [Haskell] Final Call for Talks: Haskell Implementors' Workshop 2024 In-Reply-To: References: Message-ID: ``` 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 (CircuitHub) ## Contact * Matthew Pickering From icfp.publicity at googlemail.com Mon Jul 22 14:26:37 2024 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Mon, 22 Jul 2024 10:26:37 -0400 Subject: [Haskell] ICFP 2024: Call for Participation Message-ID: ===================================================================== Call for Participation The 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024) and affiliated events https://icfp24.sigplan.org Milan, Italy; Sep 2-7, 2024 ===================================================================== ICFP is a celebration of the art and science of functional programming, providing a forum for researchers and developers to engage on a variety of topics, from foundations to features, and from abstraction to application. You are invited to participate in a full week dedicated to functional programming, featuring the ICFP main conference as well as several other related events. * Accepted Papers: https://icfp24.sigplan.org/track/icfp-2024-papers#event-overview * Registration: https://icfp24.sigplan.org/attending/registration The early-bird deadline is August 3, 2024 * Venue: Allianz MiCo (Milano Convention Centre) https://icfp24.sigplan.org/venue/icfp-2024-venue There are several events affiliated with ICFP: September 2 HOPE - https://icfp24.sigplan.org/home/hope-2024 PLMW - https://icfp24.sigplan.org/home/PLMW-ICFP-2024 HIW - https://icfp24.sigplan.org/home/hiw-2024 Erlang - https://icfp24.sigplan.org/home/erlang-2024 FARM - https://icfp24.sigplan.org/home/farm-2024 September 3-5 ICFP - Main conference September 6 Tutorials (Sep 6-7) - https://icfp24.sigplan.org/track/icfp-2024-tutorials FProPer - https://icfp24.sigplan.org/home/fproper-2024 ML - https://icfp24.sigplan.org/home/mlworkshop-2024 Haskell (Sep 6-7) - https://icfp24.sigplan.org/home/haskellsymp-2024 TyDe - https://icfp24.sigplan.org/home/tyde-2024 miniKanren - https://icfp24.sigplan.org/home/minikanren-2024 FUNARCH - https://icfp24.sigplan.org/home/funarch-2024 September 7 Tutorials (Sep 6-7) - https://icfp24.sigplan.org/track/icfp-2024-tutorials Scheme - https://icfp24.sigplan.org/home/scheme-2024 OCaml - https://icfp24.sigplan.org/home/ocaml-2024 Haskell (Sep 6-7) - https://icfp24.sigplan.org/home/haskellsymp-2024 Conference organizers: https://icfp24.sigplan.org/committee/icfp-2024-organizing-committee ===================================================================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Fri Jul 26 12:52:41 2024 From: cfp at mat.unical.it (cfp) Date: Fri, 26 Jul 2024 14:52:41 +0200 Subject: [Haskell] ASPOCP 2024 @ ICLP- Second Call for Paper Message-ID: <4544a725-4e2d-41ab-9752-b2015af4265e@mat.unical.it> [Apologies for cross-posting] ====================================================================================                                 SECOND CALL FOR PAPERS ASPOCP2024         17th Workshop on Answer Set Programming and Other Computing Paradigms 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/                                   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 .  A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere .  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 .  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 Mario Alviano, University of Calabria Marcello Balduccini, Saint Joseph's University Pedro Cabalar, University of Corunna Francesco Cauteruccio, University of Salerno Stefania Costantini, University of L'Aquila Carmine Dodaro, University of Calabria Stefan Ellmauthaler, TU Dresden Esra Erdem, Sabanci University Wolfgang Faber, University of Klagenfurt Cristina Feier Johannes K. Fichte, Linköping University Martin Gebser, University of Klagenfurt Tobias Geibinger, TU Wien Markus Hecher, Massachusetts Institute of Technology Giovambattista Ianni, University of Calabria Daniela Inclezan, Miami University Tomi Janhunen, Tampere University Vladimir Lifschitz, The University of Texas at Austin Marco Maratea, University of Calabria Tran Cao Son, New Mexico State University Alice Tarzariol, University of Klagenfurt Johannes P. Wallner, TU Graz Stefan Woltran, TU Wien Jia-Huai You, University of Alberta Jessica Zangari, University of Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.vandenbos at utwente.nl Mon Jul 29 08:26:28 2024 From: p.vandenbos at utwente.nl (Petra van den Bos) Date: Mon, 29 Jul 2024 10:26:28 +0200 Subject: [Haskell] FSEN 2025 - 2nd Call for Papers Message-ID: <9d81abe8-c38d-42f0-ad84-276a2fc53091@utwente.nl> SECOND CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 Västerås, Sweden 7,8 April 2025 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025. -- Important Dates -- Abstract Submission: October 7, 2024 (AoE) Paper Submission: October 14, 2024 (AoE) Notification: December 2, 2024 Final Camera-ready Submission: January 13, 2025 (AoE) Conference: April 7-8, 2025 -- Keynote Speakers (confirmed) -- Işıl Dillig, University of Texas at Austin Alexander Serebrenik, Eindhoven University of Technology Marielle Stoelinga, University of Twente and Radboud University, Nijmegen -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2025 . Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines ) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS proceedings 2) Short paper for the LNCS proceedings 3) Poster (not included in the proceedings) Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'25 will be published by Springer in the LNCS series. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'25. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chair -- Marjan Sirjani, Malardalen University, Sweden -- Program Chairs -- Georgiana Caltais - University of Twente, Netherlands Hossein Hojjat - Tehran Institute for Advanced Studies, Iran -- Publicity Chair -- Petra van den Bos, University of Twente, The Netherlands -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Mieke Massink, CNR-ISTI Pisa, Italy Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthewtpickering at gmail.com Mon Jul 29 10:38:25 2024 From: matthewtpickering at gmail.com (Matthew Pickering) Date: Mon, 29 Jul 2024 11:38:25 +0100 Subject: [Haskell] Haskell Implementors' Workshop - Change of date Message-ID: This year the decision has been taken to combine together Haskell Implementors' Workshop and Haskell Symposium. Therefore the workshop will now take place on the dates September 6/7 (the dates of the Haskell Symposium). Please email me if you have any questions. Cheers, Matt -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Wed Jul 31 10:26:28 2024 From: cfp at mat.unical.it (cfp) Date: Wed, 31 Jul 2024 12:26:28 +0200 Subject: [Haskell] ASPOCP 2024@ICLP- EXTENDED DEADLINE Message-ID: <7aaa066d-6f0b-466a-8b11-aa46eef5f4f5@mat.unical.it> Please note the extended deadline for ASPOCP 2024 [Apologies for cross-posting] ======================================================================= *EXTENDED SUBMISSION DEADLINE* *IMPORTANT DATES* ** Abstract submission deadline:*08 August 2024* ** **  Paper submission deadline:*15 August 2024* ** ** Notification:*10 September 2024* ** ====================================================================== ====================================================================================                                   CALL FOR PAPERS ASPOCP2024         17th Workshop on Answer Set Programming and Other Computing Paradigms 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/                                   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 .  A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere .  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 .  IMPORTANT DATES   Abstract submission deadline:                              08 August 2024   Paper submission deadline:                                 15 August 2024   Notification:                                              10 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 Mario Alviano, University of Calabria Marcello Balduccini, Saint Joseph's University Pedro Cabalar, University of Corunna Francesco Cauteruccio, University of Salerno Stefania Costantini, University of L'Aquila Carmine Dodaro, University of Calabria Stefan Ellmauthaler, TU Dresden Esra Erdem, Sabanci University Wolfgang Faber, University of Klagenfurt Cristina Feier Johannes K. Fichte, Linköping University Martin Gebser, University of Klagenfurt Tobias Geibinger, TU Wien Markus Hecher, Massachusetts Institute of Technology Giovambattista Ianni, University of Calabria Daniela Inclezan, Miami University Tomi Janhunen, Tampere University Vladimir Lifschitz, The University of Texas at Austin Marco Maratea, University of Calabria Tran Cao Son, New Mexico State University Alice Tarzariol, University of Klagenfurt Johannes P. Wallner, TU Graz Stefan Woltran, TU Wien Jia-Huai You, University of Alberta Jessica Zangari, University of Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: