Titre:rodolphe lepigre
La description :( rodolphe.lepigre@inria.fr ) postdoc - inria (deducteam), lsv, cnrs, université paris-saclay about me research contact menu about me research contact about me i was a phd student at the lama (laborat...
Classement Alexa Global: # 5,287,749
Server:Apache/2.4.29 (Unix)...
L'adresse IP principale: 91.134.132.29,Votre serveur Bulgaria,Sofia ISP:Etropol Cabel Company Ltd. TLD:fr Code postal:bg
Ce rapport est mis à jour en 30-Jul-2018
Created Date: | 2013-02-06 |
Changed Date: | 2018-02-06 |
Expires Date: | 2019-06-02 |
Geo IP vous fournit comme la latitude, la longitude et l'ISP (Internet Service Provider) etc. informations. Notre service GeoIP a trouvé l'hôte lepigre.fr.Actuellement, hébergé dans Bulgaria et son fournisseur de services est Etropol Cabel Company Ltd. .
Latitude: | 42.697509765625 |
Longitude: | 23.324150085449 |
Pays: | Bulgaria (bg) |
Ville: | Sofia |
Région: | Grad Sofiya |
ISP: | Etropol Cabel Company Ltd. |
domaine | Titre |
---|---|
lepigre.fr | rodolphe lepigre |
rodolphebonnasse.fr | rodolphe bonnasse |
osteopathe-bercy.fr | rodolphe caillard ostéopathe paris 12 - accueil |
dr-acker-rodolphe.chirurgiens-dentistes.fr | dr rodolphe acker - chirurgien-dentiste - 40600 biscarrosse |
nuret-associes-blere.notaires.fr | etude de mes nicole nuret-descle et rodolphe colas | notaires à bléré |
officeperret-amiens.notaires.fr | etude de s.e.l.a.r.l rodolphe objois olivier révillion natacha hecquet-nougein j |
Les informations d'en-tête HTTP font partie du protocole HTTP que le navigateur d'un utilisateur envoie à appelé Apache/2.4.29 (Unix) OpenSSL/1.1.0g contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.
Content-Length: | 4813 |
Accept-Ranges: | bytes |
Keep-Alive: | timeout=5, max=100 |
Server: | Apache/2.4.29 (Unix) OpenSSL/1.1.0g |
Last-Modified: | Sat, 04 Nov 2017 11:42:01 GMT |
Connection: | Keep-Alive |
ETag: | "12cd-55d26b5a6e22a" |
Date: | Mon, 30 Jul 2018 00:24:53 GMT |
Content-Type: | text/html |
soa: | dns103.ovh.net. tech.ovh.net. 2017042302 86400 3600 3600000 300 |
txt: | "v=spf1 include:mx.ovh.com ~all" |
ns: | dns103.ovh.net. ns103.ovh.net. |
ipv4: | IP:91.134.132.29 ASN:16276 OWNER:OVH, FR Country:FR |
mx: | MX preference = 5, mail exchanger = mx2.ovh.net. MX preference = 100, mail exchanger = mxb.ovh.net. MX preference = 1, mail exchanger = mx1.ovh.net. |
( rodolphe.lepigre@inria.fr ) postdoc - inria (deducteam), lsv, cnrs, université paris-saclay about me research contact menu about me research contact about me i was a phd student at the lama (laboratoire de mathématiques, université savoie mont blanc, france), in the limd team. my advisors were christophe raffalli and pierre hyvernat . i am now a postdoc at inria (deducteam). research my research interests include: type theory classical realizability logic abstract machines compilers functional programming the page of my phd thesis documents, slides and tools: subtyping-based type-checking for system f with induction and coinduction ( pdf draft ). with christophe raffalli , 2016. a classical realizability model for a semantical value restriction ( pdf draft ). to appear in volume 9632 of the lecture notes in computer science series. to be presented at the european symposium on programming (esop) 2016. mêler combinateurs, continuations et ebnf pour une analyse syntaxique efficace en ocaml ( pdf ) avec christophe raffalli , 2014. decap , a parser combinator library and syntax extension mecanism for ocaml written with christophe raffalli during the summer 2014. realizability, testing and game semantics , a talk i gave at galop 2014 ( slides , draft ) patoline , a modern digital typesetting system contact information e-mail: rodolphe.lepigre@inria.fr office: bureau rh-b-107, lsv, cnrs & ens de cachan, 61, avenue du président wilson, 94235 cachan cedex, france last update 04/11/2017.
http://www.lepigre.fr/#research
http://www.lepigre.fr/#contact
http://www.lepigre.fr/files/docs/decap2014.pdf
http://www.lepigre.fr/files/docs/subtyping2016.pdf
http://www.lepigre.fr/./these/index.html
http://www.lepigre.fr/files/docs/draft_chanred14.pdf
http://www.lepigre.fr/#about
http://www.lepigre.fr/files/docs/semvalrest2016.pdf
http://www.lepigre.fr/files/docs/slides_galop14.pdf
lama.univ-savoie.fr
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] >> lepigre.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%
domain: lepigre.fr
status: ACTIVE
hold: NO
holder-c: ANO00-FRNIC
admin-c: OVH5-FRNIC
tech-c: OVH5-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL30611-FRNIC
registrar: OVH
Expiry Date: 06/02/2019
created: 06/02/2013
last-update: 06/02/2018
source: FRNIC
ns-list: NSL30611-FRNIC
nserver: dns103.ovh.net
nserver: ns103.ovh.net
source: FRNIC
registrar: OVH
type: Isp Option 1
address: 2 Rue Kellermann
address: 59100 ROUBAIX
country: FR
phone: +33 8 99 70 17 61
fax-no: +33 3 20 20 09 58
e-mail: support@ovh.net
website: http://www.ovh.com
anonymous: NO
registered: 21/10/1999
source: FRNIC
nic-hdl: ANO00-FRNIC
type: PERSON
contact: Ano Nymous
remarks: -------------- WARNING --------------
remarks: While the registrar knows him/her,
remarks: this person chose to restrict access
remarks: to his/her personal data. So PLEASE,
remarks: don't send emails to Ano Nymous. This
remarks: address is bogus and there is no hope
remarks: of a reply.
remarks: -------------- WARNING --------------
registrar: OVH
changed: 06/02/2013 anonymous@anonymous
anonymous: YES
obsoleted: NO
eligstatus: ok
eligdate: 06/02/2013 10:01:36
source: FRNIC
nic-hdl: OVH5-FRNIC
type: ROLE
contact: OVH NET
address: OVH
address: 140, quai du Sartel
address: 59100 Roubaix
country: FR
phone: +33 8 99 70 17 61
e-mail: tech@ovh.net
trouble: Information: http://www.ovh.fr
trouble: Questions: mailto:tech@ovh.net
trouble: Spam: mailto:abuse@ovh.net
admin-c: OK217-FRNIC
tech-c: OK217-FRNIC
notify: tech@ovh.net
registrar: OVH
changed: 11/10/2006 tech@ovh.net
anonymous: NO
obsoleted: NO
source: FRNIC
REFERRER http://www.nic.fr
REGISTRAR AFNIC
SERVERS
SERVER fr.whois-servers.net
ARGS lepigre.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] >> lepigre.fr
%
% RL Net [##########] - RL IP [#########.]
%
REGISTERED yes
ADMIN
HANDLE OVH5-FRNIC
TYPE ROLE
CONTACT OVH NET
ADDRESS
OVH
140, quai du Sartel
59100 Roubaix
COUNTRY FR
PHONE +33 8 99 70 17 61
EMAIL tech@ovh.net
TROUBLE
Information: http://www.ovh.fr
Questions: mailto:tech@ovh.net
Spam: mailto:abuse@ovh.net
ADMIN-C OK217-FRNIC
TECH-C OK217-FRNIC
NOTIFY tech@ovh.net
SPONSOR OVH
CHANGED 2006-10-11
ANONYMOUS NO
OBSOLETED NO
SOURCE FRNIC
TECH
HANDLE OVH5-FRNIC
TYPE ROLE
CONTACT OVH NET
ADDRESS
OVH
140, quai du Sartel
59100 Roubaix
COUNTRY FR
PHONE +33 8 99 70 17 61
EMAIL tech@ovh.net
TROUBLE
Information: http://www.ovh.fr
Questions: mailto:tech@ovh.net
Spam: mailto:abuse@ovh.net
ADMIN-C OK217-FRNIC
TECH-C OK217-FRNIC
NOTIFY tech@ovh.net
SPONSOR OVH
CHANGED 2006-10-11
ANONYMOUS NO
OBSOLETED NO
SOURCE FRNIC
OWNER
HANDLE ANO00-FRNIC
TYPE PERSON
CONTACT Ano Nymous
REMARKS
-------------- WARNING --------------
While the registrar knows him/her,
this person chose to restrict access
to his/her personal data. So PLEASE,
don't send emails to Ano Nymous. This
address is bogus and there is no hope
of a reply.
-------------- WARNING --------------
SPONSOR OVH
CHANGED 2013-02-06
ANONYMOUS YES
OBSOLETED NO
ELIGSTATUS ok
ELIGDATE 06/02/2013 10:01:36
SOURCE FRNIC
DOMAIN
STATUS ACTIVE
HOLD NO
SPONSOR OVH
EXPIRY DATE 06/02/2019
CREATED 2013-02-06
CHANGED 2018-02-06
SOURCE FRNIC
HANDLE NSL30611-FRNIC
NSERVER
DNS103.OVH.NET 213.251.188.147
NS103.OVH.NET 213.251.128.147
NAME lepigre.fr
La liste suivante vous montre les fautes d'orthographe possibles des internautes pour le site Web recherché.