Trade Mark Journal No.2026/028 10 July 2026

UK00004405913 23 June 2026 (42)

Image for mark UK00004405913 LOGOS RESEARCH
Class 42
Providing online non-downloadable software for testing, analyzing, validating, and verifying artificial intelligence agents, artificial intelligence systems, and software outputs; providing online non-downloadable software for formal verification of artificial intelligence agents, artificial intelligence systems, and AI-generated code; software as a service (SaaS) services featuring software for mathematical verification and formal verification of artificial intelligence agents, artificial intelligence systems, and software outputs; research and development in the field of artificial intelligence verification, formal methods, and machine-checked proofs; development and testing of computing methods, algorithms and software; software as a service (SaaS) services; platform as a service [PaaS] services; consulting and advisory services relating to the aforegoing services. .

Logos.AI Inc

Representative: Page, White & Farrer Limited