mars-workshop.org
mars-workshop.org is a live English-language website hosted on Strato GmbH (AS6724) in Germany, served by Apache. cl0q first saw it on 2026-07-04 and last crawled it on 2026-07-20. It resolves to 81.169.145.88 and has mail (MX) records set up.
How the site describes itself:
Models for Formal Analysis of Real Systems (MARS)
MARS
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-07-04 |
| Last crawled | 2026-07-20 |
| IPv4 | 81.169.145.88 |
| IPv6 | 2a01:238:20a:202:1088:: |
| Network | AS6724 Strato GmbH · Baden-Wurttemberg |
| Mail (MX) | smtpin.rzone.de |
| Language | en-US |
| Server | Apache/2.4.68 (Unix) |