SpeleoLogic research&consulting
Keywords: coq, certified, software, high availability, erlang, functional programming, lustre, haskell, ocaml, agda, formalisation of mathematics
Tags: speleologic, november, logo, opening, consulting, research, ocaml, agda, formalisation, haskell, mathematics, functional, software, certified, coq, high, availability, programming, erlang, lustre,
Speleologic.net
|
Content Revalency:
Title: 0.00%
Description: 0.00%
Keywords: 0.00% | Document size: 755 bytes
More info: Whois - Trace Route - RBL Check |
|
| SPELEOLOGIC.NET - Site Location | |
| Country/Flag |  Canada |
| City/Region/Zip Code | Toronto, Ontario, M8W |
| Organization | Peer 1 Network (USA) |
| Internet Service Provider | Peer 1 Network (USA) |
| SPELEOLOGIC.NET - Domain Information | |
| Domain | SPELEOLOGIC.NET [ Traceroute RBL/DNSBL lookup ] |
| Registrar | INSTRA CORPORATION PTY, LTD. |
| Registrar URL | http://www.instra.com |
| Whois server | whois.instra.net |
| Created | 25-May-2009 |
| Updated | 16-May-2012 |
| Expires | 25-May-2013 |
| Time Left | 0 days 0 hours 0 minutes |
| Status | ok |
| DNS servers | NS1.INSTRADNS.COM 119.252.176.10 NS2.INSTRADNS.COM 209.62.86.230 NS3.INSTRADNS.COM 78.129.204.66 |
| SPELEOLOGIC.NET - DNS Information | |
| IP Address | 69.90.123.68 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns3.instradns.com 130.180.201.163 ns1.instradns.com 66.171.196.10 ns2.instradns.com 199.201.106.232 |
| Mail Exchange | mail.speleologic.net |
| Site Response Header | |
| Response | HTTP/1.1 200 OK |
| Server | Apache/2.2.3 (Debian) |
| Date | Sun, 17 Apr 2011 04:30:24 GMT |
| Content-Type | text/html; charset=UTF-8 |