indexo.dev

formalise.org

.org crawl

First seen 2026-04-21 · Last seen 2026-05-15 · ok HTTP/1.1 200 2180 ms crawled 2026-05-15

NL · 86.105.244.1 · AS20857 Signet B.V.

Reputation 94/100 dmarc monitor-only

Classifying

HTML metadata

Title
FormaliSE 2026 - Research Track - FormaliSE 2026
Description
Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains such as safety-critical software. In recent times, the outlook has considerably improved: on the one hand, formal methods research has delivered more flexible techniques and tools that can support various aspects of the software development process: from user requirements elicitation, to design, implementation, verification and validation, as well as the creation of documentation. On the other hand, software engineering has develope ...

Open Graph

title
FormaliSE 2026 - Research Track - FormaliSE 2026
description
Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains such as safety-critical software. In recent times, the outlook has considerably improved: on the one hand, formal methods research has delivered more flexible techniques and tools that can support various aspects of the software development process: from user requirements elicitation, to design, implementation, verification and validation, as well as the creation of documentation. On the other hand, software engineering has develope ...

Technology

Server
nginx
CMS
WordPress
Analytics
  • Google Tag Manager

Third-party hosts loaded (2)

  • code.jquery.com×1
  • www.googletagmanager.com×1

Registration

Registrar
Register SpA
Created
2012-10-15
Expires
2026-10-15 148 days left
Updated
2025-06-29
Name servers
  • ns0.transip.net
  • ns1.transip.nl
  • ns2.transip.eu

DNS records live

NS
  • ns0.transip.net
  • ns1.transip.nl
  • ns2.transip.eu
MX
  • 10 mx.transip.email

Email authentication partial

SPF
v=spf1 include:_spf.transip.email ~all
softfail (~all)
DMARC
v=DMARC1; p=none;
policy: none (monitoring only)
DKIM
  • k2: v=DKIM1; k=rsa; p=MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAv2aC2KjGKLOwTweBY5A9RpjsxaBXR9r7OAU6U8/zn92ivImI75naUujWbItRI/QmL1jy5PWGqLwoUA…
selectors probed

Certificate (current)

R13
from 2026-04-10 to 2026-07-09
Expires in 51 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 60/100 Checked live page: https://2026.formalise.org/

present
  • strict-transport-security
  • x-frame-options
findings
  • missing Content Security Policy
  • missing content type protection
  • missing Referrer Policy
  • missing Permissions Policy
Header values
x-frame-options
SAMEORIGIN
strict-transport-security
max-age=63072000

Links to (6)

Linked from (1)