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.
Topics
Topics of interest include, but are not limited to:
- Using verification and validation techniques to filter, control and certify AI-produced software.
- Using AI to generate and validate both implementations and specifications
- Analyses of the quality of AI-generated software and vibe coding.
- Using AI to generate and run proofs and other static analyses.
- Using AI to generate and run tests.
- AI-based verification tools.
- Using AI for software engineering tasks other than coding: vibe requirements, vibe specification, vibe contracting, vibe design, vibe testing, vibe verifying…
- The hallucination phenomenon and how to deal with it.
- Empirical studies of properties of AI-supported software.
- Experience reports in academia and industry.
- Verifying AI systems.
The word “verification” in the title of the VERIFAI workshop should be understood in a broad sense, including “validation” (“V & V”) and a wide range of software analysis techniques, from proofs to tests.
Empirical analyses providing quantitative assessments of the use of AI to produce software are particularly welcome.
Submission information
Contributions to VERIFAI and the corresponding submissions proceed in two stages:
- Stage 1: presentation at the workshop. Submission at that stage (deadline: 20 December 2025) is for participating at VERIFAI-26. Texts will be made available for participants but not otherwise publishes. Full papers are recommended (if only as a preparation for stage 2).
- Stage 2: publication in LNCS. Revised submissions (deadline 31 May 2026), benefiting from feedback at the workshop, will be selected for publication in the Springer Lecture Notes in Computer Science VERIFAI-26 volume (part of a special LNCS subseries devoted to LASER-Villebrumier proceedings). Contributions will be reviewed by 3 PC members and must meet criteria of significance, novelty, evidence and clarity.
All submissions should go here: https://easychair.org/my/conference?conf=verifai2026.
Important dates
- 20 December 2025: submission deadline for full papers (max 15 pages) or extended abstracts (2 to 5 pages) for participation in the workshop.
- 31 January 2026: notification (for acceptance at workshop).
- 8 February 2026: deadline for early-bird registration.
- 8-11 March 2026: workshop
- 31 May 2026: submission deadline for revised papers (for LNCS volume)
- 15 July 2026: notification
- 15 September 2026: camera-ready.
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 (INRIA, 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)
- Gail Murphy (University of British Columbia, Canada)
- Ileana Ober (University of Toulouse)
- Iulian Ober (ISAE (Institute of Space Technology), France)
- 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)
The above list is initial. More PC members are in the process of being invited.
About the workshop
The workshop is to help improve the state of the art and realize the full potential of using AI to generate high-quality software reliably and effectively.
The focus is on interaction between the participants. They will have access to each other’s papers ahead of the meeting and are encouraged to read them in advance. In addition to presentation sessions, ample time has been set aside for discussions and joint work.
Participants will be housed on site (for three nights, 8 to 11 March 2026) and will have full access to its beautiful setting and amenities. As with several previous Villebrumier workshops, the event will kick off with a concert in the late afternoon of Sunday, March 8 (arrival day). It ends on Wednesday, March 11 (departure day), after lunch, enabling participants to return home conveniently. Transportation will be provided to Toulouse-Blagnac International airport (with connections to many cities in Europe and beyond) and Montauban train station (4-hour TGV to Paris).
Conference chair
Bertrand Meyer (Eiffel Software)
Program chairs
- Jean Michel Bruel (University of Toulouse)
- Bertrand Meyer (Eiffel Software)
Program outline
| Sunday, March 8 (2026) |
| Afternoon: participant pick-up (Toulouse airport and Montauban train station) and transfer to Villebrumier 17-18:30 (exact time to be confirmed) Special attraction: concert (open to workshop participants) 19:00 Welcome cocktail |
| Monday, March 9 | |
| Time | Activity |
| 9:00-10:30 | Keynote 1 |
| 11:00-12:30 | Session 1 |
| 12:30-14:00 | Lunch |
| 14:00-15:00 | Session 2 |
| 15:30-17:00 | Session 3 |
| 17:00-18:00 | Discussion |
| 19:00-21:00 | Dinner |
| Tuesday, March 10 | |
| Time | Activity |
| 9:00-10:30 | Keynote 2 |
| 11:00-12:30 | Session 4 |
| 12:30-14:00 | Lunch |
| 14:00-15:30 | Working groups discussions |
| 15:30-18:30 | Excursion and tasting of local wine (Fronton) at the Maison des Vins + cheese producer (subject to adaptation) |
| 19:00-21:00 | Dinner |
| Wednesday, March 11 | |
| Time | Activity |
| 9:00-10:30 | Session 5 |
| 11:00-12:30 | General discussion, next steps, |
| 12:30-14:00 | Lunch Transfer to airport and train station |
Workshop material
Preliminary papers and slides will be added here
Registration
The participants will be hosted at Villebrumier. As there are a limited number of rooms, single and double rooms will be assigned on a first-come, first-served basis. We offer a convenient package covering accommodation and meals and participation in all activities, including the concert on Sunday and the excursion.
| Cost | Regular attendance fee |
|---|---|
| EUR 690 | Regular attendance: 690 EUR (early-bird until 8 February 2026: 595 EUR). Single or double room for 3 nights (Sunday to Wednesday), 3 breakfasts, 5 breaks, 3 lunches, 3 dinners |
| Cost | Per-day attendance fee |
| EUR 175 per-day | Per-day attendance inclusive of lunch, coffee breaks and dinner (not available for speakers) |
| Cost | Remote attendance fee |
| EUR 150 | Remote attendance (whole event, not available for speakers) |
Transportation from Toulouse airport or Montauban train station will be provided at a cost of EUR 20 in cash. Pick up will be on 8 March at 16:00. Transportation back, departing at 14:00 on 11 March, will be provided at a cost of EUR 20 in cash.
Contact
To circulate the Call for Papers, please give the URL of the present page: www.laser-foundation.org/verifai-26/.
To contact the organizers, you may write to villebrumier at fastmail dot fm (click this link).