The interplay between Artificial Intelligence
and Formal Verification
8-11 March 2026
LASER Center
Villebrumier, France
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.
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-11 March 2026: workshop
- 31 May 2026: submission deadline for revised papers (for LNCS volume)
- 15 July 2026: notification
- 15 September 2026: camera-ready.
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 them 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 in the Château de Villebrumier (for three nights, 8 to 11 March 2026) and will have full access to its beautiful setting and amenities. As with several previous LASER workshops, the event will kick off with a concert in the late afternoon of Sunday, March 8 (arrival day), taking advantage of the château’s 1902 Pleyel grand piano. It ends on Wednesday, March 11 (departure day), after lunch, enabling participants to return home conveniently. Transportation will be provided to Toulouse International airport (with connections to many cities in Europe and beyond) and Montauban train station (4-hour TGV to Paris).
Program committee
- Saddek Bensalem (University of Grenoble-Alpes, France)
- Swarat Chaudhuri (University of Texas, USA)
- Li Huang (Constructor Institute of Technology)
- 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)
- Omer Landry Nguena Timo, (University Université du Québec en Outaouais, Canada)
- Manuel Oriol (Constructor Institute of Technology, Switzerland)
- 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.
Testimonial video
Prof. Jean-Michel Bruel, who has been involved in several LASER workshops in Villebrumier, recorded a short testimonial about the Villebrumier workshop experience. It is available here:
https://drive.google.com/file/d/1xwh0F-qltHVegY8ftkUpEyqqPnhlZgnw/view?usp=sharing
Topics
Topics of interest include, but are not limited to:
Conference chair
Bertrand Meyer (Schaffhausen Institute of Technology)
Program chairs
- Jean Michel Bruel (University of Toulouse)
Organization chair
Program outline
| Sunday, March 8 (2026) |
| Afternoon: participant pick-up (Toulouse airport and Montauban train station) and transfer to Villebrumier 18-19:30 (exact time to be confirmed) Special attraction: concert (open to workshop participants) 8 PM Welcome cocktai |
| 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 |
| 19:00-21:00 | Dinner |
| Wednesday January 25 | |
| 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 one convenient package including accommodation and meals.
| Cost | Regular attendance fee |
|---|---|
| EUR 690 | Regular attendance: 690 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 125 per-day | Per-day attendance inclusive of lunch, coffee breaks and dinner (not available for speakers) |
| Cost | Remote attendance fee |
| EUR 145 | 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.