VALS is a new research team of the LRI (CNRS and University of Paris-Sud), located in Orsay, France. It was created in September 2013, joining the two former teams ForTesSe and Toccata. Toccata is a research team of the Inria Saclay - Île-de-France research center.

The VALS team works in the Area of Verification and Validation of Algorithms, Languages and Systems, right in the heart of the scientific field called "Formal Methods". The main objectives of the team are:

  • making verification an easier to use, more wide-spread technology,
  • pushing the limits of formal verification in non-standard application domains,
  • advancing the technology of interactive and automated theorem provers,
  • improving foundations by verifying languages, systems, and tools,
  • developing combinations of formal test and proof techniques,
  • developing combinations of proofs and probability.

For additional information, visit the research page and the software page.


[Conference] November 3-6, 2015
The 17h International Conference on Formal Engineering Methods takes place in Paris. Fatiha Zaidi is the general chair, and Sylvain Conchon is program co-chair together with Michael Butler from University of Southampton, UK.

Recent reports: A Strategy paper for VALS, and research activites for the past 5 years for the Toccata team and for the ForTesSE team.

Recent defenses:

Recent arrivals:

  • (2015/05) Mário Pereira (PhD student)
  • (2015/01) David Hauzar (ProofInUse engineer)
  • (2014/10) Clément Fumex (ProofInUse engineer)
  • (2014/10) David Declerck (PhD student)
  • (2014/10) Michaël Marcozzi (ERCIM post-doc)
  • (2014/10) Hai Nguyen-Van (PhD student)
  • (2014/09) Andrew Tolmach (Digiteo chair)