BCS-FACS: the BCS Formal Aspects of Computing Science Specialist Group
Description: BCS-FACS: the British Computer Society's Formal Aspects of Computing Science Specialist Group
Keywords: FACS, Formal Methods, Computing, Computer Science, BCS, British Computer Society, Formal Aspects
Tags: bcs, facs, org, formal, aspects, science, computing, specialist, group, computer, html, logo, praxis, valid, british, society, methods, related, events, organisations, news, safety, critical, workshop, fme, systems, scsc, journal, subscription, details, open, desk, registration, library, newsletter, future, mission, statement, management, menu,
Bcs-facs.org
|
Content Revalency:
Title: 30.00%
Description: 28.57%
Keywords: 20.00% | Document size: 6,254 bytes
More info: Whois - Trace Route - RBL Check |
|
| DMOZ Information |
|
Formal Aspects of Computing Science Specialist Group - FACS promotes the development of formal approaches of production of computer-based systems. Top/Computers/Computer_Science/Theoretical/Research_Groups http://www.bcs-facs.org/ Bcs-facs.org has 1 URLs listed in 1 Dmoz categories. Related Sites: Auckland.ac.nz , Rutgers.edu , Uci.edu , Stanford.edu , Ac.be , Acm.org , Cam.ac.uk , Swan.ac.uk , Uwaterloo.ca , Mit.edu , |
| BCS-FACS.ORG - Site Location | |
| Country/Flag |  United States |
| City/Region/Zip Code | , , |
| Organization | Global Net Access, LLC |
| Internet Service Provider | Global Net Access, LLC |
| BCS-FACS.ORG - Domain Information | |
| Domain | BCS-FACS.ORG [ Traceroute RBL/DNSBL lookup ] |
| Registrar | Total Web Solutions Ltd. trading as TotalRegistrations (R79-LROR) |
| Whois server | whois.pir.org |
| Created | -- |
| Updated | -- |
| Expires | -- |
| Time Left | 0 days 0 hours 0 minutes |
| Status | ok |
| DNS servers | NS1.TOTALREGISTRATIONS.COM
NS1.TOTALREGISTRATIONS.COM
NS2.TOTALREGISTRATIONS.COM 195.206.161.3 |
| BCS-FACS.ORG - DNS Information | |
| IP Address | 63.247.74.186 ~ Whois - Trace Route - RBL Check |
| Domain Name Servers | ns.dnsprotect.com 72.9.239.130 ns2.dnsprotect.com 198.255.110.58 |
| Mail Exchange | bcs-facs.org 195.206.162.50 |
| Site Response Header | |
| Response | HTTP/1.1 200 OK |
| Server | Apache/2.2.11 (Unix) mod_ssl/2.2.11 OpenSSL/0.9.7a mod_auth_passthrough/2.1 mod_bwlimited/1.4 FrontPage/5.0.2.2635 PHP/5.2.9 |
| Date | Thu, 06 Aug 2009 03:38:08 GMT |
| Content-Type | text/html |