alt-ergo.lri.fr rapport :   Visitez le site


Titre:SPARKSkein A Formal and Fast Reference Implementation

La description :academic web page of the alt-ergo theorem prover: description and publications...

Classement Alexa Global: # 187,811,Alexa Classement dans France est # 28,406

L'adresse IP principale: 129.175.15.11,Votre serveur France,Orsay ISP:Centre de Ressources Informatique  TLD:fr Code postal:fr

Ce rapport est mis à jour en 23-Sep-2017

Created Date:1995-01-01
Changed Date:2016-12-31
Expires Date:2017-12-31

Données techniques du alt-ergo.lri.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 alt-ergo.lri.fr.Actuellement, hébergé dans France et son fournisseur de services est Centre de Ressources Informatique .

Latitude: 48.695720672607
Longitude: 2.1872699260712
Pays: France (fr)
Ville: Orsay
Région: Ile-de-France
ISP: Centre de Ressources Informatique

the related websites

domaine Titre
alt-ergo.lri.fr SPARKSkein A Formal and Fast Reference Implementation
fastcaraccessories.com index-fast car stripe vinyl graphic decal kits - fast cars - fast car accessorie
jeraldbuyshouses.com sell my house fast in ocala florida we buy real estate fast
restaurant-leformal.com le formal
houseoflooks.com.au house of looks - formal and cocktail clutches
sofast-sogood.com so fast so good® | so fast so good personnalise votre snack surgelé pour qu’il r
hellovoila.co.id sepatu big size / jumbo casual wanita / formal / woman fashion shoes, boots & sn
fast-airsoft.fr fast | association
ihowtolosefatfast.com how to lose fat fast - help you lose fat fast
fastseduction.com fs home - fast seduction
fastprinterassist.us fast printer assist
acedessays.com aced essays – fast and best
mycccam24.com fast cccam server
howtoraisemoneyfast.net how to raise money fast
makemoneyfastblog.com make money fast

Analyse PopURL pour alt-ergo.lri.fr


http://alt-ergo.lri.fr/#research-projects-involving-alt-ergo
http://alt-ergo.lri.fr/#related-publications
http://alt-ergo.lri.fr/#quantifiers
http://alt-ergo.lri.fr/#shostak-like-theories-combination
http://alt-ergo.lri.fr/index.php
http://alt-ergo.lri.fr/ijcar2012/ctrl-ergo-static-1.0~beta-x86_64
http://alt-ergo.lri.fr/#theses
http://alt-ergo.lri.fr/#certification
http://alt-ergo.lri.fr/#arithmetic
caml.inria.fr
hal.inria.fr
decert.gforge.inria.fr
lri.fr
arc2009.bordeaux.inria.fr
agence-nationale-recherche.fr
tel.archives-ouvertes.fr
smt2012.loria.fr

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] >> lri.fr
%%
%% RL Net [##########] - RL IP [#########.]
%%

domain: lri.fr
status: ACTIVE
hold: NO
holder-c: LDRE1-FRNIC
admin-c: YM3427-FRNIC
tech-c: GRST1-FRNIC
tech-c: LD293-FRNIC
tech-c: JRL119-FRNIC
zone-c: NFC1-FRNIC
nsl-id: NSL19830-FRNIC
registrar: GIP RENATER
Expiry Date: 31/12/2017
created: 01/01/1995
last-update: 31/12/2016
source: FRNIC

ns-list: NSL19830-FRNIC
nserver: ext.lri.fr [129.175.15.4]
nserver: newwww.lri.fr [129.175.15.10]
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: 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: LDRE1-FRNIC
type: ORGANIZATION
contact: Laboratoire de Recherche en Informatique, LRI
address: Universite Paris Sud
address: rue Noetzlin
address: batiment 650
address: 91405 Orsay
country: FR
phone: +33 1 69 15 66 29
e-mail: direction@lri.fr
registrar: GIP RENATER
changed: 03/12/2014 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC

nic-hdl: YM3427-FRNIC
type: PERSON
contact: Yannis Manoussakis
address: CNRS - LRI
address: Univ. Paris Sud
address: rue Noeztlin
address: batiment 650
address: 91405 Orsay
country: FR
phone: +33 1 69 15 66 29
e-mail: yannis.manoussakis@lri.fr
registrar: GIP RENATER
changed: 03/12/2014 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: LD293-FRNIC
type: PERSON
contact: Laurent Darre
address: CNRS - LRI
address: Univ. de Paris Sud
address: rue Noeztlin
address: batiment 650
address: 91405 Orsay
country: FR
phone: +33 1 69 15 64 01
e-mail: laurent.darre@lri.fr
registrar: GIP RENATER
changed: 03/12/2014 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC

nic-hdl: JRL119-FRNIC
type: PERSON
contact: Jean-Roch Liebgott
address: CNRS - LRI
address: Universite Paris Sud
address: rue Noeztlin
address: batiment 650
address: 91405 Paris
country: FR
phone: +33 1 69 15 32 24
e-mail: jean-roch.liebgott@lri.fr
registrar: GIP RENATER
changed: 03/12/2014 nic@nic.fr
anonymous: NO
obsoleted: NO
source: FRNIC


  REFERRER http://www.nic.fr

  REGISTRAR AFNIC

SERVERS

  SERVER fr.whois-servers.net

  ARGS lri.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] >> lri.fr
