Search
“inria”
More pages from the web
6–9 of 9-
caml.inria.fr
The Caml language: Home
Version franaise Home About Download Resources Contact us Latest NewsThe Caml Language2010/06Objective Caml 3.12.0+beta1 released2010/01Objective Caml 3.11.2 released2010/01MLstate becomes member of the Caml ConsortiumRSS Channel Archives Search Sea
-
coq.inria.fr
Welcome ! | The Coq Proof Assistant
Home About Coq Get Coq Documentation Community The Coq Proof Assistant Welcome ! What is Coq ? Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an e
-
cristal.inria.fr
Projet Cristal
Google our site: Version franaise The Cristal project ended in 2005. A successor project is Gallium. The Cristal team investigates the design, implementation and theoretical foundations of strongly-typed programming languages. We particularly focus on fu
-
haddsaid.info
Prof. Said Hadd
Prof. Said Hadd Department of Mathematics, Faculty of Sciences Ibn Zohr University Agadir Pages Home Curriculum Vitae Field of expertise Research interests Research Team Publications Thursday, October 25, 2012 PhD in Mathematics, January 2005 2005-2006: INRIA Rhone-Alpe, Grenoble, France 2006-2008: Liverpool University, United-Kingdom 2008-2010: Texas A&M University at Qatar 2010-2011: Faculty of Sciences, Ibn Zohr University 2011-present: ESTG, Ibn Zohr University Posted by Said Hadd at