Main

related bits

0

processing priority

3

site type

0 (generic, awaiting analysis)

review version

11

html import

27 (unknown)

Events

first seen date

2024-03-02 02:37:36

expired found date

-

created at

2024-06-17 17:02:39

updated at

2025-08-24 07:31:57

Domain name statistics

length

8

crc

10952

tld

578

nm parts

0

nm random digits

0

nm rare letters

0

Connections

is subdomain of id

-

previous id

0

replaced with id

0

related id

-

dns primary id

137342385

dns alternative id

0

lifecycle status

0 (unclassified, or currently active)

Subdomains and pages

deleted subdomains

0

page imported products

0

page imported random

0

page imported parking

0

Error counters

count skipped due to recent timeouts on the same server IP

0

count content received but rejected due to 11-799

0

count dns errors

0

count cert errors

6

count timeouts

0

count http 429

0

count http 404

0

count http 403

0

count http 5xx

0

next operation date

2025-09-07 07:31:57

Server

server bits

server ip

-

Mainpage statistics

mp import status

27

mp rejected date

-

mp saved date

-

mp size orig

4778

mp size raw text

2589

mp inner links count

3

mp inner links status

10 (links queued, awaiting import)

Open Graph

title

description

image

site name

author

Category Theory at Work in Computational Mathematics and Theoretical Informatics

updated

2026-03-08 00:36:49

raw text

CATMI 2023 CATMI 2023 Category Theory at Work in Computational Mathematics and Theoretical Informatics Bergen, June 26–30 Home Programme Venue Excursion Registation The registration is now open. The registration is free, but the daily costs for lunches at the conference hotel is NOK 300. Invited speakers will have lunches covered. To register, fill out the registration form . Registration deadline: 1st of June. About The meeting is an activity organised by the Lie-Størmer Center , a newly founded Norwegian research center for fundamental structures in computational and pure mathematics, and aims at bringing together a mix of people from mathematics and informatics to exchange ideas on how we apply concepts and tools from category theory, type theory, and homotopy theory to structure complex problems and research in mathematics, computations and theoretical computer science. Category theory, as a mathematical theory, is less a collection of theorems than a...

Text analysis

redirect type

0 (-)

block type

0 (no issues)

detected language

1 (English)

category id

Pozostałe (16)

index version

1

spam phrases

0

Text statistics

text nonlatin

0

text cyrillic

0

text characters

2090

text words

366

text unique words

201

text lines

29

text sentences

25

text paragraphs

5

text words per sentence

14

text matched phrases

0

text matched dictionaries

0

RSS

rss path

rss status

0 (new)

rss found date

-

rss size orig

0

rss items

0

rss spam phrases

0

rss detected language

0 (awaiting analysis)

inbefore feed id

-

inbefore status

0 (new)

Sitemap

sitemap path

sitemap status

0 (new)

sitemap review version

2

sitemap urls count

0

sitemap urls adult

0

sitemap filtered products

0

sitemap filtered videos

0

sitemap found date

-

sitemap process date

-

sitemap first import date

-

sitemap last import date

-