Friday 4th October, 2013
10:15am to 10:30am
veriT : un outil pour résoudre efficacement des formules logiques avec contraintes arithmétiques.
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.
10:30am Rendez-vous personnalisés avec les chercheurs by Patrick Moreau
Sign in to add slides, notes or videos to this session