The first international Workshop on AI Context, Transformation and Verification (ACTV 2026) is an interdisciplinary event designed for the purpose of solving problems in situations where dynamic changes and/or low to zero error rates are required across engineering disciplines for the transformation and verifications in distinct contexts. Basically, we have the problem, for systems, models or other forms of representations to achieve “isomorphy” for the transferability with various methods. Especially, AI or hybrid methods offer a lot of opportunities. A challenge is the handling of uncertainties to achieve the desired or requested result. Strict rule-based methods are able to process transformations, but have difficulties adapting to changes. Distinct transformation methods implicate verifications of origin structures and support unique transformations, whereas other methods need distinct metrics to ensure an isomorphic transferability. However, metrics and semantics for assessing the transferability of existing methods from one form to another also serve to minimize errors. We invite researchers and practitioners to share their insights and findings with various aspects of AI and its implications on this problem.

 
The topics of interest of the workshop include, but are not limited to:

• Symbolic and generic AI

• Rule-based systems

• Hybrid systems

• Semantic models, extraction and computing

• Metrics for verification and assessing transferability

• Knowledge management, acquisition and verification

• Formal methods

• Digital Twins and knowledge management

ORGANIZING COMMITTEE

M. W. Lippe, University of Münster

M. Wagner, University of Augsburg

J. Schick, University of Münster

 

IMPORTANT SUBMISSION INSTRUCTIONS

• When submitting a paper, please choose the “Workshop on AI Context, Transformation and Verification" track in Easychair.

• Page limits:

  • Regular and Workshop Papers – 8 pages (up to 2 extra pages allowed at $150 per extra page)

  • Short Papers – 4 pages (1 extra page allowed at $150)

  • Position Papers – 2 pages (1 extra page allowed at $150)

• To submit your paper, use the link on the AIxSET Submission webpage