Données techniques du phd.ia0.fr
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 phd.ia0.fr.Actuellement, hébergé dans France et son fournisseur de services est OVH SAS .
Latitude: |
50.69421005249 |
Longitude: |
3.1745600700378 |
Pays: |
France (fr)
|
Ville: |
Roubaix |
Région: |
Nord-Pas-de-Calais |
ISP: |
OVH SAS |
Analyse d'en-tête HTTP
Les informations d'en-tête HTTP font partie du protocole HTTP que le navigateur d'un utilisateur envoie à appelé Apache/2.4.18 (Ubuntu) contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.
Content-Length: | 1104 |
Content-Encoding: | gzip |
Accept-Ranges: | bytes |
Vary: | Accept-Encoding |
Keep-Alive: | timeout=5, max=100 |
Server: | Apache/2.4.18 (Ubuntu) |
Last-Modified: | Fri, 18 Jul 2014 09:32:46 GMT |
Connection: | Keep-Alive |
ETag: | "b1d-4fe7470a8756c-gzip" |
Date: | Tue, 31 Jul 2018 14:24:12 GMT |
Content-Type: | text/html |
DNS
soa: | ia0.fr. dns107.ovh.net. tech.ovh.net. 2018051000 86400 3600 3600000 300
|
ns: | ia0.fr. ns107.ovh.net. dns107.ovh.net.
|
cname: | ia0.fr.
|
ipv4: | IP:37.187.101.227 ASN:16276 OWNER:OVH, FR Country:FR
|
txt: | ia0.fr. "v=spf1 a mx mx:polytechnique.org include:_spf.google.com ~all" "1|www.ia0.fr"
|
mx: | MX preference = 10, mail exchanger = mail.ia0.fr.
|
HtmlToText
the defense took place on the 30th of january 2014. for more informations about the defense, see the defense page (the slides are available here ). for more informations about coercions, see my advisor webpage . for more informatinos about my phd, see my webpage . the last version of the manuscript is the final version, but a printed version, prerelease version, and the version for review are also available: final version of january 31, 2014 ( tel.archives-ouvertes.fr ) printed version of january 27, 2014 prerelease version of january 23, 2014 version for review of november 6, 2013 the coq development is available in three forms: github repository source files html index and table of contents the version 8.4pl2 of coq has been used for the proofs.
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] >> ia0.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%
domain: ia0.fr
status: ACTIVE
hold: NO
holder-c: ANO00-FRNIC
admin-c: ANO00-FRNIC
tech-c: OVH5-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL45756-FRNIC
registrar: OVH
Expiry Date: 02/04/2018
created: 02/04/2008
last-update: 02/04/2017
source: FRNIC
ns-list: NSL45756-FRNIC
nserver: dns107.ovh.net
nserver: ns107.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: 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
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: 09/03/2010 anonymous@anonymous
anonymous: YES
obsoleted: NO
eligstatus: ok
eligdate: 02/04/2008 00:00:00
source: FRNIC
REFERRER http://www.nic.fr
REGISTRAR AFNIC
SERVERS
SERVER fr.whois-servers.net
ARGS ia0.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] >> ia0.fr
%
% RL Net [##########] - RL IP [#########.]
%
REGISTERED yes
ADMIN
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 2010-03-09
ANONYMOUS YES
OBSOLETED NO
ELIGSTATUS ok
ELIGDATE 02/04/2008 00:00:00
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 2010-03-09
ANONYMOUS YES
OBSOLETED NO
ELIGSTATUS ok
ELIGDATE 02/04/2008 00:00:00
SOURCE FRNIC
DOMAIN
STATUS ACTIVE
HOLD NO
SPONSOR OVH
EXPIRY DATE 02/04/2018
CREATED 2008-04-02
CHANGED 2017-04-02
SOURCE FRNIC
HANDLE NSL45756-FRNIC
NSERVER
DNS107.OVH.NET 213.251.188.151
NS107.OVH.NET 213.251.128.151
NAME ia0.fr
Go to top