Savoir-faire et logiciels open source - VERIDIS

A session at Open World Forum 2013

  • Pascal Fontaine

Friday 4th October, 2013

10:15am to 10:30am (PMT)

veriT : un outil pour résoudre efficacement des formules logiques avec contraintes arithmétiques.

About the speaker

This person is speaking at this event.
Pascal Fontaine

Unknown, Inria

Pascal Fontaine is assistant professor at the University of Lorraine since September 2006. He received his PhD from the University of Liège, Belgium, in 2004. His main research interests are automated theorem proving and satisfiability solving. More specifically, he is developing, with David Déharbe, the open-source SMT solver veriT.

Next session in Gopher (2.06)

10:30am Rendez-vous personnalisés avec les chercheurs by Patrick Moreau

Sign in to add slides, notes or videos to this session

Sign in to track this session

Open World Forum 2013

France France, Paris

3rd5th October 2013

Tell your friends!


Time 10:15am10:30am PMT

Date Fri 4th October 2013


Gopher (2.06), Beffroi de Montrouge

Short URL


Official event site


View the schedule


See something wrong?

Report an issue with this session