| Desktop | 90/100 | ✔ |
| Mobile | 41/100 | ✘ |
| Field | Data | Result |
|---|---|---|
| Page Size | 21 KB | ✔ |
| Compression | NO | ✘ |
| Text/Html Ratio | 3292 / 21023 (bytes) = 15.66% | ✔ |
| Load Time | 0.27 second | ✔ |
| Mobile Ready | 0/100 | ✘ |
| In-Page Links | 49 | ✔ |
| Doc Type | HTML 4.01 Transitional | ✔ |
| Encoding | UTF-8 | ✔ |
| Declared Language | Unknown | ✘ |
| Preferred Domain | No | ❗ |
| Robots.txt | Yes | ✔ |
| Url Rewrite | Yes | ✘ |
| Underscores in url | No | ✔ | Images Without ALT | 0 / 15 | ✔ |
| Embedded Objects (Desktop) | No | ✔ |
| Embedded Objects (Mobile) | Yes | ✘ |
| Iframe | Yes | ✘ |
| Custom 404 page | No | ✘ |
| Email Privacy | Yes | ✔ |
| Gsafe browsing | Yes | ✔ |
| Analytics | No | ✘ |
| W3C Validity | No | ✘ |
| Keywords | Freq | Title | Desc | <H> |
|---|---|---|---|---|
| cyber-physical | 10 | ✘ | ✔ | ✘ |
| logical | 8 | ✘ | ✔ | ✘ |
| foundations | 7 | ✘ | ✔ | ✘ |
| hybrid | 7 | ✘ | ✘ | ✘ |
| computer | 6 | ✘ | ✔ | ✘ |
| logic | 6 | ✘ | ✔ | ✘ |
| systems | 5 | ✘ | ✔ | ✘ |
| carnegie | 4 | ✔ | ✔ | ✘ |
| theorem | 4 | ✘ | ✘ | ✘ |
| video | 4 | ✘ | ✘ | ✘ |
| dynamical | 4 | ✘ | ✔ | ✘ |
| research | 4 | ✘ | ✘ | ✘ |
| platzer | 4 | ✔ | ✔ | ✘ |
| verification | 3 | ✘ | ✘ | ✘ |
| publications | 3 | ✘ | ✘ | ✘ |
|
With 0.27 seconds in page load, 21 KB of page size and all other reports below, the lfcps.org has a SEO score of 48 out of 100 |
| Title | André Platzer @ Karlsruhe Institute of Technology || Carnegie Mellon University |
| Description | André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology and a Professor of Computer Science at Carnegie Mellon University. He develops logics for dynamical systems to characterize the logical foundations of cyber-physical systems and to answer the question how we can trust a computer to control physical processes. |
| Keyword | André Platzer, Karlsruhe Institute of Technology Carnegie Mellon University, Logic of Dynamical Systems, Logic of Autonomous Dynamical Systems, Logic in Computer Science, Cyber-Physical Systems, Programming Languages, Theorem Proving, Formal Methods |
| Age | 8 Years, 355 Days |
| Created | 26th-Oct-2013 |
| Updated | 1st-Oct-2022 |
| Expiry | 26th-Oct-2023 |
| Host | Type | Ttl | Other |
|---|---|---|---|
| lfcps.org | A | 595 | ip:5.175.14.99 |
| lfcps.org | NS | 3595 | target:ns05.domaincontrol.com |
| lfcps.org | NS | 3595 | target:ns06.domaincontrol.com |
| lfcps.org | SOA | 3600 | mname:ns05.domaincontrol.comrname:dns.jomax.netserial:2021122708refresh:28800retry:7200expire:604800minimum-ttl:600 |
| lfcps.org | MX | 600 | pri:10target:mx01.mail.icloud.com |
| lfcps.org | MX | 600 | pri:10target:mx02.mail.icloud.com |
| lfcps.org | MX | 600 | pri:50target:mx0.lfcps.org |
| lfcps.org | TXT | 86400 | txt:apple-domain=XLozKf7b9KLgHAG3 |
| lfcps.org | TXT | 86400 | txt:v=spf1 redirect=icloud.com |
| lfcps.org | AAAA | 595 | ipv6:2a01:488:42:1000:50ed:8263:8b:5ac6 |
|
Domain Name: lfcps.org Registry Domain ID: 26c1178e801c44728730a2c34679b3ae-LROR Registrar WHOIS Server: http://whois.meshdigital.com Registrar URL: http://www.domainmonster.com Updated Date: 2022-10-01T11:11:50Z Creation Date: 2013-10-26T15:57:05Z Registry Expiry Date: 2023-10-26T15:57:05Z Registrar: Mesh Digital Limited Registrar IANA ID: 1390 Registrar Abuse Contact Email: abuse.contact@hosteuropegroup.com Registrar Abuse Contact Phone: +44.1483304030 Domain Status: ok https://icann.org/epp#ok Registry Registrant ID: REDACTED FOR PRIVACY Registrant Name: REDACTED FOR PRIVACY Registrant Organization: Registrant Street: REDACTED FOR PRIVACY Registrant City: REDACTED FOR PRIVACY Registrant State/Province: unknown Registrant Postal Code: REDACTED FOR PRIVACY Registrant Country: DE Registrant Phone: REDACTED FOR PRIVACY Registrant Phone Ext: REDACTED FOR PRIVACY Registrant Fax: REDACTED FOR PRIVACY Registrant Fax Ext: REDACTED FOR PRIVACY Registrant Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Registry Admin ID: REDACTED FOR PRIVACY Admin Name: REDACTED FOR PRIVACY Admin Organization: REDACTED FOR PRIVACY Admin Street: REDACTED FOR PRIVACY Admin City: REDACTED FOR PRIVACY Admin State/Province: REDACTED FOR PRIVACY Admin Postal Code: REDACTED FOR PRIVACY Admin Country: REDACTED FOR PRIVACY Admin Phone: REDACTED FOR PRIVACY Admin Phone Ext: REDACTED FOR PRIVACY Admin Fax: REDACTED FOR PRIVACY Admin Fax Ext: REDACTED FOR PRIVACY Admin Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Registry Tech ID: REDACTED FOR PRIVACY Tech Name: REDACTED FOR PRIVACY Tech Organization: REDACTED FOR PRIVACY Tech Street: REDACTED FOR PRIVACY Tech City: REDACTED FOR PRIVACY Tech State/Province: REDACTED FOR PRIVACY Tech Postal Code: REDACTED FOR PRIVACY Tech Country: REDACTED FOR PRIVACY Tech Phone: REDACTED FOR PRIVACY Tech Phone Ext: REDACTED FOR PRIVACY Tech Fax: REDACTED FOR PRIVACY Tech Fax Ext: REDACTED FOR PRIVACY Tech Email: Please query the RDDS service of the Registrar of Record identified in this output for information on how to contact the Registrant, Admin, or Tech contact of the queried domain name. Name Server: ns05.domaincontrol.com Name Server: ns06.domaincontrol.com DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form: https://www.icann.org/wicf/ >>> Last update of WHOIS database: 2022-10-16T07:45:46Z |
| Server IP | 5.175.14.99 |
| Server Location | Germany |
| Service Provider | Host Europe GmbH |
| Domains (TLD) | Status |
|---|---|
| lfcps.com | Already Registered |
| lfcps.net | Already Registered |
| lfcps.biz | Already Registered |
| lfcps.io | Already Registered |
| lfcps.info | Already Registered |
| Domains (TLD) | Status |
|---|---|
| pfcps.org | Already Registered |
| ofcps.org | Already Registered |
| ifcps.org | Already Registered |
| kfcps.org | Already Registered |
| mfcps.org | Already Registered |
| Zerojanvier.fr |
| Cuatrecasasblog.com |
| Lundgren.se |
| Bongio.com |
| Comportamientonoverbal.com |
| Roseaura.ca |
| Miredcarpet.es |
| Newutahflag.org |
| Womenclimatejustice.org |
| 118yw.com |