Convide Working Group Meeting 2025

On 25/26 June 2025, the yearly Convide Working Group meeting took place at KIT. Over 30 researchers traveled to Campus North to discuss cross-project ideas in a BarCamp setting. As an impressive sign for the project’s advances in recent months, the event illustrated that the Convide team is hard at work tackling highly relevant and timely research problems.

A BarCamp is an informal, participant-driven event where attendees share and learn in an open environment. BarCamps do not have a predefined agenda; instead, the content is created and driven by the participants themselves. The discussants are required to draft minutes of the session and document any to-dos or action items they identify. Ideally, potential ideas for joined cross-project publications are identified.

At the five sessions, groups tackled questions related to consistency requirements, measuring consistency, identifying types of consistency specifications, the use of Large Language Models for consistency checking, and many more. Important debates centered on topics such as elaborating whether all models are graphs and discussing the relationship between consistency and dependency.

Over the coming months, many of the ideas developed and discussed at this year’s Working Group meeting will take form as scientific papers submitted to relevant conferences proceedings that our communities regularly and successfully publish in. Convide management is looking forward to supporting these endeavors through our Editing Office, helping our young scientists to establish a foothold in their respective fields.