PROVER TRIDENT Trademark

Trademark Overview


On Thursday, June 13, 2019, a trademark application was filed for PROVER TRIDENT with the United States Patent and Trademark Office. The USPTO has given the PROVER TRIDENT trademark a serial number of 79266474. The federal status of this trademark filing is REGISTERED as of Tuesday, August 25, 2020. This trademark is owned by Prover Technology AB. The PROVER TRIDENT trademark is filed in the Computer & Software Products & Electrical & Scientific Products, Education & Entertainment Services, and Computer & Software Services & Scientific Services categories with the following description:

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

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

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
prover trident

General Information


Serial Number79266474
Word MarkPROVER TRIDENT
Filing DateThursday, June 13, 2019
Status700 - REGISTERED
Status DateTuesday, August 25, 2020
Registration Number6132478
Registration DateTuesday, August 25, 2020
Mark Drawing4000 - Illustration: Drawing with word(s) / letter(s) / number(s) in Block form
Published for Opposition DateTuesday, June 9, 2020

Trademark Statements


Goods and ServicesArranging 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
Goods and ServicesRegistered 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
Section 2(f) Limitation StatementAs to "PROVER" AS TO INTERNATIONAL CLASS 9
Goods and ServicesResearch 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

Classification Information


International Class009 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments; apparatus and instruments for conducting, switching, transforming, accumulating, regulating or controlling electricity; apparatus for recording, transmission or reproduction of sound or images; magnetic data carriers, recording discs; automatic vending machines and mechanisms for coin operated apparatus; cash registers, calculating machines, data processing equipment and computers; fire extinguishing apparatus.
US Class Codes021, 023, 026, 036, 038
Class Status Code6 - Active
Class Status DateTuesday, September 10, 2019
Primary Code009
First Use Anywhere DateNOT AVAILABLE
First Use In Commerce DateNOT AVAILABLE

International Class041 - Education; providing of training; entertainment; sporting and cultural activities.
US Class Codes100, 101, 107
Class Status Code6 - Active
Class Status DateTuesday, September 10, 2019
Primary Code041
First Use Anywhere DateNOT AVAILABLE
First Use In Commerce DateNOT AVAILABLE

International Class042 - Scientific and technological services and research and design relating thereto; industrial analysis and research services; design and development of computer hardware and software.
US Class Codes100, 101
Class Status Code6 - Active
Class Status DateTuesday, September 10, 2019
Primary Code042
First Use Anywhere DateNOT AVAILABLE
First Use In Commerce DateNOT AVAILABLE

Trademark Owner History


Party NameProver Technology AB
Party Type30 - Original Registrant
Legal Entity Type64 - NOT AVAILABLE
AddressSE

Party NameProver Technology AB
Party Type20 - Owner at Publication
Legal Entity Type64 - NOT AVAILABLE
AddressSE

Party NameProver Technology AB
Party Type10 - Original Applicant
Legal Entity Type64 - NOT AVAILABLE
AddressSE

Trademark Events


Event DateEvent Description
Friday, October 28, 2022NEW REPRESENTATIVE AT IB RECEIVED
Saturday, January 9, 2021FINAL DECISION TRANSACTION PROCESSED BY IB
Thursday, December 17, 2020FINAL DISPOSITION NOTICE SENT TO IB
Wednesday, December 16, 2020FINAL DISPOSITION PROCESSED
Wednesday, November 25, 2020FINAL DISPOSITION NOTICE CREATED, TO BE SENT TO IB
Tuesday, August 25, 2020REGISTERED-PRINCIPAL REGISTER
Tuesday, June 9, 2020OFFICIAL GAZETTE PUBLICATION CONFIRMATION E-MAILED
Tuesday, June 9, 2020PUBLISHED FOR OPPOSITION
Friday, June 5, 2020NOTIFICATION PROCESSED BY IB
Wednesday, May 20, 2020NOTIFICATION OF POSSIBLE OPPOSITION SENT TO IB
Wednesday, May 20, 2020NOTICE OF START OF OPPOSITION PERIOD CREATED, TO BE SENT TO IB
Wednesday, May 20, 2020NOTIFICATION OF NOTICE OF PUBLICATION E-MAILED
Friday, May 1, 2020ASSIGNED TO LIE
Friday, April 24, 2020APPROVED FOR PUB - PRINCIPAL REGISTER
Friday, April 24, 2020EXAMINER'S AMENDMENT ENTERED
Friday, April 24, 2020NOTIFICATION OF EXAMINERS AMENDMENT E-MAILED
Friday, April 24, 2020EXAMINERS AMENDMENT E-MAILED
Friday, April 24, 2020EXAMINERS AMENDMENT -WRITTEN
Friday, April 17, 2020NOTIFICATION OF PRIORITY ACTION E-MAILED
Friday, April 17, 2020PRIORITY ACTION E-MAILED
Friday, April 17, 2020PRIORITY ACTION WRITTEN
Monday, April 13, 2020PREVIOUS ALLOWANCE COUNT WITHDRAWN
Tuesday, March 31, 2020WITHDRAWN FROM PUB - OG REVIEW QUERY
Thursday, March 19, 2020APPROVED FOR PUB - PRINCIPAL REGISTER
Monday, March 16, 2020TEAS/EMAIL CORRESPONDENCE ENTERED
Monday, March 16, 2020CORRESPONDENCE RECEIVED IN LAW OFFICE
Monday, March 16, 2020TEAS RESPONSE TO OFFICE ACTION RECEIVED
Friday, October 18, 2019REFUSAL PROCESSED BY IB
Sunday, September 29, 2019NON-FINAL ACTION MAILED - REFUSAL SENT TO IB
Sunday, September 29, 2019REFUSAL PROCESSED BY MPU
Saturday, September 21, 2019NON-FINAL ACTION (IB REFUSAL) PREPARED FOR REVIEW
Friday, September 20, 2019NON-FINAL ACTION WRITTEN
Saturday, September 14, 2019APPLICATION FILING RECEIPT MAILED
Tuesday, September 10, 2019ASSIGNED TO EXAMINER
Tuesday, September 10, 2019NEW APPLICATION OFFICE SUPPLIED DATA ENTERED IN TRAM
Thursday, August 29, 2019SN ASSIGNED FOR SECT 66A SUBSEQ DESIG FROM IB