July 2024 - Haskell - Haskell.org

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