This book constitutes the refereed proceedings of the 26th Australasian Conference on Information Security and Privacy, ACISP 2021, held in Perth, WA, Australia, in November 2021. The 35 full papers presented were carefully revised and selected from 157 submissions..

FACS 2021 is concerned with how formal methods can be applied to component-based software and system development.

FACS 2021 is concerned with how formal methods can be applied to component-based software and system development.

The 35 full papers presented were carefully revised and selected from 157 submissions..

The conference presents contributions on virtual reality, mixed reality, augmented reality, collaborative virtual environment, tangible user interface, CAD model processing, and others. This book constitutes the refereed proceedings of the 18th International Conference on Virtual Reality and Mixed Reality, EuroXR 2021, held in Valencia, Spain, in November 2021. Virtual Reality and Mixed Reality. The 8 full and 4 short papers were carefully reviewed and selected from 31 submissions.

This book constitutes the refereed proceedings of the 18th International Conference on Virtual Reality and Mixed Reality, EuroXR 2021, held in Valencia, Spain, in November 2021. Virtual Reality and Mixed Reality.The conference presents contributions on virtual reality, mixed reality, augmented reality, collaborative virtual environment, tangible user interface, CAD model processing, and others. The 8 full and 4 short papers were carefully reviewed and selected from 31 submissions.

Advances in Web-Based Learning – ICWL 2021.This book constitutes the proceedings of the 20th International Conference on Advances in Web-Based Learning, ICWL 2021, which was held in Macau, China, in November 2021.

For DCL 2021, 4 papers from 7 submissions were accepted for publication. The workshops were planned to take place in Strasbourg, France, but were held virtually due to the COVID-19 pandemic. This book constitutes the refereed proceedings of the 10th International Workshop on Clinical Image-Based Procedures, CLIP 2021, Second MICCAI Workshop on Distributed and Collaborative Learning, DCL 2021, First MICCAI Workshop, LL-COVID19, First Secure and Privacy-Preserving Machine Learning for Medical Imaging Workshop and Tutorial, PPML 2021, held in conjunction with MICCAI 2021, in October 2021. Clinical Image-Based Procedures, Distributed and Collaborative Learning, Artificial Intelligence for.

This book constitutes the proceedings of the 20th International Conference on Advances in Web-Based Learning, ICWL 2021, which was held in Macau, China, in November 2021.

And for PPML 2021, 2 papers were accepted from a total of 6 submissions, exploring the use of privacy techniques in the medical imaging community. This book constitutes the refereed proceedings of the 10th International Workshop on Clinical Image-Based Procedures, CLIP 2021, Second MICCAI Workshop on Distributed and Collaborative Learning, DCL 2021, First MICCAI Workshop, LL-COVID19, First Secure and Privacy-Preserving Machine Learning for Medical Imaging Workshop and Tutorial, PPML 2021, held in conjunction with MICCAI 2021, in October 2021.

.They are organized in topical sections named: COVID-19, EEG data processing, Medical Data Analysis, Medical Record Mining (I), Medical Data Mining (II), Medical Data Processing. The 16 full papers and 7 short papers presented in this volume were carefully reviewed and selected from 56 submissions.

This book constitutes the proceedings of the 10th International Conference on Health Information Science, HIS 2021, which took place in Melbourne, Australia, in October 2021..

The papers are organized in the following topical sections: Part I: BlockChain and Crowdsourcing; Database System and Workflow; Data Mining and Applications; Knowledge Graph and Entity Linking; Graph Neural Network; Graph Query; Social Network; Spatial and Temporal Data Analysis. This two-volume set constitutes the proceedings of the 22nd International Conference on Web Information Systems Engineering, WISE 2021, held in Melbourne, VIC, Australia, in October 2021. The 55 full, 29 short and 5 demo papers, plus 2 tutorials were carefully reviewed and selected from 229 submissions. Web Information Systems Engineering – WISE 2021.

This two-volume set constitutes the proceedings of the 22nd International Conference on Web Information Systems Engineering, WISE 2021, held in Melbourne, VIC, Australia, in October 2021.The papers are organized in the following topical sections: Part I: BlockChain and Crowdsourcing; Database System and Workflow; Data Mining and Applications; Knowledge Graph and Entity Linking; Graph Neural Network; Graph Query; Social Network; Spatial and Temporal Data Analysis. Web Information Systems Engineering – WISE 2021. The 55 full, 29 short and 5 demo papers, plus 2 tutorials were carefully reviewed and selected from 229 submissions.

The papers are organized in topical sections named: Invited Presentations. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.

The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions. This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.

The contributions thoroughly cover the entire field of HCI, addressing major advances in knowledge and effective use of computers in a variety of application areas.HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intel Additionally, 174 papers and 146 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work” (papers and posters). The conference was planned to take place in Washington DC, USA but had to change to a virtual conference mode due to the COVID-19 pandemic.

A total of 5222 individuals from academia, research institutes, industry, and governmental agencies from 81 countries submitted contributions, and 1276 papers and 241 posters were included in the volumes of the proceedings that were published before the start of the conference. The contributions thoroughly cover the entire field of HCI, addressing major advances in knowledge and effective use of computers in a variety of application areas..HCI International 2021 - Late Breaking Papers: Multimodality, eXtended Reality, and Artificial Intel Additionally, 174 papers and 146 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work” (papers and posters).

The conference was planned to take place in Washington DC, USA but had to change to a virtual conference mode due to the COVID-19 pandemic. The contributions thoroughly cover the entire field of HCI, addressing major advances in knowledge and effective use of computers in a variety of application areas.

The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions.The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification..

This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.. The 15 revised full papers and 2 short papers presented were carefully reviewed and selected from 32 submissions.The papers are organized in the following thematic blocks: distributed systems, blockchain, and verification.

HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry Additionally, 174 papers and 146 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work” (papers and posters). The contributions thoroughly cover the entire field of HCI, addressing major advances in knowledge and effective use of computers in a variety of application areas.

The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 submissions.

The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 submissions.

.The papers are organized into the following topical sub-headings: mathematical programming, global optimization, discrete and combinatorial optimization, optimal control, optimization and data analysis, and game theory and mathematical economics. This book constitutes the refereed proceedings of the 12th International Conference on Optimization and Applications, OPTIMA 2021, held in Petrovac, Montenegro, in September-October 2021.

The papers are organized in the following topical sections: technical paper; machine learning; AI techniques; short technical stream papers; application papers; applications of machine learning; AI for medicine; advances in applied AI; and short application stream papers.Artificial Intelligence XXXVIII The volume includes technical papers presenting new and innovative developments in the field as well as application papers presenting innovative applications of AI techniques in a number of subject domains. The conference was held virtually due to the COVID-19 pandemic.

The 22 full and 3 short papers presented were carefully reviewed and selected from 63 submissions..

Artificial Intelligence XXXVIII The volume includes technical papers presenting new and innovative developments in the field as well as application papers presenting innovative applications of AI techniques in a number of subject domains. The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2021, held in Leuven, Belgium, during September, 2021.

The 3 full papers and 4 short papers presented were carefully reviewed and selected from 20 submissions. This book constitutes the refereed proceedings of the Third International Symposium on Mathematical and Computational Oncology, ISMCO 2021, held in October 2021.