%
% RL Net [##########] - RL IP [#########.]
%

  REGISTERED yes

ADMIN

  HANDLE YM3427-FRNIC

  TYPE PERSON

  CONTACT Yannis Manoussakis

ADDRESS
CNRS - LRI
Univ. Paris Sud
rue Noeztlin
batiment 650
91405 Orsay

  COUNTRY FR

  PHONE +33 1 69 15 66 29

  EMAIL yannis.manoussakis@lri.fr

  SPONSOR GIP RENATER

  CHANGED 2014-12-03

  ANONYMOUS NO

  OBSOLETED NO

  SOURCE FRNIC

TECH

  HANDLE JRL119-FRNIC

  TYPE PERSON

  CONTACT Jean-Roch Liebgott

ADDRESS
CNRS - LRI
Universite Paris Sud
rue Noeztlin
batiment 650
91405 Paris

  COUNTRY FR

  PHONE +33 1 69 15 32 24

  EMAIL jean-roch.liebgott@lri.fr

  SPONSOR GIP RENATER

  CHANGED 2014-12-03

  ANONYMOUS NO

  OBSOLETED NO

  SOURCE FRNIC

OWNER

  HANDLE LDRE1-FRNIC

  TYPE ORGANIZATION

  CONTACT Laboratoire de Recherche en Informatique, LRI

ADDRESS
Universite Paris Sud
rue Noetzlin
batiment 650
91405 Orsay

  COUNTRY FR

  PHONE +33 1 69 15 66 29

  EMAIL direction@lri.fr

  SPONSOR GIP RENATER

  CHANGED 2014-12-03

  ANONYMOUS NO

  OBSOLETED NO

  SOURCE FRNIC

DOMAIN

  STATUS ACTIVE

  HOLD NO

  SPONSOR GIP RENATER

  EXPIRY DATE 31/12/2017

  CREATED 1995-01-01

  CHANGED 2016-12-31

  SOURCE FRNIC

  HANDLE NSL19830-FRNIC

NSERVER

  EXT.LRI.FR 129.175.15.4

  NEWWWW.LRI.FR 129.175.15.10

  NS2.NIC.FR 192.93.0.4

  NAME lri.fr

Go to top

Erreurs


La liste suivante vous montre les fautes d'orthographe possibles des internautes pour le site Web recherché.

  • www.ualt-ergo.com
  • www.7alt-ergo.com
  • www.halt-ergo.com
  • www.kalt-ergo.com
  • www.jalt-ergo.com
  • www.ialt-ergo.com
  • www.8alt-ergo.com
  • www.yalt-ergo.com
  • www.alt-ergoebc.com
  • www.alt-ergoebc.com
  • www.alt-ergo3bc.com
  • www.alt-ergowbc.com
  • www.alt-ergosbc.com
  • www.alt-ergo#bc.com
  • www.alt-ergodbc.com
  • www.alt-ergofbc.com
  • www.alt-ergo&bc.com
  • www.alt-ergorbc.com
  • www.urlw4ebc.com
  • www.alt-ergo4bc.com
  • www.alt-ergoc.com
  • www.alt-ergobc.com
  • www.alt-ergovc.com
  • www.alt-ergovbc.com
  • www.alt-ergovc.com
  • www.alt-ergo c.com
  • www.alt-ergo bc.com
  • www.alt-ergo c.com
  • www.alt-ergogc.com
  • www.alt-ergogbc.com
  • www.alt-ergogc.com
  • www.alt-ergojc.com
  • www.alt-ergojbc.com
  • www.alt-ergojc.com
  • www.alt-ergonc.com
  • www.alt-ergonbc.com
  • www.alt-ergonc.com
  • www.alt-ergohc.com
  • www.alt-ergohbc.com
  • www.alt-ergohc.com
  • www.alt-ergo.com
  • www.alt-ergoc.com
  • www.alt-ergox.com
  • www.alt-ergoxc.com
  • www.alt-ergox.com
  • www.alt-ergof.com
  • www.alt-ergofc.com
  • www.alt-ergof.com
  • www.alt-ergov.com
  • www.alt-ergovc.com
  • www.alt-ergov.com
  • www.alt-ergod.com
  • www.alt-ergodc.com
  • www.alt-ergod.com
  • www.alt-ergocb.com
  • www.alt-ergocom
  • www.alt-ergo..com
  • www.alt-ergo/com
  • www.alt-ergo/.com
  • www.alt-ergo./com
  • www.alt-ergoncom
  • www.alt-ergon.com
  • www.alt-ergo.ncom
  • www.alt-ergo;com
  • www.alt-ergo;.com
  • www.alt-ergo.;com
  • www.alt-ergolcom
  • www.alt-ergol.com
  • www.alt-ergo.lcom
  • www.alt-ergo com
  • www.alt-ergo .com
  • www.alt-ergo. com
  • www.alt-ergo,com
  • www.alt-ergo,.com
  • www.alt-ergo.,com
  • www.alt-ergomcom
  • www.alt-ergom.com
  • www.alt-ergo.mcom
  • www.alt-ergo.ccom
  • www.alt-ergo.om
  • www.alt-ergo.ccom
  • www.alt-ergo.xom
  • www.alt-ergo.xcom
  • www.alt-ergo.cxom
  • www.alt-ergo.fom
  • www.alt-ergo.fcom
  • www.alt-ergo.cfom
  • www.alt-ergo.vom
  • www.alt-ergo.vcom
  • www.alt-ergo.cvom
  • www.alt-ergo.dom
  • www.alt-ergo.dcom
  • www.alt-ergo.cdom
  • www.alt-ergoc.om
  • www.alt-ergo.cm
  • www.alt-ergo.coom
  • www.alt-ergo.cpm
  • www.alt-ergo.cpom
  • www.alt-ergo.copm
  • www.alt-ergo.cim
  • www.alt-ergo.ciom
  • www.alt-ergo.coim
  • www.alt-ergo.ckm
  • www.alt-ergo.ckom
  • www.alt-ergo.cokm
  • www.alt-ergo.clm
  • www.alt-ergo.clom
  • www.alt-ergo.colm
  • www.alt-ergo.c0m
  • www.alt-ergo.c0om
  • www.alt-ergo.co0m
  • www.alt-ergo.c:m
  • www.alt-ergo.c:om
  • www.alt-ergo.co:m
  • www.alt-ergo.c9m
  • www.alt-ergo.c9om
  • www.alt-ergo.co9m
  • www.alt-ergo.ocm
  • www.alt-ergo.co
  • alt-ergo.lri.frm
  • www.alt-ergo.con
  • www.alt-ergo.conm
  • alt-ergo.lri.frn
  • www.alt-ergo.col
  • www.alt-ergo.colm
  • alt-ergo.lri.frl
  • www.alt-ergo.co
  • www.alt-ergo.co m
  • alt-ergo.lri.fr
  • www.alt-ergo.cok
  • www.alt-ergo.cokm
  • alt-ergo.lri.frk
  • www.alt-ergo.co,
  • www.alt-ergo.co,m
  • alt-ergo.lri.fr,
  • www.alt-ergo.coj
  • www.alt-ergo.cojm
  • alt-ergo.lri.frj
  • www.alt-ergo.cmo
 Afficher toutes les erreurs  Cacher toutes les erreurs