Pascal Fontaine

Biography

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.

Talks

Savoir-faire et logiciels open source - VERIDIS

Track: Rencontre Inria-Industrie sur la qualité logicielle

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

Organization: Inria

Website: http://www.inria.fr/


Our partners

Institutional partners

Diamond Sponsor

Inria

Platinum sponsors

Ater Way Smile Microsoft Suse

Gold sponsors

Red Hat enovance

Silver sponsors

Abilian af83 blackduck elasticsearch HP jamendo La Poste Palamida StackOverflow

Organizer

Systematic

Co-organizers

af83 Alter Way Inria Smile

Community Partners

adullact aful cnll ploss OSDC.fr OW2 Silicon Sentier

WebTV Partner

Intelli'N

Press partners

01business 3Dnatives l'atelier channelbiz CIO Collaboratif-info i-entreprise frenchweb l'informaticien it espresso it expert i-solo le journal du net linuxfr.org linux magazine linux pratique le monde informatique reseaux telecoms silicon terra eco ubergizmo