Intelligent SE 2026

ISE Goals

Many researchers utilize AI techniques. However, AI techniques, including deep learning techniques and LLMs, have probabilistic characteristics, so it is difficult to verify and validate AI-based software systems. In this regard, this workshop aims to discuss intelligent methods for verifying AI techniques in various aspects. This workshop encourages researchers to present interesting ideas and demonstrations in various aspects of safety, security, explainability, and fairness, as well as in domains such as autonomous flights and autonomous driving. Researchers can discuss how their innovative suggestions can address the target domain’s problems. Researchers can also analyze the gap between solutions and problems that remain when applying them in practice. In the workshop, participants will explore future directions for intelligently verifying and validating AI-based software systems.

Topics of Interest

Topics of interest include, but are not limited to:

• Verification of probabilistic AI systems
• Verification of non-deterministic AI systems
• Safety-oriented verification and validation
• Security-oriented verification and validation
• Explainability-aware verification and validation
• Fairness and bias verification in AI systems
• Verification for autonomous flight systems
• Verification for autonomous driving systems
• Tooling, frameworks, and industrial demonstrations
• Runtime assurance of AI-based software systems
• Benchmark data for AI verification and validation
• Metrics for AI verification and validation
• Verification and validation of large language models
• CI, DevOps, and MLOps for intelligent software systems
• Intelligent & AI-assisted Verification and Validation
• Intelligent systems for software engineering
• AI techniques for intelligent software engineering

Contact US

Seonah Lee: saleese at gnu.ac.kr

Rahul Yedida, LexisNexis, rahul at ryedida.me

Call for Papers

Submission Guidelines

All papers must have neither been previously accepted for publication nor simultaneously submitted for review in another journal, book, conference, or workshop. All submissions must follow the same formatting and submission guidelines as the main conference. (See https://conf.researchr.org/track/icst-2026/icst-2026-research#Call-for-Papers)

We allow two paper types, regular (8 pages) and short (4 pages)

• The maximum number of pages per paper is 8, including references.
• No extra pages allowed

Submitted papers will be reviewed by the workshop committee members with respect to overall quality, including presentation, the research’s future impact, and the likely benefit to students, academics, and professionals who will attend the workshop.

The organizers reserve the right to reject submissions (without reviews) that are not in compliance or out of scope for the workshop submissions and that exceed the page limit.

The workshop follows single-blind submissions.

Important Dates

• Abstract submission due: March 1, 2026, AoE
• Paper submission due: March 8, 2026, AoE
• Notification of acceptance: March 31, 2026, AoE
• Camera-ready paper due: April 18, 2026, AoE
• Workshop: May 22, 2026, AoE