PROVER TRIDENT
Live / Registered — International registration cancelled — extension of protection cancelled (as of 23 Apr 2025)
What this means for you
Registered since 25 Aug 2020. The owner can stop confusingly similar uses in the classes it covers.
Record
- Serial number
- 79266474
- Registration number
- 6132478
- Mark type
- Stylized text
- Filed
- 13 Jun 2019
- Published for opposition
- 09 Jun 2020
- Registered
- 25 Aug 2020
- Attorney of record
- Allison Strickland Ricketts
Goods and services
- Class 009 — Scientific and electric apparatus: Registered recorded computer programs for verifying systems; recorded computer applications programs for configuring data processing equipment in accordance with pre-established criteria; generic recorded software modules implementing decisions procedures, each for a certain logic for various safety critical applications for rail control systems; recorded computer aided software engineering (CASE) applications; registered recorded computer programs for verifying hardware and software systems
- Class 041 — Education and entertainment services: Arranging and conducting of seminars; provision of introductory and advanced courses on the topic of integration of computer systems and provision of general courses related to the application of formal verification technology; teaching and training in the field of computer programs; practical training taught via demonstration in the fields of computer programming and safety verification of hardware and software systems
- Class 042 — Scientific and technological services: Research and development services regarding new products in the field of computer programming and safety verification; computer programming; updating and verifying of computer programs for third parties; consultancy in the field of systems development and verification of computer systems; research and development services in the field of formal verification technology; industrial design; engineering services related to special software modules, namely, equivalence checking of combinational circuits being chips and design and development of automated verification solutions based on model checking techniques
Owner
Prior registrations
Prosecution history
- 12 Feb 2026 — NOTIFICATION OF EFFECT OF CANCELLATION OF INTL REG E-MAILED
- 12 Feb 2026 — DEATH OF INTERNATIONAL REGISTRATION
- 15 Nov 2025 — NOTIFICATION OF EFFECT OF CANCELLATION OF INTL REG E-MAILED
- 15 Nov 2025 — DEATH OF INTERNATIONAL REGISTRATION
- 25 Aug 2025 — COURTESY REMINDER - SEC. 71 (6-YR) E-MAILED
- 28 Oct 2022 — NEW REPRESENTATIVE AT IB RECEIVED
- 09 Jan 2021 — FINAL DECISION TRANSACTION PROCESSED BY IB
- 17 Dec 2020 — FINAL DISPOSITION NOTICE SENT TO IB
- 16 Dec 2020 — FINAL DISPOSITION PROCESSED
- 25 Nov 2020 — FINAL DISPOSITION NOTICE CREATED, TO BE SENT TO IB
- 25 Aug 2020 — REGISTERED-PRINCIPAL REGISTER
- 09 Jun 2020 — OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED
- 09 Jun 2020 — PUBLISHED FOR OPPOSITION
- 05 Jun 2020 — NOTIFICATION PROCESSED BY IB
- 20 May 2020 — NOTIFICATION OF POSSIBLE OPPOSITION SENT TO IB