CAIN 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
Mon 13 Apr 2026 10:03 - 10:06 at Oceania X - Keynote & Doctoral Symposium & Posters Chair(s): Jennifer Horkoff, Vincenzo Stoico
Mon 13 Apr 2026 12:00 - 12:30 at Capri V - DS Session 1 Chair(s): Helena Holmström Olsson

AI-enabled systems increasingly influence high-stakes decisions, yet their opacity and unclear accountability mechanisms hinder their safe and trustworthy deployment. The state of the art lacks a proper software engineering oversight mechanism to audit AI systems (internally and externally) to achieve compliant-by-design AI systems prior to deployment. This research investigates how to enable verifiable and auditable AI systems by design, addressing gaps in intellectual-property-preserving transparency, operationalisation of regulatory requirements, and lifecycle-wide auditing. The research’s expected outcome is a unified framework and accompanying tools to support compliant-by-design, trustworthy AI systems across their development and operational lifecycles. All contributions will be empirically evaluated through case studies and interviews.

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Keynote & Doctoral Symposium & PostersDoctoral Symposium / CAIN Scope / Industry Track / Journal-First Track / Research Track / / Posters / CAIN Program at Oceania X
Chair(s): Jennifer Horkoff Chalmers and the University of Gothenburg, Vincenzo Stoico Vrije Universiteit Amsterdam
09:00
60m
Keynote
Engineering Governable Agentic Knowledge Fabrics for Discovery ApplicationsKeynote
CAIN Program
Renato Cerqueira PUC-Behring Institute for Artificial Intelligence
10:00
3m
Doctoral symposium paper
Closing the Diagnostic Gap: An Explainable Testing Framework for Validation and Verification of AI-Based SystemsDoctoral Symposium
Doctoral Symposium
Halit Eris Technical University of Munich
10:03
3m
Doctoral symposium paper
The Inauditable Lie: Achieving Verifiable and Compliant AI Systems by DesignDoctoral Symposium
Doctoral Symposium
Filippo Scaramuzza Tilburg University and Eindhoven University of Technology
10:06
3m
Doctoral symposium paper
Toward Architecture-Aware Evaluation Metrics for LLM AgentsDoctoral Symposium
Doctoral Symposium
Débora Lêda de Lucena Souza Federal University of Campina Grande
10:09
3m
Doctoral symposium paper
Characterizing Architectural Complexity on Machine Learning-Enabled SystemsDoctoral Symposium
Doctoral Symposium
Renato Cordeiro Ferreira IME-USP | JADS-TiU/TUe
10:12
3m
Poster
Integrating Medallion Architecture and RAG for Secure LLM Products DevelopmentPoster
Posters
Leonardo da Silva Gomes Universidade de São Paulo, Suzane Duarte University of Brasilia (UnB), Isaque Alves University of São Paulo, Carla Silva Rocha Aguiar University of Brasilia (UnB)
10:15
3m
Poster
Towards "ENERGY STAR" LLM-Enabled Software Engineering Tools with RAG and Prompt Engineering TechniquesPoster
Posters
Himon Thakur University of Colorado Colorado Springs (UCCS), Armin Moin University of Colorado Colorado Springs
10:18
3m
Poster
Using Model Based System Engineering to define Operational Design Domain and Graphical Safety Notation to support trustworthiness of AI based systemsPoster
Posters
Asma Smaoui DILS/LSEA CEA LIST Palaiseau, France, Nam-khanh Nguyen DILS/LSEA CEA LIST Palaiseau, France, Adedjouma Morayo DILS/LSEA CEA LIST Palaiseau, France
10:21
3m
Poster
Towards an Approach to Support Knowledge Acquisition for Engineering AI-Enabled SystemsPoster
Posters
Marina Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Júlia Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Romeu Oliveira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
11:00 - 12:30
DS Session 1Doctoral Symposium at Capri V
Chair(s): Helena Holmström Olsson Malmö University
11:00
30m
Keynote
AI Reinventing Software Engineering
Doctoral Symposium
Jan Bosch Chalmers University of Technology
11:30
30m
Doctoral symposium paper
Closing the Diagnostic Gap: An Explainable Testing Framework for Validation and Verification of AI-Based SystemsDoctoral Symposium
Doctoral Symposium
Halit Eris Technical University of Munich
12:00
30m
Doctoral symposium paper
The Inauditable Lie: Achieving Verifiable and Compliant AI Systems by DesignDoctoral Symposium
Doctoral Symposium
Filippo Scaramuzza Tilburg University and Eindhoven University of Technology