Vincenzo Arceri is in the Program Committee of SOAP 2023 – 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

Static and dynamic analysis techniques and tools for mainstream programming languages (such as Java, C, JavaScript), have received widespread attention for a long time. The application domains of these analyses range from core libraries to modern technologies such as web services and mobile applications. Over time, various analysis frameworks have been developed to provide techniques for optimizing programs, ensuring code quality, and assessing security and compliance.

SOAP 2023 aims to bring together the members of the program analysis community to share new developments and shape new innovations in program analysis.

SOAP 2023 will be held on 18 June 2023, in Orlando, Florida, US.

Vincenzo Arceri is in the Program Committee of ICCCI 2023 – 15th International Conference on Computational Collective Intelligence (Privacy and Data Protection session)

ICCCI 2023 is an international scientific conference for research in the field of Computational Collective Intelligence, to be held on 27-29 September 2023 in Budapest, Hungary.

The aim of this conference is to provide an internationally respected forum for scientific research in the computer-based methods of collective intelligence and their applications. The scope of ICCCI 2023 includes all topics related with processing data and knowledge from autonomous sources, especially in: collective processing, knowledge integration, data integration, group decision making, multi-criteria decision making, consensus computing, and social networks.

Vincenzo Arceri is Program Chair of CSV – Challenges of Software Verification

On May, 20th 2022 Ca’ Foscari University awarded prof. Patrick Cousot with a PhD in Computer Science Honoris Causa. After the, the workshop on “Challenges of Software Verification” took place in the same room. The workshop was by invitation only.

Vincenzo Arceri is in the Artifact Evaluation Committee
of SAS 2022 – 29th Static Analysis Symposium

Static analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of International Static Analysis Symposia (SAS) serves as the primary venue for presentation of theoretical, practical, and application advances in the area.

Vincenzo Bonnici is in the Program Committee
of LOD 2022 – 8th International Conference on machine Learning, Optimization & Data science.

The 8th  Annual Conference on machine Learning, Optimization and Data science (LOD) is an international conference on machine learning, computational optimization, big data and artificial intelligence. The conference includes invited talks, tutorials, special sessions, industrial tracks, demonstrations, and oral and poster presentations of refereed papers.

The LOD has established itself as a premier interdisciplinary conference in machine learning, computational optimization, data science and AI. It provides an international forum for the presentation of original interdisciplinary research results, and the exchange and dissemination of innovative and practical development experiences.

Vincenzo Bonnici is in the Program Committee
of BIOTECHNO 2022 – The Fourteenth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies.

Vincenzo Bonnici is Local Organizer
for the Annual meeting of the Bioinformatics Italian Society (BITS).

Bioinformatics is meant as a multi-disciplinary science for the study of biological systems at the molecular and cellular level by using informatics and computational methods and models.
Main goals of the associations are the study, development and spreading of Bioinformatics in a scientific, academic, technological and industrial environment.

The conference highlights keynote talks by excellent scientists in bioinformatics and its applications, presentations of state-of-the-art research in computational biology, and poster sessions on the latest research progress.

Vincenzo Bonnici is Associate Editor
in Healthcare Analytics, Springer.

Healthcare Analytics is an interdisciplinary journal promoting the application of data science, business analytics, information technology, operations research, statistics, simulation, optimization, and mathematical modelling to decision-making and problem-solving in healthcare organizations within the private and public sectors. The principal objective of Healthcare Analytics is to provide state-of-the-art information for academic researchers, policy-makers, and practitioners concerned with developing new methodologies, tools, and technologies to formulate and solve operational, tactical, and strategic problems in healthcare organizations. The journal is a source of information for theoretical, empirical, and analytical research and real-world applications and case studies in healthcare analytics and informatics.