Who owns the FORMAL SYSTEMS trademark?

The FORMAL SYSTEMS trademark is owned by Formal Systems Inc..

What class is the FORMAL SYSTEMS trademark registered in?

The FORMAL SYSTEMS trademark is registered in Class 042 (Scientific, technology & SaaS services).

What is the serial number for FORMAL SYSTEMS?

The USPTO serial number for FORMAL SYSTEMS is 75255759.

What is the registration number for FORMAL SYSTEMS?

FORMAL SYSTEMS is registered under USPTO registration number 2161686.

Sealvo

Home Search: FORMAL SYSTEMSFORMAL SYSTEMS #75255759

Back

Updated Sep 28, 2026·30 searches this week

View on USPTO TSDR Find similar marks

FOR

USPTO Trademark Record

ABANDONED

FORMAL SYSTEMS

SN 75255759·Reg 2161686·Filed Mar 11, 1997

Owner Formal Systems Inc.

Scientific and technological services and research and design relating thereto; industrial analysis, industrial research and industrial design services; quality control and authentication services; design and development of computer hardware and software.

FORMAL SYSTEMS (Serial No. 75255759), Registration No. 2161686, is a abandoned US trademark filed on Mar 11, 1997 by Formal Systems Inc.. This trademark covers Class 042 (Scientific, technology & SaaS services).

Conflict Analysis

Full conflict analysis for FORMAL SYSTEMS (SN 75255759) against the USPTO database with detailed risk factor explanations. AI-powered — takes ~1-2 min.

Mark Intelligence

FORMAL SYSTEMS (Reg. #2161686) is an abandoned US trademark that was filed in 1997 but has since been abandoned. The mark covers Class 042 (Scientific, technology & SaaS services). Goods and services include Scientific and technological services and research and design relating thereto; industrial analysis, industrial research.... The mark faced 1 opposition proceeding during prosecution.

FILED

Mar 11, 1997

SERIAL

75255759

REG#

2161686

REGISTERED

Jun 02, 1998

Filing Information

StatusABANDONED

Filing DateMar 11, 1997

Serial Number75255759