IDC 2022

The main goal of the IDC symposium is to gather researchers and practitioners to foster and ease rich discussions around the latest findings, research achievements and ideas in the area of Intelligent Distributed Computing.

The IDC 2022 provides an open forum for enhancing the collaboration between researchers, lecturers, and students from Intelligent Computing and Distributing Computing communities. Intelligent Computing covers a hybrid palette of methods, techniques and their applications ranging from classical artificial intelligence, information and data sciences, multi-agent technologies or computational intelligence to more recent trends such as swarm intelligence, bio-inspired computation, cloud computing, machine learning or social-cyber-physical trust and security. Distributed Computing develops methods and technology to build complex computational systems composed of collaborating software components scattered across diverse computational elements.

IDC 2022 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to:

• Theoretical advances
• Practical advances, e.g. algorithms or software architectures
• Knowledge compilation
• Implementation-level details of SAT solving tools
• Problem encodings and reformulations
• Applications
• Case studies based on rigorous experimentation

IDC 2022 welcomes research works centered on all aspects of intelligent distributed computing, with an intention to balance between theoretical research ideas and their application to great variety of industrial cases. To this end, scholars and practitioners from academia and industrial fields are invited to submit high-quality original contributions to IDC 2022. The structure of the symposium consists of regular sessions with technical contributions reviewed and selected by an international program committee, as well as of special sessions and workshops targeted on multi-disciplinary and cutting-edge topics.

Topics include, but are not restricted to:

• Distributed swarm robotics systems
• Ephemeral and Unreliable computing
• Intelligent Distributed Applications
• Intelligent Distributed and High-Performance Architectures
• Intelligent Distributed Knowledge Representation and Processing
• Intelligent Transportation Systems
• Internet of Things
• Nature-inspired methods for supervised and unsupervised data mining
• Networked Intelligence
• Organization and Management
• Parallel metaheuristics for optimization