HtmlToText
google our site: version franaise the cristal project ended in 2005. a successor project is gallium . the cristal team investigated the design, implementation and theoretical foundations of strongly-typed programming languages. we particularly focused on functional, object-oriented, and modular programming languages. the caml language embodies many of our research results. our work spans the whole spectrum from theoretical foundations and formal semantics to language design, efficient and robust implementations, and applications to real-world problems. a more complete presentation of cristal is available as part of our yearly activity report . last members of project cristal: sandrine blazy (assistant professor, cnam) damien doligez (research scientist) alain frisch (research associate, corps des tlcoms) xavier leroy (senior research scientist, team leader) michel mauny (senior research scientist) franois pottier (research scientist) didier rmy (senior research scientist, vice-leader) pierre weis (senior research scientist) grard huet (associate senior research scientist, also with the signes project) berke durak (technical staff) maxence guesdon (technical staff) virgile prevosto (technical staff) richard bonichon (phd student) zaynah dargaye (phd student) nadji gauthier (phd student) yann regis-gianas (phd student) boris yakobowski (phd student) nelly maloisel (administrative assistant) past members: daniel bonniot pascal cuoq (research engineer, cea) roberto di cosmo (professor, university paris 7) jun furuse (research scientist, yonezawa lab, university of tokyo ) robert harley (founder, argotech ) tom hirschowitz (cnrs research scientist, lip lab, ens lyon) bruno pagano (engineer, esterel technologies ) didier le botlan (post-doc, saarland university) franois pessaux (engineer, surlog s.a. ) daniel de rauglaudre (inria, project contraintes) christian rinderknecht (engineer, polyspace technologies ) franois rouaix (amazon.com) emilie sayag (engineer, alcatel) bruno verlyck (research engineer, inria, miriad) vincent simonet (engineer, areva) basile starynkevitch (research engineer, cea) jrme vouillon (cnrs research scientist, pps lab) caml: the caml language the objective caml compiler. the caml light compiler. camlp4 preprocessor. -- the objective caml and caml light programming examples . other software developments: active dvi , a programmable dvi viewer with fancy graphics effects, great for making latex presentations. whizzytex , a wysiwyg emacs mode for editing latex documents. wallace , a library for solving subtyping constraints. mmm , a web browser with applets in caml. linuxthreads , a posix thread library for linux. elliptic curve discrete logarithms (ecdl) project (challenges to test the strength of elliptic curve cryptography). publications: recent publications of project cristal (see also individual home pages.) others: summer research internships (in french). next events on our calendar. our meetings and working groups (in french). -- the cristal anonymous ftp . other resources from virtual building 8 .
Informations Whois
Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;
%%
%% This is the AFNIC Whois server.
%%
%% complete date format : DD/MM/YYYY
%% short date format : DD/MM
%% version : FRNIC-2.5
%%
%% Rights restricted by copyright.
%% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%%
%% Use '-h' option to obtain more information about this service.
%%
%% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> inria.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%
domain: inria.fr
status: ACTIVE
hold: NO
holder-c: INDR18-FRNIC
admin-c: MCP278-FRNIC
tech-c: GRST1-FRNIC
tech-c: ERI15-FRNIC
tech-c: ESI34-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL47418-FRNIC
registrar: GIP RENATER
Expiry Date: 31/12/2017
created: 01/01/1995
last-update: 01/08/2017
source: FRNIC
ns-list: NSL47418-FRNIC
nserver: dns.inria.fr [193.51.208.13]
nserver: dns-ext2.inria.fr [193.51.193.133]
nserver: dns.cs.wisc.edu
nserver: ns2.nic.fr [192.93.0.4 2001:660:3005:1::1:2]
source: FRNIC
registrar: GIP RENATER
type: Isp Option 1
address: 23-25 Rue Daviel
address: 75013 PARIS
country: FR
phone: +33 1 53 94 20 30
fax-no: +33 1 53 94 20 31
e-mail: domaine@renater.fr
website: http://www.renater.fr
anonymous: NO
registered: 01/01/1998
source: FRNIC
nic-hdl: INDR18-FRNIC
type: ORGANIZATION
contact: Institut National de Recherche en Informatique et en Automatique
address: Domaine de Voluceau
address: 78150 Rocquencourt
country: FR
phone: +33 1 39 63 55 11
fax-no: +33 1 39 63 53 30
e-mail: webmaster@inria.fr
registrar: GIP RENATER
changed: 27/06/2014 nic@nic.fr
anonymous: NO
obsoleted: NO
eligstatus: ok
eligsource: REGISTRY
eligdate: 19/06/2014 13:26:29
source: FRNIC
nic-hdl: MCP278-FRNIC
type: PERSON
contact: Marie-Christine Plancon
address: INRIA
address: Domaine de Voluceau-Rocquencourt
address: B.P. 105
address: 78153 le Chesnay
country: FR
phone: +33 1 39 63 55 11
e-mail: marie-christine.plancon@inria.fr
registrar: GIP RENATER
changed: 24/10/2013 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC
nic-hdl: GRST1-FRNIC
type: PERSON
contact: Gip Renater Support Technique Dns
address: GIP RENATER
address: 23-25, rue Daviel
address: 75013 Paris
country: FR
phone: +33 1 53 94 20 40
e-mail: support-dns@renater.fr
registrar: GIP RENATER
changed: 05/09/2017 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC
nic-hdl: ERI15-FRNIC
type: PERSON
contact: Equipe Reseau Inria
address: INRIA Siege
address: domaine de Voluceau-Rocquencourt
address: B.P. 105
address: 78153 le Chesnay
country: FR
phone: +33 1 39 63 55 11
e-mail: dsi.sesi.reseau@inria.fr
registrar: GIP RENATER
changed: 06/01/2012 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC
nic-hdl: ESI34-FRNIC
type: PERSON
contact: Equipe Securite Inria
address: INRIA Siege
address: Domaine de Voluceau - Rocquencourt
address: B.P. 105
address: 78153 le Chesnay
country: FR
phone: +33 1 39 63 55 11
e-mail: dsi.securite@inria.fr
registrar: GIP RENATER
changed: 06/01/2012 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC
REFERRER http://www.nic.fr
REGISTRAR AFNIC
SERVERS
SERVER fr.whois-servers.net
ARGS inria.fr
PORT 43
TYPE domain
RegrInfo
DISCLAIMER
%
% This is the AFNIC Whois server.
%
% complete date format : DD/MM/YYYY
% short date format : DD/MM
% version : FRNIC-2.5
%
% Rights restricted by copyright.
% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/
%
% Use '-h' option to obtain more information about this service.
%
% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> inria.fr
%
% RL Net [##########] - RL IP [#########.]
%
REGISTERED yes
ADMIN
HANDLE MCP278-FRNIC
TYPE PERSON
CONTACT Marie-Christine Plancon
ADDRESS
INRIA
Domaine de Voluceau-Rocquencourt
B.P. 105
78153 le Chesnay
COUNTRY FR
PHONE +33 1 39 63 55 11
EMAIL marie-christine.plancon@inria.fr
SPONSOR GIP RENATER
CHANGED 2013-10-24
ANONYMOUS NO
OBSOLETED NO
SOURCE FRNIC
TECH
HANDLE ESI34-FRNIC
TYPE PERSON
CONTACT Equipe Securite Inria
ADDRESS
INRIA Siege
Domaine de Voluceau - Rocquencourt
B.P. 105
78153 le Chesnay
COUNTRY FR
PHONE +33 1 39 63 55 11
EMAIL dsi.securite@inria.fr
SPONSOR GIP RENATER
CHANGED 2012-01-06
ANONYMOUS NO
OBSOLETED NO
SOURCE FRNIC
OWNER
HANDLE INDR18-FRNIC
TYPE ORGANIZATION
CONTACT Institut National de Recherche en Informatique et en Automatique
ADDRESS
Domaine de Voluceau
78150 Rocquencourt
COUNTRY FR
PHONE +33 1 39 63 55 11
FAX +33 1 39 63 53 30
EMAIL webmaster@inria.fr
SPONSOR GIP RENATER
CHANGED 2014-06-27
ANONYMOUS NO
OBSOLETED NO
ELIGSTATUS ok
ELIGSOURCE REGISTRY
ELIGDATE 19/06/2014 13:26:29
SOURCE FRNIC
DOMAIN
STATUS ACTIVE
HOLD NO
SPONSOR GIP RENATER
EXPIRY DATE 31/12/2017
CREATED 1995-01-01
CHANGED 2017-08-01
SOURCE FRNIC
HANDLE NSL47418-FRNIC
NSERVER
DNS.INRIA.FR 193.51.208.13
DNS-EXT2.INRIA.FR 193.51.193.133
DNS.CS.WISC.EDU 128.105.2.10
NS2.NIC.FR 192.93.0.4
NAME inria.fr
Go to top
cristal.inria.fr rapport :
Visitez le site