itp19.cecs.pdx.edu
itp19.cecs.pdx.edu is a live English-language website hosted on Portland State University (AS6366) in the United States, served by Apache. cl0q first saw it on 2026-06-15 and last crawled it on 2026-11-05. It resolves to 131.252.208.114 and has mail (MX) records set up.
How the site describes itself:
ITP 2019: Interactive Theorem Proving | Tenth International Conference - September 8-13 2019 - Portland, OR, USA
Conference on interactive theorem proving: covers theory, implementation, and application to program verification, security, and formalization of mathematics.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2026-06-15 |
| Last crawled | 2026-11-05 |
| IPv4 | 131.252.208.114 |
| IPv6 | 2610:10:20:208::114 |
| Network | AS6366 Portland State University · United States |
| CNAME | vhost-therest.cat.pdx.edu |
| Mail (MX) | aspmx.l.google.com,alt1.aspmx.l.google.com,alt2.aspmx.l.google.com,alt3.aspmx.l.google.com,alt4.aspmx.l.google.com |
| Language | en-US |
| Server | Apache |
Explore more like this
More sites on Portland State University
Get this data at scale
This dossier is one domain from cl0q's index. Query the same live index through the API, or download the censuses built from it.
- API credit pack — 100,000 lookups against the live index, no subscription, at 30 lookups a minute.
- Server Tech Census — one row per domain: server, language and CDN flag.