Symbolaris.com
Visit symbolaris.com-
7 months ago
Last scanned
-
16 years
Domain Age
-
No data
Daily Visitors
-
No data
Global Rank
About Website
Updated:
André Platzer @ Karlsruhe Institute of Technology || Carnegie Mellon University
André Platzer is the Alexander von Humboldt Professor at Karlsruhe Institute of Technology and leads the Logical Systems Lab 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.
Network Data
This website is hosted with HEG Mass, which reserves the following IP addresses for symbolaris.com: 5.175.14.99. Moreover, DNS used with this website include ns45.domaincontrol.com, ns46.domaincontrol.com.
-
7 months ago
Last scanned
-
16 years
Domain Age
-
No data
Daily Visitors
-
No data
Global Rank
Network
ADDRESSING DETAILS
-
Hosting Company
-
IPs
-
DNS
ns45.domaincontrol.com
ns46.domaincontrol.com
Whois
OWNERSHIP
-
Created
2008-04-15
-
Expires
2018-04-15
-
Owner
-
Registar
MESH DIGITAL LIMITED
-
Owner Emails
Domain & Keywords
The registrar of symbolaris.com is MESH DIGITAL LIMITED and the name expires on 2018-04-15. According to open source data, you can reach the owner at support@hosteurope.de but please make sure you have a good reason for unsolicited messages. Their country of residence is Germany.
- Programming Languages
- formal methods
- platzer
- Logic In Computer Science
- theorem proving
- Cyber-Physical Systems
- André Platzer
- andre platzer
- eight puzzle java
- 8 puzzle java
Symbolaris.com Homepage Change Through The Years
-
5 years ago
Jan 29, 2019
-
3 years ago
May 02, 2020
-
2 years ago
May 22, 2021
-
1 year ago
Jan 23, 2023
Websites similar to symbolaris.com
-
functologic.com
-
Global rank
N/A
-
Daily Visitors
N/A
-
-
hillelwayne.com
-
Global rank
254.4K
-
Daily Visitors
178
-
-
siglog.org
-
Global rank
829.4K
-
Daily Visitors
N/A
-
-
dahlan.web.id
-
Global rank
N/A
-
Daily Visitors
N/A
-
-
ijecce.org
-
Global rank
N/A
-
Daily Visitors
178
-