This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO);  12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS).

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO);  12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS).

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed andselected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.The four workshops were:ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO);  12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS).

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 19th European Conference on Software Architecture, ECSA 2025, held in Limassol, Cyprus, during September 15–19, 2025.The 13 full papers and 19 short papers presented in this volume were carefully reviewed and selected from 56 submissions. They are grouped into the following topics: Tools and Demos; Tutorial; Doctoral Symposium; 1st International Workshop on AI-Assisted Software Architecting (AISA);5th International Workshop on Agility with Microservices Programming (AMP); 1st International Workshop on Architecting Digital Twin of an Organization (ArchDTO);  12th Workshop on Adaptive and Reconfigurable Systems and Architectures (AROSA); 8th International Workshop on Context-Aware, Autonomous and Smart Architectures (CASA); 1st International Workshop on Software Architecture for Data-Intensive Systems (SADIS).

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software Engineering andFormal Methods, held in York, UK, in September 2015.The 25 papers included in this volume were carefully reviewed andselected from 32 submissions. The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.The four workshops were:ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.