AI has already revolutionized the way we approach software development; and we are still at the beginning.

AI-guided software construction suffers, however, from major limitations, in particular the phenomenon of hallucination, suggesting that we need to combine AI techniques with advanced verification techniques.

The VERIFAI workshop, the first of its kind, is devoted to the interplay between the two technologies: not only how to verify AI tools but also (the main focus) how verification techniques can make "vibe coding" efficient and reliable.

The workshop is intended for discussion. Participants will be selected on the basis of submitted papers; at that stage, extended abstracts (2 to 5 pages) are acceptable. Based on the initial articles and feedback at the workshop, revised articles will be, after refereeing, published in post-workshop proceedings in Springer LNCS. 

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome (page indications refer to Springer LNCS format):

• Full papers (up to 18 pages)
• Extended abstracts (2 to 5 pages)

Committees

Program Committee

• Saddek Bensalem (University of Grenoble-Alpes, France)
• Amel Bennaceur (Open University, UK)
• Silvia Bonfanti (University of Bergamo, Italy)
• Jean-Michel Bruel (University of Toulouse, France)
• Swarat Chaudhuri (University of Texas, USA)
• Benoît Combemale (IRISA, France)
• Sophie Ebersold (University of Toulouse, France)
• Angelo Gargantini (University of Bergamo, Italy)
• Li Huang (Constructor Institute of Technology, Switzerland)
• Mikoláš Janota (Czech Technical University, Prague)
• Guy Katz (Hebrew University, Israel)
• Atif Mashkoor (Johannes Kepler University, Austria)
• Tim Menzies (North Carolina State University, USA)
• Bertrand Meyer (Eiffel Software, USA/Switzerland)
• Rosemary Monahan (Maynooth University, Ireland) 
• Iulian Neamtiu (New Jersey Institute of Technology, USA)
• Omer Landry Nguena Timo (Université du Québec en Outaouais, Canada)
• Manuel Oriol (Constructor Institute of Technology, Switzerland)
• Meriem Ouederni (University of Toulouse, France)
• Cesare Pautasso (University of Lugano, Switzerland)
• Bernard Steffen (TU Dortmund, Germany)
• Xingyu Zhiao (University of Warwick, UK)

Organizing committee

• Jean-Michel Bruel, Bertrand Meyer

Publication

VERIFAI-2026 proceedings will be published in Springer LNCS (Lecture Notes in Computer Science), part of the LASER Villebrumier center LNCS subseries.

Venue

The conference will be held in Villebrumier, near Montauban, in the Southwest of France. Participants will be housed onsite. Villebrumier is easily reached: 10 minutes from the train station in Montauban (4 hours from Paris by TGV) or 30 minutes from Toulouse-Blagnac airport, with connections to most important European airports. Shuttles will be organized from both of these locations (March 8) and back (March 11). The Villebrumier center provides an excellent environment for scientific seminars in a convenient setting.

Contact

All questions about submissions should be emailed to villebrumier@fastmail.fm