[This email is sent to people having attended some of our events in the past,
e.g. the LASER schools. It should include instructions to unsubscribe. Or just
drop me a note mentioning "Unsubscribe".]
Dear Colleague,
A workshop on “*The Interplay between artificial intelligence and formal
verification*”, VERIFAI, will take place in Villebrumier near Toulouse and
Montauban, France, on March 8 to 11 2026. The workshop page with the Call for
Papers is
https://www.laser-foundation.org/verifai-26/
with a submission deadline of *20 December 2025*. This submission is for
participation at the workshop and can take the form of a full paper or extended
abstract. The post-conference proceedings will appear in Springer Lecture Notes
in Computer Science.
The workshop is devoted to the relationship between AI and software
verification: not only how to verify AI tools but also (the main focus) how
verification techniques can make “vibe coding” efficient and reliable. (You can
find a preprint of an opinion piece on the topic, “*AI for software
engineering: from probable to provable*”, to be published in *Communications of
the ACM*, at
https://se.inf.ethz.ch/~meyer/publications/acm/probable-provable.pdf.) Topics
include:
• 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.
For more details see the workshop page. The Program Committee appears below.
We look forward to a milestone event on one of the most pressing issues of the
moment and hope you will contribute to it.
-- Bertrand Meyer
Program committee (as of Oct. 29)
• 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)
• 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)
To unsubscribe follow the link:
https://lists.inf.ethz.ch/mailman/options/se-events
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
